<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Numerical Solution Tasks with Mixed Operator in Unlimited Area</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Bauman Moscow State Technical University (BMSTU)</institution>
          ,
          <addr-line>Moscow</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Keldysh Institute of Applied Mathematics (KIAM)</institution>
          ,
          <addr-line>Moscow</addr-line>
        </aff>
      </contrib-group>
      <fpage>0000</fpage>
      <lpage>0003</lpage>
      <abstract>
        <p>Methods for solving problems of elliptic equations, based on the integrated Green formula, were analyzed. New methods for solving a problem with a mixed-type operator in an unbounded domain are proposed. On the basis of the proposed methods, programs for solving problems with a mixed type operator have been created. The results of computational experiments, showing the correctness of the application of methods, are presented. Moreover, the convergence of the developed iterative methods has been studied; protection of the order of the original difference scheme using the developed methods has been shown.</p>
      </abstract>
      <kwd-group>
        <kwd>Unlimited Area</kwd>
        <kwd>Mixed Operator</kwd>
        <kwd>Electrodynamics Accelerator</kwd>
        <kwd>Railgun</kwd>
        <kwd>Electromagnetic Field</kwd>
        <kwd>Maxwell's Equations</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Introduction
In the study of physical phenomena, it is often necessary to perform modeling in an
unlimited area, for example, in the model-roving of the electrostatic field of charges,
solving the problem of thermal conductivity, etc. In the case where the phenomenon
can be described by means of the simplest linear elliptic operators, the problem is
solved and described, for example, in [
        <xref ref-type="bibr" rid="ref1 ref2">1, 2</xref>
        ]. The setting of non-reflective boundary
