sol_elliptic_no_zec.C

/*
 *   Copyright (c) 2003 Philippe Grandclement
 *
 *   This file is part of LORENE.
 *
 *   LORENE is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License version 2
 *   as published by the Free Software Foundation.
 *
 *   LORENE is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with LORENE; if not, write to the Free Software
 *   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *
 */

char sol_elliptic_no_zec_C[] = "$Header: /cvsroot/Lorene/C++/Source/Non_class_members/PDE/sol_elliptic_no_zec.C,v 1.5 2004/08/24 09:14:44 p_grandclement Exp $" ;

/*
 * $Id: sol_elliptic_no_zec.C,v 1.5 2004/08/24 09:14:44 p_grandclement Exp $
 * $Log: sol_elliptic_no_zec.C,v $
 * Revision 1.5  2004/08/24 09:14:44  p_grandclement
 * Addition of some new operators, like Poisson in 2d... It now requieres the
 * GSL library to work.
 *
 * Also, the way a variable change is stored by a Param_elliptic is changed and
 * no longer uses Change_var but rather 2 Scalars. The codes using that feature
 * will requiere some modification. (It should concern only the ones about monopoles)
 *
 * Revision 1.4  2004/06/22 08:49:58  p_grandclement
 * Addition of everything needed for using the logarithmic mapping
 *
 * Revision 1.3  2004/03/17 15:58:49  p_grandclement
 * Slight modification of sol_elliptic_no_zec
 *
 * Revision 1.2  2003/12/19 16:21:49  j_novak
 * Shadow hunt
 *
 * Revision 1.1  2003/12/11 14:48:49  p_grandclement
 * Addition of ALL (and that is a lot !) the files needed for the general elliptic solver ... UNDER DEVELOPEMENT...
 *
 * 
 * $Header: /cvsroot/Lorene/C++/Source/Non_class_members/PDE/sol_elliptic_no_zec.C,v 1.5 2004/08/24 09:14:44 p_grandclement Exp $
 *
 */

// Header C : 
#include <stdlib.h>
#include <math.h>

// Headers Lorene :
#include "tbl.h"
#include "mtbl_cf.h"
#include "map.h"
#include "param_elliptic.h"
          

        //----------------------------------------------
       //       Version Mtbl_cf
      //----------------------------------------------

