xref: /petsc/src/ksp/pc/impls/svd/svd.c (revision 7087cfbefd1a42b179f217f9994fb6cb0d0c1824)
127c67122SBarry Smith #define PETSCKSP_DLL
227c67122SBarry Smith 
327c67122SBarry Smith #include "private/pcimpl.h"   /*I "petscpc.h" I*/
427c67122SBarry Smith #include "petscblaslapack.h"
527c67122SBarry Smith 
627c67122SBarry Smith /*
727c67122SBarry Smith    Private context (data structure) for the SVD preconditioner.
827c67122SBarry Smith */
927c67122SBarry Smith typedef struct {
1027c67122SBarry Smith   Vec        diag,work;
1127c67122SBarry Smith   Mat        A,U,V;
1227c67122SBarry Smith   PetscInt   nzero;
1327c67122SBarry Smith } PC_SVD;
1427c67122SBarry Smith 
1527c67122SBarry Smith 
1627c67122SBarry Smith /* -------------------------------------------------------------------------- */
1727c67122SBarry Smith /*
1827c67122SBarry Smith    PCSetUp_SVD - Prepares for the use of the SVD preconditioner
1927c67122SBarry Smith                     by setting data structures and options.
2027c67122SBarry Smith 
2127c67122SBarry Smith    Input Parameter:
2227c67122SBarry Smith .  pc - the preconditioner context
2327c67122SBarry Smith 
2427c67122SBarry Smith    Application Interface Routine: PCSetUp()
2527c67122SBarry Smith 
2627c67122SBarry Smith    Notes:
2727c67122SBarry Smith    The interface routine PCSetUp() is not usually called directly by
2827c67122SBarry Smith    the user, but instead is called by PCApply() if necessary.
2927c67122SBarry Smith */
3027c67122SBarry Smith #undef __FUNCT__
3127c67122SBarry Smith #define __FUNCT__ "PCSetUp_SVD"
3227c67122SBarry Smith static PetscErrorCode PCSetUp_SVD(PC pc)
3327c67122SBarry Smith {
3427c67122SBarry Smith   PC_SVD         *jac = (PC_SVD*)pc->data;
3527c67122SBarry Smith   PetscErrorCode ierr;
3627c67122SBarry Smith   PetscScalar    *a,*u,*v,*d,*work;
3727c67122SBarry Smith   PetscBLASInt   nb,lwork,lierr;
3827c67122SBarry Smith   PetscInt       i,n;
3927c67122SBarry Smith 
4027c67122SBarry Smith   PetscFunctionBegin;
4127c67122SBarry Smith   if (!jac->diag) {
4227c67122SBarry Smith     /* assume square matrices */
4327c67122SBarry Smith     ierr = MatGetVecs(pc->mat,&jac->diag,&jac->work);CHKERRQ(ierr);
4427c67122SBarry Smith   }
4527c67122SBarry Smith   if (jac->A) {
4627c67122SBarry Smith     ierr = MatDestroy(jac->A);CHKERRQ(ierr);
4727c67122SBarry Smith   }
4827c67122SBarry Smith   ierr = MatConvert(pc->mat,MATSEQDENSE,MAT_INITIAL_MATRIX,&jac->A);CHKERRQ(ierr);
4927c67122SBarry Smith   if (!jac->U) {
5027c67122SBarry Smith     ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->U);CHKERRQ(ierr);
5127c67122SBarry Smith     ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->V);CHKERRQ(ierr);
5227c67122SBarry Smith   }
5327c67122SBarry Smith   ierr = MatGetSize(pc->mat,&n,PETSC_NULL);CHKERRQ(ierr);
5427c67122SBarry Smith   nb    = PetscBLASIntCast(n);
5527c67122SBarry Smith   lwork = 5*nb;
5627c67122SBarry Smith   ierr  = PetscMalloc(lwork*sizeof(PetscScalar),&work);CHKERRQ(ierr);
5727c67122SBarry Smith   ierr  = MatGetArray(jac->A,&a);CHKERRQ(ierr);
5827c67122SBarry Smith   ierr  = MatGetArray(jac->U,&u);CHKERRQ(ierr);
5927c67122SBarry Smith   ierr  = MatGetArray(jac->V,&v);CHKERRQ(ierr);
6027c67122SBarry Smith   ierr  = VecGetArray(jac->diag,&d);CHKERRQ(ierr);
6127c67122SBarry Smith #if !defined(PETSC_USE_COMPLEX)
6227c67122SBarry Smith   LAPACKgesvd_("A","A",&nb,&nb,a,&nb,d,u,&nb,v,&nb,work,&lwork,&lierr);
6327c67122SBarry Smith #else
6427c67122SBarry Smith   SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not coded for complex");
6527c67122SBarry Smith #endif
6627c67122SBarry Smith   if (lierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"gesv() error %d",lierr);
6727c67122SBarry Smith   ierr  = MatRestoreArray(jac->A,&a);CHKERRQ(ierr);
6827c67122SBarry Smith   ierr  = MatRestoreArray(jac->U,&u);CHKERRQ(ierr);
6927c67122SBarry Smith   ierr  = MatRestoreArray(jac->V,&v);CHKERRQ(ierr);
7027c67122SBarry Smith   jac->nzero = 0;
7127c67122SBarry Smith   for (i=0; i<n; i++) {
7227c67122SBarry Smith     if (PetscRealPart(d[i]) < 1.e-12) {jac->nzero = n - i;break;}
7327c67122SBarry Smith     d[i] = 1.0/d[i];
7427c67122SBarry Smith   }
7527c67122SBarry Smith   ierr = PetscInfo1(pc,"Number of zero or nearly singular values %D\n",jac->nzero);
7627c67122SBarry Smith   ierr = VecRestoreArray(jac->diag,&d);CHKERRQ(ierr);
7727c67122SBarry Smith #if defined(foo)
7827c67122SBarry Smith {
7927c67122SBarry Smith   PetscViewer viewer;
8027c67122SBarry Smith   ierr = PetscViewerBinaryOpen(PETSC_COMM_SELF,"joe",FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
8127c67122SBarry Smith   ierr = MatView(jac->A,viewer);CHKERRQ(ierr);
8227c67122SBarry Smith   ierr = MatView(jac->U,viewer);CHKERRQ(ierr);
8327c67122SBarry Smith   ierr = MatView(jac->V,viewer);CHKERRQ(ierr);
8427c67122SBarry Smith   ierr = VecView(jac->diag,viewer);CHKERRQ(ierr);
8527c67122SBarry Smith   ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
8627c67122SBarry Smith  }
8727c67122SBarry Smith #endif
8827c67122SBarry Smith   ierr = PetscFree(work);
8927c67122SBarry Smith   PetscFunctionReturn(0);
9027c67122SBarry Smith }
9127c67122SBarry Smith 
9227c67122SBarry Smith /* -------------------------------------------------------------------------- */
9327c67122SBarry Smith /*
9427c67122SBarry Smith    PCApply_SVD - Applies the SVD preconditioner to a vector.
9527c67122SBarry Smith 
9627c67122SBarry Smith    Input Parameters:
9727c67122SBarry Smith .  pc - the preconditioner context
9827c67122SBarry Smith .  x - input vector
9927c67122SBarry Smith 
10027c67122SBarry Smith    Output Parameter:
10127c67122SBarry Smith .  y - output vector
10227c67122SBarry Smith 
10327c67122SBarry Smith    Application Interface Routine: PCApply()
10427c67122SBarry Smith  */
10527c67122SBarry Smith #undef __FUNCT__
10627c67122SBarry Smith #define __FUNCT__ "PCApply_SVD"
10727c67122SBarry Smith static PetscErrorCode PCApply_SVD(PC pc,Vec x,Vec y)
10827c67122SBarry Smith {
10927c67122SBarry Smith   PC_SVD         *jac = (PC_SVD*)pc->data;
11027c67122SBarry Smith   Vec            work = jac->work;
11127c67122SBarry Smith   PetscErrorCode ierr;
11227c67122SBarry Smith 
11327c67122SBarry Smith   PetscFunctionBegin;
11427c67122SBarry Smith   ierr = MatMultTranspose(jac->U,x,work);CHKERRQ(ierr);
11527c67122SBarry Smith   ierr = VecPointwiseMult(work,work,jac->diag);CHKERRQ(ierr);
11627c67122SBarry Smith   ierr = MatMultTranspose(jac->V,work,y);CHKERRQ(ierr);
11727c67122SBarry Smith   PetscFunctionReturn(0);
11827c67122SBarry Smith }
11927c67122SBarry Smith 
12027c67122SBarry Smith /* -------------------------------------------------------------------------- */
12127c67122SBarry Smith /*
12227c67122SBarry Smith    PCDestroy_SVD - Destroys the private context for the SVD preconditioner
12327c67122SBarry Smith    that was created with PCCreate_SVD().
12427c67122SBarry Smith 
12527c67122SBarry Smith    Input Parameter:
12627c67122SBarry Smith .  pc - the preconditioner context
12727c67122SBarry Smith 
12827c67122SBarry Smith    Application Interface Routine: PCDestroy()
12927c67122SBarry Smith */
13027c67122SBarry Smith #undef __FUNCT__
13127c67122SBarry Smith #define __FUNCT__ "PCDestroy_SVD"
13227c67122SBarry Smith static PetscErrorCode PCDestroy_SVD(PC pc)
13327c67122SBarry Smith {
13427c67122SBarry Smith   PC_SVD         *jac = (PC_SVD*)pc->data;
13527c67122SBarry Smith   PetscErrorCode ierr;
13627c67122SBarry Smith 
13727c67122SBarry Smith   PetscFunctionBegin;
13827c67122SBarry Smith   if (jac->A) {
13927c67122SBarry Smith     ierr = MatDestroy(jac->A);CHKERRQ(ierr);
14027c67122SBarry Smith   }
14127c67122SBarry Smith   if (jac->U) {
14227c67122SBarry Smith     ierr = MatDestroy(jac->U);CHKERRQ(ierr);
14327c67122SBarry Smith   }
14427c67122SBarry Smith   if (jac->V) {
14527c67122SBarry Smith     ierr = MatDestroy(jac->V);CHKERRQ(ierr);
14627c67122SBarry Smith   }
14727c67122SBarry Smith   if (jac->diag) {
14827c67122SBarry Smith     ierr = VecDestroy(jac->diag);CHKERRQ(ierr);
14927c67122SBarry Smith   }
15027c67122SBarry Smith   ierr = PetscFree(jac);CHKERRQ(ierr);
15127c67122SBarry Smith   PetscFunctionReturn(0);
15227c67122SBarry Smith }
15327c67122SBarry Smith 
15427c67122SBarry Smith #undef __FUNCT__
15527c67122SBarry Smith #define __FUNCT__ "PCSetFromOptions_SVD"
15627c67122SBarry Smith static PetscErrorCode PCSetFromOptions_SVD(PC pc)
15727c67122SBarry Smith {
15827c67122SBarry Smith   PetscErrorCode ierr;
15927c67122SBarry Smith 
16027c67122SBarry Smith   PetscFunctionBegin;
16127c67122SBarry Smith   ierr = PetscOptionsHead("SVD options");CHKERRQ(ierr);
16227c67122SBarry Smith   ierr = PetscOptionsTail();CHKERRQ(ierr);
16327c67122SBarry Smith   PetscFunctionReturn(0);
16427c67122SBarry Smith }
16527c67122SBarry Smith 
16627c67122SBarry Smith /* -------------------------------------------------------------------------- */
16727c67122SBarry Smith /*
16827c67122SBarry Smith    PCCreate_SVD - Creates a SVD preconditioner context, PC_SVD,
16927c67122SBarry Smith    and sets this as the private data within the generic preconditioning
17027c67122SBarry Smith    context, PC, that was created within PCCreate().
17127c67122SBarry Smith 
17227c67122SBarry Smith    Input Parameter:
17327c67122SBarry Smith .  pc - the preconditioner context
17427c67122SBarry Smith 
17527c67122SBarry Smith    Application Interface Routine: PCCreate()
17627c67122SBarry Smith */
17727c67122SBarry Smith 
17827c67122SBarry Smith /*MC
17927c67122SBarry Smith      PCSVD - Use pseudo inverse defined by SVD of operator
18027c67122SBarry Smith 
18127c67122SBarry Smith    Level: advanced
18227c67122SBarry Smith 
18327c67122SBarry Smith   Concepts: SVD
18427c67122SBarry Smith 
18527c67122SBarry Smith          Zero entries along the diagonal are replaced with the value 0.0
18627c67122SBarry Smith 
18727c67122SBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PC
18827c67122SBarry Smith M*/
18927c67122SBarry Smith 
19027c67122SBarry Smith EXTERN_C_BEGIN
19127c67122SBarry Smith #undef __FUNCT__
19227c67122SBarry Smith #define __FUNCT__ "PCCreate_SVD"
193*7087cfbeSBarry Smith PetscErrorCode PCCreate_SVD(PC pc)
19427c67122SBarry Smith {
19527c67122SBarry Smith   PC_SVD         *jac;
19627c67122SBarry Smith   PetscErrorCode ierr;
19727c67122SBarry Smith 
19827c67122SBarry Smith   PetscFunctionBegin;
19927c67122SBarry Smith   /*
20027c67122SBarry Smith      Creates the private data structure for this preconditioner and
20127c67122SBarry Smith      attach it to the PC object.
20227c67122SBarry Smith   */
20327c67122SBarry Smith   ierr      = PetscNewLog(pc,PC_SVD,&jac);CHKERRQ(ierr);
20427c67122SBarry Smith   pc->data  = (void*)jac;
20527c67122SBarry Smith 
20627c67122SBarry Smith   /*
20727c67122SBarry Smith       Set the pointers for the functions that are provided above.
20827c67122SBarry Smith       Now when the user-level routines (such as PCApply(), PCDestroy(), etc.)
20927c67122SBarry Smith       are called, they will automatically call these functions.  Note we
21027c67122SBarry Smith       choose not to provide a couple of these functions since they are
21127c67122SBarry Smith       not needed.
21227c67122SBarry Smith   */
21327c67122SBarry Smith   pc->ops->apply               = PCApply_SVD;
21427c67122SBarry Smith   pc->ops->applytranspose      = PCApply_SVD;
21527c67122SBarry Smith   pc->ops->setup               = PCSetUp_SVD;
21627c67122SBarry Smith   pc->ops->destroy             = PCDestroy_SVD;
21727c67122SBarry Smith   pc->ops->setfromoptions      = PCSetFromOptions_SVD;
21827c67122SBarry Smith   pc->ops->view                = 0;
21927c67122SBarry Smith   pc->ops->applyrichardson     = 0;
22027c67122SBarry Smith   PetscFunctionReturn(0);
22127c67122SBarry Smith }
22227c67122SBarry Smith EXTERN_C_END
22327c67122SBarry Smith 
224