conditions for wave equations is discussed in detail in [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. However, for a wider class
of problems for which the problem operator may have a mixed type but outside some
finite domain, the fundamental solution of the operator is known and easily
calculated, the above methods are not applicable.
      </p>
      <p>
        In particular, problems with operators of mixed type arise when modulating the
electromagnetic field in electrodynamic accelerators of the rail type. Process of
current flow in conductors in this case can be described by parabolic equation and
electromagnetic field in dielectric – elliptical [
        <xref ref-type="bibr" rid="ref4 ref5">4, 5</xref>
        ].
      </p>
      <p>Copyright © 2020 for this paper by its authors.</p>
      <p>Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
2</p>
      <p>
        Methods of Solving the Problem in an Unlimited Area
In order to solve the problem, three methods of solving are proposed: the method of
expansion of the area, the method of setting integral boundary conditions, three-stage
method [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>When solving problems using grid numerical methods, accuracy is determined by
grid spacing and accuracy of setting boundary conditions. If you set the same
boundary conditions as infinity in the original task when you solve a problem in the target
area on the boundary, the error defined by the boundary condition setting will
generally decrease as the calculation area increases in size. Therefore, you can use the
scope extension method to solve tasks in an unlimited scope, that is, you can find the
size of the calculation scope so that the effect of the artificial boundary is less than the
application of the numerical method.</p>
      <p>
        The method of expansion of the design area is easy to implement, but has a high
computational complexity [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. Alternative methods are methods based on the use of
Green formulas.
      </p>
      <p>
        The first is the method of defining the integral boundary condition [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. It is based
on the fact that outside some finite region there is an operator with a known
fundamental solution and a trivial right part, then the solution on the boundary of the
calculation region is determined by means of the basic integral Green formula. Thus,
solving the problem using the method of defining integral boundary conditions requires
solving a system of equations with filled lines corresponding to the boundary.
      </p>
      <p>
        Three-stage method of solution is built in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. When using the three-step method, it
is necessary to solve two systems, but with sparse lines related to boundary
conditions. The results of calculations show that when solving problems reduced to solving
linear equations with strongly filled matrices, the method is ineffective, but for
problems with sparse matrix of the system, the three-step method allows to obtain the
result significantly faster than the method of setting the integral boundary condition.
3
      </p>
      <p>
        Modification of Three-Stage Method. Iterative Method
of Problem Solution in Unlimited Area
Consider in more detail the three-step algorithm [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] on the example of solving the
problem with an operator of mixed type:
ut  a2u  f , r  D ,
      </p>
      <p>S
 u  0, r  2 \DS ,
(1)
where DS is the boundary of the region DS (Fig. 1).</p>
      <p>After applying the finite difference method to approximate the production time
instead of the system (1), it is necessary to solve the problem:
uˆ  a12 uˆ   a12 fˆ  au2 , r  DS , (2)
uˆ  0, r  2 \DS .</p>
      <p>In subsequent records of solved tasks, temporary derivatives use
approximation (2).</p>
      <p>At the first stage of the three-stage method it is proposed to solve the system with
time-consuming boundary conditions:
vt  a2vˆ  f , r  DS ;
vˆ  0, r  D\DS ,

vˆ   u  ,
v(ti1 )  u.</p>
      <p>At the second stage it is assumed that the solution vˆ in the area DS is slightly
different from the solution uˆ of the initial problem (3), and the difference is related to
the error in the boundary condition setting. Based on these considerations and Green's
basic integral formula, the objective is:
ut  a2uˆ  f , r  D ;
 S
uˆ  0, r  D\DS ,

  vˆi  vˆi nP  dS,
uˆ   vˆi    P n
  
u(ti1 )  u.</p>
      <p>At the third stage, according to the main integrated Green formula, the value uˆ on
the boundary  by the value uˆ in the area D :
ФPL 
uˆ(P)   ФPL nuˆ  uˆ  dS.</p>
      <p>S  n </p>
      <p>
        The main advantage of the three-stage algorithm is that without the use of an
iterative process it allows to obtain results of high accuracy [
        <xref ref-type="bibr" rid="ref6 ref7">6, 7</xref>
        ]. However, the presence
of the second stage deliberately creates an error that is not eliminated by iteratively
repeating steps 1–3 of the algorithm and can grow with a reduction in the time
integration step  . In order to overcome this disadvantage of the method, it is proposed
to delete the second step of the method, and to perform the first and third steps several
times on each time layer.
      </p>
      <p>The first stage of the new iterative algorithm
utk a2uˆk  f , rDS;

uˆk  0, rD\DS,
 k  gˆk1 ,
uˆ  
u(ti1)  u, k 1..N.</p>
      <p>On the first iteration, you are prompted to select a lagging boundary condition as
the boundary condition</p>
      <p>gˆ0   g  .</p>
      <p>The second stage of the algorithm
gˆk(P)   ФPL uˆnk uˆk ФnPL dS.</p>
      <p>S 
(3)
4 Application of Iterative Algorithm to Solving Problems
in Unlimited Area
The built algorithm is applicable to solving the following problem:
ut a2u  f , r  R0,
u  0, r  R0,
f (r,,t)  a2 2m1r2n2 k2rk2yk C1rn2 en2a2t cos.</p>
      <p> k2 
Initial condition ( r  R0 ):</p>
      <p>m2 2c 
u(r,,0)  ykrk C1r nR02(J0(R0n) J2(R0n)) J1(rn)cos.</p>
      <p> k2 
Where m and n — parameters; J j — j order Bessel function ( j  0,1,2 );
1k Ck2
n  Rn , n — root of equation J1(n)  0; yk  R0k2 k2m1;   2;
0
C1  11 mk22k 1 ykR0k1; C2  mk22ykR0k1C1R02; c  C2 1 1 .
  
The analytical solution is as follows:
m2 2c
ykrk C1r  nR02(J0(R0n) J2(R0n)) J1(rn)en2a2t cos, r  R0;
u(r,,t)   k2 </p>
      <p>Cr2 en2a2t cos, r  R0.</p>
      <p>Let's set m  1, n  2, a  0.1, R0  1.0. Solve the problem with a new iterative
method and a three-step algorithm. Table 1 shows the calculation results. We see that
all the methods considered lead to the correct result.
Here p  log2  uh  u C / u</p>
      <p>C  h
 uh  u C / u</p>
      <p>C  h 2  — value characterizing
the order of the method,    h — value calculated on a grid with step h .</p>
      <p>
        Note that the iterative process could also be built on the basis of a three-stage
algorithm [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. However, according to the results in Table 2, this will not help to get the
answer with the required accuracy in less time, since one iteration of the three-step
method contains almost twice as many deductive operations as the number of
operations of the new iterative method.
      </p>
      <p>By studying Tables 1 and 2, it can be observed that the iterative methods
constructed have a high convergence rate as long as the distance from the approximation
to the true solution is large. In the vicinity of the solution, iterative projects do not
converge, which is confirmed by the results of numerical calculations (Table 3).</p>
      <p>gˆ k (P)  12  gˆ k 1 (P)  S ФPL uˆnk  uˆk ФnPL  dS .</p>
      <p>It is also worth noting that the newly built method is less demanding to the size of
the auxiliary sub area D\DS , which allows reducing its time-measures, and thus
reducing the computational complexity of the task.
On the basis of the method of setting integral boundary conditions and the three-stage
method, computational algorithms are built and software implemented to solve a
number of problems in an unlimited area. The results of computational experiments
confirm the correctness of the methods. They also show that if the order of accuracy
of quadrature formulas used in the implementation of methods is consistent with the
order of the difference scheme, the order of the scheme is preserved.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Tsynkov</surname>
            ,
            <given-names>S.V.</given-names>
          </string-name>
          :
          <article-title>Numerical solution of problems on unbounded domains. A review</article-title>
          .
          <source>Appl. Math. 27</source>
          , pp.
          <fpage>465</fpage>
          -
          <lpage>532</lpage>
          (
          <year>1998</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Galanin</surname>
            ,
            <given-names>M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nizkaia</surname>
            ,
            <given-names>T.V.</given-names>
          </string-name>
          :
          <article-title>Razrabotka i primenenie chislennogo metoda resheniia lineinykh ellipticheskikh uravnenii v neogranichennoi oblasti</article-title>
          .
          <source>KIAM Preprints 2</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>29</lpage>
          (
          <year>2005</year>
          ) [In Russian].
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Ilgamov</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gilmanov</surname>
            ,
            <given-names>A.N.</given-names>
          </string-name>
          :
          <article-title>Neotrazhaiushchie usloviia na granitsakh raschetnoi oblasti</article-title>
          .
          <source>Fizmatlit</source>
          , Moscow (
          <year>2003</year>
          ) [In Russian].
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Galanin</surname>
            ,
            <given-names>M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Popov</surname>
            ,
            <given-names>Iu.P.</given-names>
          </string-name>
          :
          <article-title>Kvazistatsionarnye elektromagnitnye polia v neodnorodnykh sredakh: Matematicheskoe modelirovanie</article-title>
          .
          <source>Nauka. Fizmatlit</source>
          , Moscow (
          <year>1995</year>
          ) [In Russian].
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Galanin</surname>
            ,
            <given-names>M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lototskii</surname>
            ,
            <given-names>A.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Popov</surname>
            ,
            <given-names>Iu.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Khramtsovskii</surname>
            ,
            <given-names>S.S.:</given-names>
          </string-name>
          <article-title>Chislennoe modelirovanie prostranstvenno trekhmernykh iavlenii pri elektromagnitnom uskorenii provodiashchikh makrotel</article-title>
          .
          <source>Matematicheskoe modelirovanie 11 (8)</source>
          , pp.
          <fpage>3</fpage>
          -
          <lpage>22</lpage>
          (
          <year>1999</year>
          ) [In Russian].
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Galanin</surname>
            ,
            <given-names>M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sorokin</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          :
          <article-title>Razrabotka i primenenie chislennykh metodov resheniia zadach v neogranichennoi oblasti na osnove tretei formuly Grina</article-title>
          .
          <source>KIAM Preprints</source>
          ,. №
          <volume>246</volume>
          . 24 s (
          <year>2018</year>
          ) [In Russian].
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Galanin</surname>
            ,
            <given-names>M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sorokin</surname>
            ,
            <given-names>D.L.</given-names>
          </string-name>
          :
          <article-title>Development and application of numerical methods for equations of mixed type in an unbounded domain</article-title>
          .
          <source>Differential Equations</source>
          <volume>55</volume>
          (
          <issue>7</issue>
          ), pp.
          <fpage>915</fpage>
          -
          <lpage>928</lpage>
          (
          <year>2019</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>