Mtbl_cf elliptic_solver_no_zec  (const Param_elliptic& ope_var, const Mtbl_cf& source, double valeur) {
  // Verifications d'usage sur les zones
  int nz = source.get_mg()->get_nzone() ;
  assert (nz>1) ;
  assert (source.get_mg()->get_type_r(0) == RARE) ;
  assert (source.get_mg()->get_type_r(nz-1) == UNSURR) ;
  for (int l=1 ; l<nz-1 ; l++)
    assert(source.get_mg()->get_type_r(l) == FIN) ;
   
  // donnees sur la zone
  int nr, nt, np ;
  
  //Rangement des valeurs intermediaires 
  Tbl *so ;
  Tbl *sol_hom ;
  Tbl *sol_part ;
   
  
  // Rangement des solutions, avant raccordement
  Mtbl_cf solution_part(source.get_mg(), source.base) ;
  Mtbl_cf solution_hom_un(source.get_mg(), source.base) ;
  Mtbl_cf solution_hom_deux(source.get_mg(), source.base) ;
  Mtbl_cf resultat(source.get_mg(), source.base) ;

  solution_part.annule_hard() ;
  solution_hom_un.annule_hard() ;
  solution_hom_deux.annule_hard() ;
  resultat.annule_hard() ;
 
  // Computation of the SP and SH's in every domain but the ZEC ...
  int conte = 0 ;
  for (int zone=0 ; zone<nz-1 ; zone++) {
    nr = source.get_mg()->get_nr(zone) ;
    nt = source.get_mg()->get_nt(zone) ;
    np = source.get_mg()->get_np(zone) ;
     
    for (int k=0 ; k<np+1 ; k++)
      for (int j=0 ; j<nt ; j++) {
    if (ope_var.operateurs[conte] != 0x0) {
      // Calcul de la SH
      sol_hom = new Tbl(ope_var.operateurs[conte]->get_solh()) ;

      //Calcul de la SP
      so = new Tbl(nr) ;
      so->set_etat_qcq() ;
      for (int i=0 ; i<nr ; i++)
        so->set(i) = source(zone, k, j, i) ;
      
      sol_part = new Tbl(ope_var.operateurs[conte]->get_solp(*so)) ;

      // Rangement dans les tableaux globaux ;
      for (int i=0 ; i<nr ; i++) {
        solution_part.set(zone, k, j, i) = (*sol_part)(i) ;
        if (sol_hom->get_ndim()==1)
          solution_hom_un.set(zone, k, j, i) = (*sol_hom)(i) ;
        else
          {
        solution_hom_un.set(zone, k, j, i) = (*sol_hom)(0,i) ;
        solution_hom_deux.set(zone, k, j, i) = (*sol_hom)(1,i) ;
          }
      }
      
      delete so ;
      delete sol_hom ;
      delete sol_part ;
      
    }
    conte ++ ;
      }
  }
  
  //-------------------------------------------------
  // ON EST PARTI POUR LE RACCORD (Be carefull ....)
  //-------------------------------------------------
  
  // C'est pas simple toute cette sombre affaire...
  // POUR LE MOMENT QUE LE CAS l==0 ;
  // Que le cas meme nombre de points dans chaque domaines...

  int start = 0 ;
  for (int k=0 ; k<1 ; k++)
    for (int j=0 ; j<1 ; j++) {
      if (ope_var.operateurs[start] != 0x0) {
    
    int taille = 2*nz - 3 ;
    Matrice systeme (taille, taille) ;
    systeme.set_etat_qcq() ;
    for (int i=0 ; i<taille ; i++)
      for (int j2=0 ; j2<taille ; j2++)
        systeme.set(i,j2) = 0 ;
    Tbl sec_membre (taille) ;
    sec_membre.set_etat_qcq() ;
    for (int i=0 ; i<taille ; i++)
      sec_membre.set(i) = 0 ;
    
    //---------
    //  Noyau :
    //---------
    conte = start ;
       
    systeme.set(0,0) = ope_var.G_plus(0) * 
      ope_var.operateurs[conte]->val_sh_one_plus() ;
    systeme.set(1,0) = 
      ope_var.dG_plus(0) * ope_var.operateurs[conte]->val_sh_one_plus() +  
      ope_var.G_plus(0) * ope_var.operateurs[conte]->der_sh_one_plus() ;
    
    sec_membre.set(0) -= ope_var.F_plus(0,k,j) + 
      ope_var.G_plus(0) * ope_var.operateurs[conte]->val_sp_plus() ;
    sec_membre.set(1) -= ope_var.dF_plus(0,k,j) + 
      ope_var.dG_plus(0) * ope_var.operateurs[conte]->val_sp_plus() + 
      ope_var.G_plus(0) * ope_var.operateurs[conte]->der_sp_plus() ;

    //----------
    // SHELLS :
    //----------
    
    
    for (int l=1 ; l<nz-1 ; l++) {
    
      // On se met au bon endroit :
      int np_prec = source.get_mg()->get_np(l-1) ;
      int nt_prec = source.get_mg()->get_nt(l-1) ;
      conte += (np_prec+1)*nt_prec ;
      
      systeme.set(2*l-2, 2*l-1) = -ope_var.G_minus(l) * 
        ope_var.operateurs[conte]->val_sh_one_minus() ;
      systeme.set(2*l-2, 2*l) = - ope_var.G_minus(l) * 
        ope_var.operateurs[conte]->val_sh_two_minus() ;
      systeme.set(2*l-1, 2*l-1) = 
        -ope_var.dG_minus(l)*ope_var.operateurs[conte]->val_sh_one_minus()-  
        ope_var.G_minus(l)*ope_var.operateurs[conte]->der_sh_one_minus() ;
      systeme.set(2*l-1, 2*l) =
        -ope_var.dG_minus(l)*ope_var.operateurs[conte]->val_sh_two_minus()-  
        ope_var.G_minus(l)*ope_var.operateurs[conte]->der_sh_two_minus() ;
      
      sec_membre.set(2*l-2) += ope_var.F_minus(l,k,j) + 
        ope_var.G_minus(l) * ope_var.operateurs[conte]->val_sp_minus() ;
      sec_membre.set(2*l-1) += ope_var.dF_minus(l,k,j) + 
        ope_var.dG_minus(l) * ope_var.operateurs[conte]->val_sp_minus() + 
        ope_var.G_minus(l) * ope_var.operateurs[conte]->der_sp_minus() ;
      
      // Valeurs en +1 :
      systeme.set(2*l, 2*l-1) = ope_var.G_plus(l) * 
        ope_var.operateurs[conte]->val_sh_one_plus() ;
      systeme.set(2*l, 2*l) = ope_var.G_plus(l) * 
        ope_var.operateurs[conte]->val_sh_two_plus() ;
      if (l!=nz-2) {
        systeme.set(2*l+1, 2*l-1) = 
        ope_var.dG_plus(l)*ope_var.operateurs[conte]->val_sh_one_plus()+  
        ope_var.G_plus(l)*ope_var.operateurs[conte]->der_sh_one_plus() ;
        systeme.set(2*l+1, 2*l) =
          ope_var.dG_plus(l)*ope_var.operateurs[conte]->val_sh_two_plus()+
          ope_var.G_plus(l)*ope_var.operateurs[conte]->der_sh_two_plus() ;
      }

      if (l!=nz-2) {
        sec_membre.set(2*l) -= ope_var.F_plus(l,k,j) + 
          ope_var.G_plus(l) * ope_var.operateurs[conte]->val_sp_plus();

        sec_membre.set(2*l+1) -=  ope_var.dF_plus(l,k,j) + 
          ope_var.dG_plus(l) * ope_var.operateurs[conte]->val_sp_plus() + 
          ope_var.G_plus(l) * ope_var.operateurs[conte]->der_sp_plus() ;
    }
      else
        sec_membre.set(2*l) -=  -valeur + ope_var.F_plus(l,k,j) + 
          ope_var.G_plus(l) * ope_var.operateurs[conte]->val_sp_plus();
    }
    
    // On resout le systeme ...
    if (taille > 2)
      systeme.set_band(2,2) ;
    else
      systeme.set_band(1,1) ;
    
    systeme.set_lu() ;
    Tbl facteur (systeme.inverse(sec_membre)) ;
    
    // On range tout ca :
    // Noyau 
    nr = source.get_mg()->get_nr(0) ;
    for (int i=0 ; i<nr ; i++)
      resultat.set(0,k,j,i) = solution_part(0,k,j,i) 
        +facteur(0)*solution_hom_un(0,k,j,i) ;
  
    // Shells
    for (int l=1 ; l<nz-1 ; l++) {
      nr = source.get_mg()->get_nr(l) ;
      for (int i=0 ; i<nr ; i++)
        resultat.set(l,k,j,i) = solution_part(l,k,j,i) + 
          facteur(2*l-1)*solution_hom_un(l,k,j,i) +
          facteur(2*l)*solution_hom_deux(l,k,j,i) ;
    }
      }
    start ++ ;
    }

  return resultat;
}

---