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