xref: /petsc/src/ksp/pc/impls/svd/svd.c (revision a2d70de24f4e71c8f1503ff5c13f0cec93c99558)
127c67122SBarry Smith 
2c6db04a5SJed Brown #include <private/pcimpl.h>   /*I "petscpc.h" I*/
3c6db04a5SJed 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   }
476bf464f9SBarry Smith   ierr = MatDestroy(&jac->A);CHKERRQ(ierr);
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);
90a3c4e3ecSJed Brown #endif
9127c67122SBarry Smith }
9227c67122SBarry Smith 
9327c67122SBarry Smith /* -------------------------------------------------------------------------- */
9427c67122SBarry Smith /*
9527c67122SBarry Smith    PCApply_SVD - Applies the SVD preconditioner to a vector.
9627c67122SBarry Smith 
9727c67122SBarry Smith    Input Parameters:
9827c67122SBarry Smith .  pc - the preconditioner context
9927c67122SBarry Smith .  x - input vector
10027c67122SBarry Smith 
10127c67122SBarry Smith    Output Parameter:
10227c67122SBarry Smith .  y - output vector
10327c67122SBarry Smith 
10427c67122SBarry Smith    Application Interface Routine: PCApply()
10527c67122SBarry Smith  */
10627c67122SBarry Smith #undef __FUNCT__
10727c67122SBarry Smith #define __FUNCT__ "PCApply_SVD"
10827c67122SBarry Smith static PetscErrorCode PCApply_SVD(PC pc,Vec x,Vec y)
10927c67122SBarry Smith {
11027c67122SBarry Smith   PC_SVD         *jac = (PC_SVD*)pc->data;
11127c67122SBarry Smith   Vec            work = jac->work;
11227c67122SBarry Smith   PetscErrorCode ierr;
11327c67122SBarry Smith 
11427c67122SBarry Smith   PetscFunctionBegin;
11527c67122SBarry Smith   ierr = MatMultTranspose(jac->U,x,work);CHKERRQ(ierr);
11627c67122SBarry Smith   ierr = VecPointwiseMult(work,work,jac->diag);CHKERRQ(ierr);
11727c67122SBarry Smith   ierr = MatMultTranspose(jac->V,work,y);CHKERRQ(ierr);
11827c67122SBarry Smith   PetscFunctionReturn(0);
11927c67122SBarry Smith }
12027c67122SBarry Smith 
121*a2d70de2SBarry Smith #undef __FUNCT__
122*a2d70de2SBarry Smith #define __FUNCT__ "PCReset_SVD"
123*a2d70de2SBarry Smith static PetscErrorCode PCReset_SVD(PC pc)
124*a2d70de2SBarry Smith {
125*a2d70de2SBarry Smith   PC_SVD         *jac = (PC_SVD*)pc->data;
126*a2d70de2SBarry Smith   PetscErrorCode ierr;
127*a2d70de2SBarry Smith 
128*a2d70de2SBarry Smith   PetscFunctionBegin;
129*a2d70de2SBarry Smith   ierr = MatDestroy(&jac->A);CHKERRQ(ierr);
130*a2d70de2SBarry Smith   ierr = MatDestroy(&jac->U);CHKERRQ(ierr);
131*a2d70de2SBarry Smith   ierr = MatDestroy(&jac->V);CHKERRQ(ierr);
132*a2d70de2SBarry Smith   ierr = VecDestroy(&jac->diag);CHKERRQ(ierr);
133*a2d70de2SBarry Smith   ierr = VecDestroy(&jac->work);CHKERRQ(ierr);
134*a2d70de2SBarry Smith   PetscFunctionReturn(0);
135*a2d70de2SBarry Smith }
136*a2d70de2SBarry Smith 
13727c67122SBarry Smith /* -------------------------------------------------------------------------- */
13827c67122SBarry Smith /*
13927c67122SBarry Smith    PCDestroy_SVD - Destroys the private context for the SVD preconditioner
14027c67122SBarry Smith    that was created with PCCreate_SVD().
14127c67122SBarry Smith 
14227c67122SBarry Smith    Input Parameter:
14327c67122SBarry Smith .  pc - the preconditioner context
14427c67122SBarry Smith 
14527c67122SBarry Smith    Application Interface Routine: PCDestroy()
14627c67122SBarry Smith */
14727c67122SBarry Smith #undef __FUNCT__
14827c67122SBarry Smith #define __FUNCT__ "PCDestroy_SVD"
14927c67122SBarry Smith static PetscErrorCode PCDestroy_SVD(PC pc)
15027c67122SBarry Smith {
15127c67122SBarry Smith   PetscErrorCode ierr;
15227c67122SBarry Smith 
15327c67122SBarry Smith   PetscFunctionBegin;
154*a2d70de2SBarry Smith   ierr = PCReset_SVD(pc);CHKERRQ(ierr);
155c31cb41cSBarry Smith   ierr = PetscFree(pc->data);CHKERRQ(ierr);
15627c67122SBarry Smith   PetscFunctionReturn(0);
15727c67122SBarry Smith }
15827c67122SBarry Smith 
15927c67122SBarry Smith #undef __FUNCT__
16027c67122SBarry Smith #define __FUNCT__ "PCSetFromOptions_SVD"
16127c67122SBarry Smith static PetscErrorCode PCSetFromOptions_SVD(PC pc)
16227c67122SBarry Smith {
16327c67122SBarry Smith   PetscErrorCode ierr;
16427c67122SBarry Smith 
16527c67122SBarry Smith   PetscFunctionBegin;
16627c67122SBarry Smith   ierr = PetscOptionsHead("SVD options");CHKERRQ(ierr);
16727c67122SBarry Smith   ierr = PetscOptionsTail();CHKERRQ(ierr);
16827c67122SBarry Smith   PetscFunctionReturn(0);
16927c67122SBarry Smith }
17027c67122SBarry Smith 
17127c67122SBarry Smith /* -------------------------------------------------------------------------- */
17227c67122SBarry Smith /*
17327c67122SBarry Smith    PCCreate_SVD - Creates a SVD preconditioner context, PC_SVD,
17427c67122SBarry Smith    and sets this as the private data within the generic preconditioning
17527c67122SBarry Smith    context, PC, that was created within PCCreate().
17627c67122SBarry Smith 
17727c67122SBarry Smith    Input Parameter:
17827c67122SBarry Smith .  pc - the preconditioner context
17927c67122SBarry Smith 
18027c67122SBarry Smith    Application Interface Routine: PCCreate()
18127c67122SBarry Smith */
18227c67122SBarry Smith 
18327c67122SBarry Smith /*MC
18427c67122SBarry Smith      PCSVD - Use pseudo inverse defined by SVD of operator
18527c67122SBarry Smith 
18627c67122SBarry Smith    Level: advanced
18727c67122SBarry Smith 
18827c67122SBarry Smith   Concepts: SVD
18927c67122SBarry Smith 
19027c67122SBarry Smith          Zero entries along the diagonal are replaced with the value 0.0
19127c67122SBarry Smith 
19227c67122SBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PC
19327c67122SBarry Smith M*/
19427c67122SBarry Smith 
19527c67122SBarry Smith EXTERN_C_BEGIN
19627c67122SBarry Smith #undef __FUNCT__
19727c67122SBarry Smith #define __FUNCT__ "PCCreate_SVD"
1987087cfbeSBarry Smith PetscErrorCode PCCreate_SVD(PC pc)
19927c67122SBarry Smith {
20027c67122SBarry Smith   PC_SVD         *jac;
20127c67122SBarry Smith   PetscErrorCode ierr;
20227c67122SBarry Smith 
20327c67122SBarry Smith   PetscFunctionBegin;
20427c67122SBarry Smith   /*
20527c67122SBarry Smith      Creates the private data structure for this preconditioner and
20627c67122SBarry Smith      attach it to the PC object.
20727c67122SBarry Smith   */
20827c67122SBarry Smith   ierr      = PetscNewLog(pc,PC_SVD,&jac);CHKERRQ(ierr);
20927c67122SBarry Smith   pc->data  = (void*)jac;
21027c67122SBarry Smith 
21127c67122SBarry Smith   /*
21227c67122SBarry Smith       Set the pointers for the functions that are provided above.
21327c67122SBarry Smith       Now when the user-level routines (such as PCApply(), PCDestroy(), etc.)
21427c67122SBarry Smith       are called, they will automatically call these functions.  Note we
21527c67122SBarry Smith       choose not to provide a couple of these functions since they are
21627c67122SBarry Smith       not needed.
21727c67122SBarry Smith   */
21827c67122SBarry Smith   pc->ops->apply               = PCApply_SVD;
21927c67122SBarry Smith   pc->ops->applytranspose      = PCApply_SVD;
22027c67122SBarry Smith   pc->ops->setup               = PCSetUp_SVD;
221*a2d70de2SBarry Smith   pc->ops->reset               = PCReset_SVD;
22227c67122SBarry Smith   pc->ops->destroy             = PCDestroy_SVD;
22327c67122SBarry Smith   pc->ops->setfromoptions      = PCSetFromOptions_SVD;
22427c67122SBarry Smith   pc->ops->view                = 0;
22527c67122SBarry Smith   pc->ops->applyrichardson     = 0;
22627c67122SBarry Smith   PetscFunctionReturn(0);
22727c67122SBarry Smith }
22827c67122SBarry Smith EXTERN_C_END
22927c67122SBarry Smith 
230