Volume 3, Issue 6 e1165
SPECIAL ISSUE PAPER
Full Access

Efficiency of using adaptive artificial boundary conditions at computer simulation of contrast spatio-temporal laser-induced structures in a semiconductor

Vyacheslav Trofimov

Vyacheslav Trofimov

South China University of Technology, Guangzhou, China

Search for more papers by this author
Maria Loginova

Corresponding Author

Maria Loginova

The faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University, Moscow, Russian Federation

Correspondence

Maria Loginova, Lomonosov Moscow State University, Moscow 119991, Russian Federation.

Email: [email protected]

Search for more papers by this author
Vladimir Egorenkov

Vladimir Egorenkov

The faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University, Moscow, Russian Federation

Search for more papers by this author
First published: 04 April 2021
Citations: 2

Funding information: Russian Science Foundation, 19-11-00113

Abstract

Many problems of modern laser physics are governed by equations or sets of equations in an unbounded domain. For solving these problems using the computer simulation, it is necessary to introduce the bounded domain, which size should be extended significantly to avoid the spurious wave reflection from the domain boundaries. Alternatively, the artificial (non-reflective or transparent) boundary conditions should be stated. This approach is also effective for enhancing computation performance at the numerical solution of the nonlinear partial differential equations (PDEs). In the current paper, we investigate the laser pulse propagation in a semiconductor, governed by the Schrödinger equation, under the appearance of spatio-temporal contrast structures of semiconductor characteristics. Their evolution is described by a set of PDEs. The optical pulse is partly reflected from the boundaries of these structures. Consequently, even a little reflection of the optical pulse from the artificial boundaries can essentially distort the numerical solution. Thus, these artificial boundary conditions must possess a high quality to minimize their reflection coefficients. With this aim, we propose the method for constructing adaptive artificial boundary conditions and discuss their advantages.

1 INTRODUCTION

Many problems of laser physics and nonlinear optics are governed by sets of nonlinear time-dependent PDEs. In particular, the pulse interaction with a semiconductor is governed by such sets of the PDEs. At certain parameters, the interaction can be accompanied by an optical bistability. This phenomenon is a base for the development of all-optical data processing devices and attracts the interest of many authors.1-6 Recently,7 it was shown that the laser beam longitudinal diffraction plays a fundamental role at the laser pulse interaction with a semiconductor under the appearance of the laser-induced high absorption domain because this leads to the reflection of laser energy from the domain boundaries. This phenomenon can essentially change the process of this interaction. To describe the laser pulse reflection from the high absorption domain, it is necessary to involve in the set of equations the nonlinear Schrödinger equation with the second-order derivative on the coordinate along which the optical pulse propagates. As a consequence of this, to increase the computer simulation efficiency, one needs to apply the artificial boundary conditions (ABCs) for the nonlinear Schrödinger equation.

It should be stressed that during the last decades, many authors pay attention to solving the wave equation and the Schrödinger equation in an unbounded domain (see, e.g., References 8-40). Applying computer modeling techniques for such problems requires also introducing artificial boundaries. In turn, this may lead to the occurrence of a spurious wave reflection from the boundaries. To avoid this reflection, one could solve this problem by shifting the artificial boundaries afar the domain in which the computation occurs. Obviously, this way is impractical from a computational point of view and leads to a significant increasing computational expense, which could become a crucial problem in solving multidimensional problems.

Another way to avoid a spurious wave that appeared due to a laser beam reflection from the artificial boundaries is the introducing transparent (non-reflecting) ABCs. Previously, various authors have proposed methods for transparent ABCs constructing. So, for the 1D linear Schrödinger equation, exact transparent ABCs were also developed. However, their implementation requires information about the solution on all previous time layers, which is unacceptable for the numerical solution due to the computational restrictions. Approximate ABCs could be constructed without all that information, but they lead to a reflected wave's appearance. At linear propagation of the laser beam, the presence of a reflected wave, which amplitude is about 3%–5% of the incident wave amplitude, may be acceptable. But at the optical wave propagation in a nonlinear medium described by the corresponding nonlinear Schrödinger equation, a reflected wave with such amplitude leads to significant distortion of the numerical solution. Therefore, the construction of effective ABCs, which could be easily applying in computer modeling, is an urgent problem.

In our opinion, using the information about the solution in the vicinity of the artificial boundary is one of the promising ways for adaptive ABCs construction.25, 36-39 In Reference 38, it was proposed to compute an effective wavenumber using the Fourier-Gabor transform. This approach is also effective for multidimensional problems because it is possible to write a chain of the corresponding 1D problems. However, such an approach has at least two disadvantages. Firstly, it is not always possible to compute analytically the required integral. Secondly, and this seems more important, in the case of the optical radiation nonlinear propagation, the problem exact solution is usually absent. Let us note that in Reference 39 the nonlinear multidimensional problem was reduced to a chain of 1D problems using the splitting method, and, therefore, the constructed finite-difference scheme was non-conservative according to certain invariants of the problem.

In the current paper, we develop the adaptive ABCs based on computing the time-dependent local wavenumber (or local group velocity) of the laser beam (or pulse) near the artificial boundary. An algorithm of local wavenumbers computing is based on the problem invariants parts. At their computation, we pay careful attention to the correctness of the spurious wave accounting. For clarifying the proposed method's efficiency, we compare the computer simulation results obtained by using non-adaptive ABCs or adaptive ones with the corresponding solution of the Schrödinger equation computed in large enough. Their effectiveness is also demonstrated at solving the 2D problem of the laser pulse propagation in a semiconductor. The necessity of introducing the adaptive ABCs for the Schrödinger equation is illustrated by considering the laser beam propagation under its strong diffraction.

The paper is organized as follows. Section 2 is devoted to the statement of the 2D problem of the laser-induced electron-ionized-donor plasma generation in a semiconductor. We discuss a mathematical model for the problem under consideration, including two ways for standing initial problem for the Schrödinger equation. Presented results of the computer modeling demonstrate the fundamental role of the laser beam longitudinal diffraction under investigation. In Section 3, we develop non-adaptive and adaptive ABCs for the 1D Schrödinger equation and propose the numerical method for their computation. On the base of the provided simulations, we proved the efficiency of the second approach. In Section 4, we briefly conclude the main results.

2 THE 2D PROBLEM OF LASER-INDUCED ELECTRON-IONIZED-DONOR PLASMA GENERATION IN A SEMICONDUCTOR

2.1 Mathematical model of 2D problem

We consider the laser pulse interaction with a semiconductor, which has a rectangular form and could be placed in the external electric field. The mathematical model for the problem consists of a set 2D dimensionless PDEs, which involves the Poisson equation concerning laser-induced electric field potential φ(x, z, t), two nonlinear equations describing the evolution of free-electron concentration n(x, z, t) and concentration of ionized donors N(x, z, t), and the nonlinear Schrödinger equation describing laser pulse propagation in a semiconductor. We emphasize that to obtain an adequate description of the laser pulse interaction with a semiconductor, it is necessary to take into account longitudinal and transverse diffraction of the beam because of an appearance of the free-charge concentration contrast structures, and they are caused by optical bistability occurrence. In the general case, the Schrödinger equation is written with respect to a complex amplitude A(x, z, t), which is slowly varying in time and on the spatial coordinate, directed transversely to the pulse propagation direction. However, the amplitude is a fast-varying function in the direction of the pulse propagation. In this case we take into account the laser beam reflection from the laser-induced spatio-temporal structures. Thus, the laser-induced plasma evolution in a semiconductor is governed by the following set of the dimensionless equations:
N t = G ( n , N , | A | 2 ) R ( n , N ) , 0 < x < L x , L z l < z < L z r , 0 < t L t , ()
n t = D n x x n x μ x n φ x + D n z z n z μ z n φ z + G ( n , N , | A | 2 ) R ( n , N ) , ()
2 φ x 2 + 2 φ z 2 = γ ( n N ) , ()
ϵ A t + iD A z 2 A z 2 + iD A x 2 A x 2 + δ 0 2 δ ( n , N ) A = 0 , ()
or
ϵ A t + ν z A z + iD A z 2 A z 2 + iD A x 2 A x 2 + δ 0 2 δ ( n , N ) A = 0 , 0 < x < L x , L z l < z < L z r , 0 < t L t . ()

First of all, let us stress that both Schrödinger equations with the corresponding choice of their diffraction coefficients and the initial conditions are equivalent. We demonstrate this below.

Above the dimensionless spatial coordinates x, z belongs to the ranges [0,Lx], [ L z l , L z r ], respectively. The laser pulse propagates along z-coordinate. The parameter νz characterizes the laser pulse group velocity and denotes the dimensionless velocity of the laser pulse propagation. Coordinate x is perpendicular to z-coordinate, and it is named as transverse coordinate. Dimensionless time is notated by variable t. Lt characterizes a dimensionless time interval during which the laser pulse interaction with a semiconductor is analyzed. The electron diffusion coefficients D n x , D n z , and the diffraction coefficients D A x , D A z , and the electron mobility coefficients μx, μz are non-negative parameters. ϵ is a dielectric permittivity of a medium. Parameter γ depends, in particular, on the maximal concentration of free charged particles. Parameter δ0 denotes the laser energy maximal absorption. According to the physical sense of the problem, the concentrations n(x, z, t), N(x, z, t) and the absorption coefficient δ(n, N) must be non-negative. Because of the chosen normalization of the parameters, the ionized donor concentration N(x, z, t) must not exceed unity.

Function G is the generation of charged particles, and function R is their recombination:
G ( n , N , | A | 2 ) = q 0 | A | 2 δ ( n , N ) , 0 x L x , 0 z L z r , 0 t L t , 0 , 0 x L x , L z l z 0 , 0 t L t , ()
R ( n , N ) = nN n 0 2 τ R , 0 x L x , 0 z L z r , 0 , 0 x L x , L z l z 0 . ()
Above q0 is the dimensionless laser pulse maximal intensity. Parameter n0 is the equilibrium value of the free electron concentration and ionized donor concentration in a semiconductor before the laser pulse action, τR characterizes a recombination time of the free charged particles. The absorption coefficient δ(n, N) is governed by the nonlinear function:
δ ( n , N ) = ( 1 N ) e ψ ( 1 ξ n ) , ()
where ξ, ψ are non-negative constants. This absorption coefficient corresponds to an occurrence of so-called concentration absorption optical bistability.
The homogenous BCs concerning the free-electron flow correspond to the electric current absence through a semiconductor surface:
n x μ x n φ x x = 0 , L x = 0 , n z μ z n φ z z = 0 , L z r = 0 . ()
If the external electric field is absent, then the zero-value Neumann conditions for the electric field potential are stated as follows:
φ x x = 0 , L x = 0 , φ z z = 0 , L z = 0 . ()
Initial distributions of the electric field potential and the free-charged particles concentrations are defined as:
φ | t = 0 = 0 , n | t = 0 = N | t = 0 = n 0 , ()
where n0 is an equilibrium value of free-electron concentration and ionized donor one. Because we consider the bounded time interval and finite initial distribution of the complex amplitude, then one can state the zero-value BCs for this function:
A | x = 0 = A | x = L x = 0 , A | z = L z l = A | z = L z r = 0 . ()

However, for unbounded domain on a spatial coordinate, as a rule, it supposes that the function A and its n-th derivatives decrease exponentially at tending of the corresponding coordinate to plus or minus infinity.

It should be stressed that the size of the spatial domain in z-direction is determined by the requirement of optical pulse non-reflection from the domain boundaries at providing computations. Depending on different characteristics of the laser pulse interaction with a semiconductor, the values L z l , L z r are chosen, and they could be rather big and have to be increased with growing of time interval. Obviously, using this extended domain increases essentially the computational cost of the problem solving.

At writing the initial distribution for the complex amplitude, it should be stressed that its spatial distribution along a longitudinal coordinate coincides with its time distribution because a laser pulse propagates in a linear medium before its interaction with a semiconductor. We choose the incident laser beam complex amplitude distribution in the form of Gaussian profile along x-coordinate and hyper-Gaussian one along z-coordinate in the form:
A | t = 0 = e x L c x a x 2 z L c z a z 10 2 i π χ ( z L c z ) , ()
if we solve Equation (4′) or
A | t = 0 = e x L c x a x 2 z L c z a z 10 , ()
if we solve Equation (4″). Here L c x , L c z are the coordinates of the incident laser beam center position, and ax, az are the beam radiuses on x- and z-coordinates, respectively. Parameter χ is a dimensionless wavenumber of the laser beam on z-coordinate.
Let us stress that if we use Equation (4′) with initial distribution (12′) for computation of the complex amplitude, then the diffraction coefficient D A z is defined by the parameter χ as follows:
D A z = 1 4 π χ , ()
that corresponds to the laser pulse propagation with the unit group velocity. In turn, at solving Equation (4″) with the initial distribution of the complex amplitude (12″), the diffraction coefficient D A z does not depend on the laser pulse propagation velocity νz. If the dimensionless group velocity of the pulse is defined as unity (νz = 1), then it will coincide with those for the problem (4′), (12′).
Let us demonstrate that both problem statements for describing the laser pulse propagation are equivalent to each other. With this aim we transform Equation (4′) using substitution A = A e i β z . Taking into account the following equalities:
A e i β z z = A z e i β z i β A e i β z ,
2 A e i β z z 2 = z A z e i β z i β A e i β z = 2 A z 2 2 i β A z β 2 A e i β z ,
it is easy to see that Equation (4′) transformed to the form:
ϵ A t + 2 D A z β A z + iD A z 2 A z 2 + iD A x 2 A x 2 + δ 0 2 δ ( n , N ) A iD z β 2 A = 0 . ()

Choosing parameter β as follows: β = 2πχ and taking into account the expression (13), we see that Equation (14) coincides with Equation (4″) except the last term corresponding to a homogeneous shift of the beam phase with time. But this shift does not influence both the laser beam profile and shape and the pulse interaction with a semiconductor. Nevertheless, using these equations ((4′) and (4″)) at computer simulation may lead to different requirement on a choice of the difference grid steps.

2.2 Computer modeling of the 2D problem

In Reference 7, we demonstrated that the optical pulse reflects partly from the boundaries of the contrast structures of the high electron concentration induced in a semiconductor by laser radiation. This occurs due to the longitudinal diffraction, which plays the main role in the laser radiation reflection. The process is shown schematically in Figure 1.

Details are in the caption following the image
The scheme of laser pulse interaction with the boundaries of the contrast laser-induced structures and artificial boundaries
Let us emphasize that such problems belong to a new field of nonlinear optics: gradient nonlinear optics. If the longitudinal diffraction of a beam does not take into account (in this case, the laser pulse is depicted in Figure 1 by the beam intensity I(x, z, t) = |A|2), then the laser pulse propagates only in the positive direction of the z-axis. To prove this proposition, we compare below the computer simulation results obtained with ( D A z 0 ) and without ( D A z = 0 ) diffraction term in Equations (4′) or (4″). The computer simulation is provided for the problem parameters:
ϵ = 1 , L t = 10 , L x = 1 , L z l = 30 , L z r = 30 , γ = 1000 , D n x = D n z = 10 5 , μ x = μ z = 1 , ψ = 2.553 , ξ = 3 , n 0 = 0.01 , q 0 = 4 , D A x = 10 5 , δ 0 = 3.927 , a z = 0.1 , L c x = 0.5 L x , L c z = 2 ,
and D A z = 0.016 , χ = 5 if Equation (4′) with initial condition (12′) is solved, and D A z = 0 , νz = 1 at solving Equation (4″) with initial condition (12″). For the numerical solution of the problem, we use the two-stage iterative process, which is written on the base of the conservative finite-difference scheme, and it is discussed in detail in Reference 41.

In Figure 2, the incident laser pulse distribution is depicted. Figure 3 demonstrates a formation and evolution of the free electron high concentration domain at the laser pulse interaction with a semiconductor, while the laser pulse profile is depicted in Figure 4. The high absorption domain appears with a certain delay with respect to the pulse front propagation. As a result, a part of the pulse firstly penetrates a semiconductor, and then a reflection of another part of the beam occurs from the domain boundary. We see that at a moment t = 1.5 (Figure 3(A1),(A2)) the laser pulse penetrates a semiconductor, and the free-electron high concentration domain starts to grow. At the time moment t = 2 (Figure 3(B1),(B2), Figure 4(B1)) this domain appears near the semiconductor face, and the traveling part of the optical beam reflects from the domain boundary. The reflected part of the beam propagates in the opposite direction to the incident laser pulse propagation direction. This leads to the interference between these beams and causes the intensity oscillation.

Details are in the caption following the image
Incident pulse intensity profile
Details are in the caption following the image
Evolution of the free-electron concentration distribution under taking into account the laser beam longitudinal diffraction (left panel) and without it (right panel) in moments of time t = 1.5 (A), 2 (B), 2.5 (C), 3 (D), 3.5 (E)
Details are in the caption following the image
Evolution of the laser pulse intensity profile under taking into account the laser beam longitudinal diffraction (left panel) and without it (right panel) in moments of time t = 1.5 (A), 2 (B), 2.5 (C), 3 (D), 3.5 (E)

We can see the fundamental differences between the intensity distribution computed at taking into account or not the longitudinal diffraction for the description of the laser pulse propagation: if the longitudinal diffraction is under consideration, then the optical radiation reflected from the boundary of the contrast structure results in both the intensity oscillation (Figure 4(B1)–(D1)) and re-shaping of the free-electron high concentration domain (Figure 3(C1)–(D1)). If the computation of the laser pulse interaction with a semiconductor is provided without considering longitudinal diffraction, then there is not this optical radiation reflection and the domain profile differs from the previous case (Figure 3(B2)–(D2) and Figure 4(B2)–(D2)). In Figure 3(E1),(E2) and Figure 4(E1),(E2), a final stage of the process is depicted.

One more manifestation of the influence of the longitudinal diffraction on the laser pulse interaction with a semiconductor is demonstrated in Figure 5. We see a very pronounced difference between the profiles of the beams propagating with or without taking into account the longitudinal diffraction. The appearance of the reflected beam is the most interesting for us in the current paper. This part of the beam propagates in the direction opposite to the incident beam propagation direction. After three dimensionless units on time, the reflected beam passes distance, which is greater than one dimensionless spatial unit. As a rule, a computation is provided during about one thousand dimensionless units on time, we need to increase a domain size on z-coordinate by a few hundred times for a solution only a linear Schrödinger equation. This leads to enhancing many times a computation cost. That is why it is necessary to develop the ABCs for the problem under consideration. Let us stress that this problem is a typical one for nonlinear optics. Therefore, in the next paragraphs we discuss developing the adaptive ABCs for the 1D Schrödinger equation.

Details are in the caption following the image
Evolution of the intensity along z-coordinate at the beam center on x-coordinate (x = 0.5) under taking into account the laser beam longitudinal diffraction (left panel) and without it (right panel) in moments of time t = 1.5 (A), 2 (B), 2.5 (C), 3 (D), 3.5 (E)

3 DEVELOPING ABC FOR 1D SCHRÖDINGER EQUATION

3.1 Statement of 1D problem and finite-difference scheme construction

The artificial boundaries in the spatial domain allow us to decrease the computational time. However, it could lead to the appearance of the spurious waves, reflected from the artificial boundary (red point-dash line in Figure 1), which can crucially change the computer simulation results. We believe that the adaptive ABCs can minimize the reflection wave and to avoid its influence on the problem solution.

At first, we propose below and discuss one of the types of such a non-adaptive ABCs. For illustrative clarity, we consider the 1D case (A = A(z, t)) of the laser pulse propagation in a linear medium, which is governed by the 1D linear Schrödinger equation:
ϵ A t + ν z A z + iD A z 2 A z 2 = 0 , L z l < z < L z r , 0 < t L t ()
with uniform ABCs:
ϵ A t ν z l A z z = L z l = 0 , ϵ A t + ν z r A z z = L z r = 0 ()
and the corresponding initial condition:
A ( z , t = 0 ) = e z L c z a z 2 . ()
Alternatively, we can use another form of the problem description:
ϵ A t + iD A z 2 A z 2 = 0 , L z l < z < L z r , 0 < t L t , ()
ϵ A t 2 D A z k z l A z + iD z k z l 2 A z = L z l = 0 , ϵ A t + 2 D A z k z r A z + iD z k z r 2 A z = L z r = 0 , ()
A | t = 0 = e z L c z a z 2 2 i π χ ( z L c z ) . ()

Above ν z l , ν z r and k z l , k z r are the local group velocities and local wavenumbers, respectively, near the corresponding boundaries. Their values are chosen as constant at using non-adaptive ABCs, and they should be computed at using adaptive (time-dependent) ABCs.40 The sign of the group velocity νz in (15′) defines the beam propagation direction: it is moving in left direction if νz < 0, and in right direction if νz > 0. The question is what values of the local wavenumbers (local group velocities) are should be chosen to achieve the most effectiveness of the ABCs.

For solving the problem (15′-17′) or (15″-17″) numerically we construct the finite-difference schemes. For this purpose, in the domain Γ = { L z l z L z r } × { 0 t L t } we introduce a uniform difference grid Ω = ωz × ωt,
ω z = z j = jh z , j = 0 , P z , h z = L z P z , ω t = t m = m τ , m = 0 , P t , τ = L t P t .

Using the following notations:

A = A j m = A ( z j , τ m ) , A ^ = A j m + 1 = A ( z j , τ m + 1 ) , A z = A j + 1 m A j m h z , A z = A j m A j 1 m h z , A z ˙ = A j + 1 m A j 1 m 2 h z , A z z = A j + 1 m 2 A j m + A j 1 m h z 2 ,
A ^ z = A ^ j + 1 m A ^ j m h z , A ^ z = A ^ j m A ^ j 1 m h z , A z z = A ^ j + 1 m 2 A ^ j m + A ^ j 1 m h z 2 ,
A z z 0.5 = 0.5 ( A ^ z z + A z z ) , A 0.5 z = 0.5 ( A ^ z + A z ) , A 0.5 z = 0.5 ( A ^ z + A z ) , A 0.5 z ˙ = 0.5 ( A ^ z ˙ + A z ˙ ) ,
we write the Crank-Nicolson finite-difference scheme for the problem (15′-17′):
ϵ A ^ A τ + ν z A 0.5 z ˙ + iD z A 0.5 z z = 0 , j = 1 , P z 1 , m = 0 , P t . ()
The following equations are written in the boundary nodes of the mesh ωz
ϵ A ^ 0 A 0 τ ν z l A 0.5 z , 0 = 0 , ϵ A ^ P z A P z τ + ν z r A 0.5 z , P z = 0 , ()
and initial condition is stated as:
A ( z j , 0 ) = e z j L c z a z 2 , j = 0 , P z . ()
The problem (15″-17″) is approximated by the following finite-difference scheme:
ϵ A ^ A τ + iD z A 0.5 z z = 0 , j = 1 , P z 1 , m = 0 , P t ()
ϵ A ^ 0 A 0 τ 2 D A z k z l A 0.5 z , 0 + iD z k z l 2 A = 0 , ϵ A ^ P z A P z τ + 2 D A z k z r A 0.5 z , P z + iD z k zr 2 A = 0 , ()
A ( z j , 0 ) = e z j L c z a z 2 2 i π χ ( z j L c z ) , j = 0 , P z . ()

The Thomas algorithm is used for solving the stated above initial-boundary difference problems.

3.2 Computer simulation results at using non-adaptive ABCs

We provide series of computations to demonstrate the inefficiency of the non-adaptive ABCs application under certain conditions. Below we present the computer simulation results obtained for parameters:
ν z = 1 , ν zl = ν zr = 1 , a z = 0.5 , L c z = 5 , ϵ = 1 ,

and mesh steps hz = 0.001, τ = 0.001 for the spatial domain [ L z l = 0 , L z r = 10 ] at the solution of the problem (15′-17′). The incident laser pulse is located symmetrically with respect to the center of the spatial domain at the initial time moment. For definiteness, we should stress that the computations are provided using C++ realization of the finite-difference scheme (18′-20′) or (18″-20″) on multi-processors work-station Dell Precision T7910 2 x.

According to the set parameters, the beam propagates in the negative direction along z-axis. When the beam reaches the left artificial boundary, its certain part reflected, and it propagates in the positive direction of z-axis (Figure 6(A), (C), (E)). After reaching by this reflected (spurious) wave the right artificial boundary, then it also reflects. However, the reflected part of the beam may have a rather small amplitude compared with the maximal incident intensity (Figure 6(B),(D),(F)) if the diffraction of the beam is small enough (Figure 6(A),(B)), and these results are in agreement with the computational accuracy. The situation changes if the diffraction coefficient increases (Figure 6(C),(D)). In this case, the beam spreads due to diffraction action, and the beam local group velocity near the boundary differs from the wave packet velocity. As a result, a substantial part of the beam is reflected (Figure 6(E),(F)). Thus, the amplitude of the reflected wave depends strongly on the diffraction coefficient, and the non-adaptive ABCs are not effective enough under large diffraction.

Details are in the caption following the image
Distribution of the reflected pulse amplitude in moments of time t = 10 (left plane), 20 (right plane), computed with the diffraction D A z = 10 4 (A, B), 10−2 (C, D), 10−1 (E, F)
To estimate the efficiency of the developed non-adaptive ABCs, one can compare the computer simulation results obtained using this method with the solution obtained for the extended spatial domain [ L z l = 50 , L z r = 50 ] . In this case, the domain boundaries influence is absence, and we name this solution as reference one. Below in figures we use the following notations: AABC = AABC(z = 0,t) is an amplitude of the reflected wave computed using ABCs, and AREF = AREF(z = 0,t) is an amplitude of the reference wave computed on the extended domain. Functions:
E ABC = 0 L z r | A ABC | 2 dz , E REF = 0 L z r | A REF | 2 dz
are the energy of the reflected part of the beam computed using ABCs and the energy of the beam propagating in the extended domain, respectively. We also follow the energies difference ΔE = EABC − EREF. Another introduced characteristic is a modulus of the relative difference between the modulus of the laser beam amplitudes AABC and AREF in the section z = 0:
Δ A = | | A ABC | | A REF | | | A REF | ,
and if the condition |AREF| > 10−6 is valid, we avoid a division by zero. In Figure 7 both these time-dependent characteristics are depicted: the difference ΔA is shown in the left plane, and the dynamics of ΔE are depicted in the right plane. As seen in Figure 7, the increasing of the diffraction coefficient leads to the growth of the difference between the reference solution and the solution obtained using the ABCs. The energies difference is positive or negative, depending on a moment of time. The positive difference means that the energy of the beam computed using the ABCs is greater than the reference beam's energy. In turn, it means that the real group velocity of the reference pulse is greater than those values for the beam computed using the ABCs. For negative difference there is an opposite relation between the group velocities for both cases of computation. This statement is valid if we consider a time interval corresponding to those during which the beam passes through the artificial boundary.
Details are in the caption following the image
Comparison of the computer simulation results obtained using ABCs with those computed on the extended spatial domain (reference solution). The relative difference between amplitudes depicted on left panel, and the energy difference – on the right panel. Diffraction coefficient D A z is equal to 10−4 (A, B); 10−2 (C, D)

Another illustration of the necessity of using adaptive ABCs at large diffraction of the beam is presented in Figure 8 by comparison of computational results obtained at the different (constant) local group velocities. We see that at the local group velocity ν z l = 0.6 (the green dashed line) the high efficiency of left ABC is observed in the vicinity of time point t = 5, but then its efficiency becomes worse (deviation from the reference solution increases). The same trend is observed for other values of the local group velocity (black solid and red dashed-point lines).

Details are in the caption following the image
Evolution of the relative difference between the amplitudes (A) and the energy difference (B) depending on the local group velocity value: ν z l = 0.6 (green dashed line), 1 (black solid line), 1.8 (red point-dashed line) computed for the diffraction coefficient D A z = 0.1

It should be mentioned that for the beam small diffraction, the ABCs with a constant value of the local group velocity may be applicable. This confirms by the computer experiments and follows from the obtained analytical expressions for the linear Schrödinger equation (we will discuss this below). Thus, based on the presented results, we can conclude that it is necessary to use the adaptive ABCs for decreasing the amplitude of the beam reflected from the artificial boundary. In this case, the local group velocities (local wavenumbers) must depend on both time and spatial coordinates.

3.3 Developing of the adaptive ABCs and computer simulation results

We illustrate the advantages of the adaptive ABCs by solving the problem (15″-17″). As it is well-known, the local wavenumber of the beam is defined as:
k z = S z , ()
where S is a beam phase and it relates with the complex amplitude by the well-known expression:
A = A 0 e iS , ()
where A0 and S are the real functions. Therefore, we can write the equality:
A * A z = iA 0 2 S z + A 0 A 0 z . ()
Basing on this formula, we propose to compute the local wavenumber numerically as a ratio of integrals taken in the vicinity of the artificial boundary40 (for brevity, we write a formula only for the right artificial boundary):
k z num = Im z 0 z 1 A * ( z , t ) A ( z , t ) z dz z 0 z 1 | A ( z , t ) | 2 dz , ()
where z0, z1 are coordinates, which are close to the right artificial boundary. They are used to avoid the influence of the reflected beam on the local wavenumber of the beam, which is falling on the artificial boundary. To illustrate the correctness of such an approach for the computation of the local wavenumber, we compare the wavenumber computed using (24) with its value obtained from the well-known analytical solution of the initial-boundary problem (15″-17″) for incident Gaussian beam:
A = 1 f exp z L c z t f 2 + i ψ ( t , z ) + ( t ) ,
ψ ( t , z ) = ( z L c z t ) 2 4 D A z 1 f df dt 2 ( z L c z t ) 4 D A z 1 f t df dt + 1 f ,
φ ( t ) = 2 t 4 D A z f t df dt + 1 f + 1 2 arctg ( 4 D A z t ) , f 2 = 1 + ( 4 D A z t ) 2 .
Using it, we can write the expression for the local wavenumber (for brevity, we presented only formula for right local wavenumber):
k an r = S z = 8 D A z t ( z L c z t ) 1 + ( 4 D A z t ) 2 + 1 2 D A z . ()

In our notation the local group velocity is defined from the equality: ν an r = 2 D A z k an r .

Let us mention that from formula (25) it is also seen that if D A z is rather small, then a time coordinate does not influence the local wavenumber during computation in a long time interval, and ABCs with constant local wavenumbers (or local group velocity) provide the high computation accuracy. If D A z has a big value, the local wavenumber varies essentially in time, and non-adaptive ABCs' efficiency decreases.

For numerical computation of the adaptive local wavenumber k z num , we use formula (24) and a representation of the complex amplitude in the form A j = A j R + iA j I . The expression (24) is approximated by difference formula:
k z num = j = P s P ( A j R A j 1 I A j I A j 1 R ) j = P s P | A j | 2 h z , ()
where P is a node number of the mesh ωz and is situated near the right boundary. Parameter s designates a number of the mesh nodes used for integral computation. In our numerical simulation we compute (26) using three mesh nodes (s = 3). The mesh node P is chosen according to the requirement:
| A P | > ρ , ρ = const > 0 , ()
where ρ is a minimal admissible value of the complex amplitude modulus, which is used for computation of the local wavenumber, and it is defined by the approximation order of the finite-difference scheme. Thus, we prevent division by zero or too small value in the denominator of the expression (26). The value of P is equal to Pz or less than it. In the last case we chose P as a maximal number of the mesh node satisfying the condition (27).

In Figures 9 and 10, the computer simulation results are presented at solving of the numerical problem (18″-20″) with the following parameters χ = 1, D A z = 0.0795775 , az = 1, Lz = 10, L c z = 5 , Lt = 10, hz = 10−3, τ = 10−3. First of all, in Figure 9(A),(B) we depict and compare time-dependent k z r computed using formula (26) for k z num with P = Pz and analytical formula (25) for k an r . It is clearly seen that both values of the local wavenumbers are in good agreement except a certain time interval, where k z r values differ essentially regardless of whether we use ρ = 10−6 or ρ = 10−4. This computational inaccuracy appears because of the influence of the reflected beam on computation of the local wavenumbers. To decrease this impact, we propose to compute the integrals, involving in (24), not exact in the boundary node but at a certain distance from it, for example, in the point P ≤ Pz − 100. For P definition we use the criterion (27), but its maximal value is bounded by Pz − 100. The obtained results are shown in Figure 9(C),(D), and we see clearly, that they have an excellent correlation.

Details are in the caption following the image
Comparison of the local wavenumber k z r evolution on the domain right boundary computed at using formula (26) (red dash line) at ρ = 10−6 (A, C), 10−4 (B, D) and under condition P ≤ Pz (A, B) or P ≤ Pz − 100 (C, D) with those computed by the analytical formula (25) (black solid line)
Details are in the caption following the image
Evolution of the relative difference between the amplitudes computed using formula (26) and reference solution for the diffraction coefficient D A z = 0.0795775

Thus, it could be inferred that the using integral ratio (24) for computation of the local wavenumber leads to the high accurate approximation of the real local wavenumber.

Furthermore, to estimate the correctness and accuracy of the proposed method for the adaptive ABCs computation, we also compare the reference solution with the solution computed at using the adaptive ABCs. As shown in Figure 10, the relative difference between the amplitude of the reflected part of the beam, which appears at using adaptive ABCs, and the reference solution's amplitude is about two times smaller than the best result obtained with non-adaptive ABCs (Figure 8(A)). Moreover, in this case ΔA does not grow in time as it is occurring at using non-adaptive ABCs.

3.4 Remark concerning the computational accuracy for different problem statements

The statements of the 1D problem (15′-17′) and (15″-17″) are equivalent from a mathematical point of view. On the contrary, there are some peculiarities at the numerical solution of the problem. Analyzing Figure 11, we can see that at computing problem (15″-17″) the step of spatial mesh has a significant effect on obtained results: a difference between the amplitude of the reflected part of the laser pulse and amplitude of the reference solution computed on an extended domain decreases on order with decreasing hz from 10−3 to 10−4 (Figure 11(A),(B)). As it follows from Figure 11(C) at computing problem (15′-17′) obtained results do not depend critically on hz. It should be stressed that at solving the problem in the statement (15″-17″) with hz = 10−3 we obtained results with the same accuracy order as at solving (15′-17′) with hz = 10−4. This is an important feature of the problem under consideration and should be taken into account, especially at solving multidimensional problems.

Details are in the caption following the image
The impact of the mesh step hz on the accuracy of the problems (15′-17′) and (15″-17″) solution. Evolution of a difference, computed in the section z = 0 at mesh step hz = 10−3 (A), (C – black solid line), 10−4 (B), (C – red dash line), between the reference solution on the extended domain and the solution computed using adaptive ABCs (26) at solving the problem (15″-17″) (A, B) and (15′-17′) (C) with mesh step τ = 10−3 and parameters Dz = 0.00795775, az = 1, L c z = 5 , Lt = 10, χ = 10(A, B), νz = 1 (C)

3.5 Computer simulation results for 2D problem at using adaptive ABCs

Now we consider the 2D problem (1)–(3), (4′) with corresponding boundary and initial conditions and apply the developed adaptive ABCs:
k ( x , t ) z num = Im z 0 z 1 A * ( x , z , t ) A ( x , z , t ) z dz z 0 z 1 | A ( x , z , t ) | 2 dz , ()
at its numerical solution. Let us discuss the process of the pulse intensity evolution shown in Figure 12. According to the scheme depicted in Figure 1, the laser pulse propagates in the positive direction along z-coordinate. Its part is reflected from the laser-induced contrast structure's boundaries and propagates in the negative direction. In Figures 3 and 4 the same process is depicted, but those computations are done on an extremely extended domain [ L z l = 30 , L z r = 30 ] . Computation with the adaptive ABCs is provided on the significantly decreased domain [ L z l = 5 , L z r = 20 ] with the parameters similar to those in Figure 4. As shown in Figure 12, there is no spurious beam reflected from the left artificial boundary and computational time decreases essentially in comparison with those for the extended domain. Thus, we can state that developed adaptive ABCs are an effective tool for solving nonlinear problems stated in an unbounded domain.
Details are in the caption following the image
The reflected part of the pulse passing throw the left artificial boundary: evolution of the laser pulse intensity profile computed with adaptive ABCs (28) in moments of time t = 4 (A), 5 (B), 6 (C), 7 (D), 8 (E). Incident pulse presented in the form of Gaussian beam, χ = 10

4 CONCLUSIONS

We demonstrated that the longitudinal diffraction of a laser beam plays a fundamental role at the laser pulse propagation in a semiconductor under the occurrence of contrast structures of its characteristics. Its accounting leads to the appearance of the beam reflected from the boundaries of the laser-induced high absorption domain. We proved this statement by comparing the computer simulation results obtained for two mathematical models of the problem under consideration. Let us emphasize that the solving problem refers to the new field of nonlinear optics: nonlinear gradient optics.

The appearance of the beam reflected from the contrast structure boundaries requires the extension of a spatial domain size that is governed by the time interval. It results in a decrease in computational efficiency. Therefore, it is necessary to use ABCs. We demonstrated that ABCs with constant parameters are not effective if the beam undergoes strong diffraction. To overcome these disadvantages of ABCs for the Schrödinger equation, the adaptive those were proposed. Their efficiency is demonstrated both on the solution of the 1D linear Schrödinger equation and the 2D problem of the laser pulse propagation in a semiconductor.

The developed method has wide applications for solution of various laser physics problems which are governed by a set of equations containing Schrödinger one.

ACKNOWLEDGMENT

Maria Loginova and Vladimir Egorenkov are thankful for the financial support to the Russian Science Foundation (Grant No. 19-11-00113).

    Biographies

    • Vyacheslav Trofimov is a Professor at the South China University of Technology, Guangzhou, China. He received his PhD in Physics and Mathematics (with specialization in laser physics) in 1983 and Dr. Sc. in Physics and Mathematics (with specialization in Applied Mathematics) in 1995 from Lomonosov Moscow State University. Prof. Trofimov's research areas are mathematical models in physics, numerical methods, conservative finite-difference schemes, nonlinear optics and photonics, optical switching, terahertz spectroscopy and 3D printing. He has published over 600 research articles, most of them in high-rank international journals. Prof. Trofimov participated in more than 250 Russian and international conferences and was a member of scientific committees of 20 international conferences.

    • Maria Loginova received PhD in Physics and Mathematics (with specialization in mathematical modeling) in 2005 from Lomonosov Moscow State University. She is currently a scientific researcher in the faculty of Computational Mathematics and Cybernetics at Lomonosov Moscow State University. Her research interests are mathematical modeling of semiconductor plasma generation, optical bistability, and numerical methods for solving nonlinear PDEs. Dr. Loginova has more than 60 scientific publications including articles in high-rank international journals. She regularly participates in international conferences as a speaker.

    • Vladimir Egorenkov received a mathematics specialist degree from Lomonosov Moscow State University in 2014. He is currently working towards his PhD degree in Physics and Mathematics and is a predoctoral researcher in the faculty of Computational Mathematics and Cybernetics at Lomonosov Moscow State University. His research interest is the development of conservative finite-difference schemes for computer modeling of laser pulse interaction with the nonlinear medium. He has more the 30 scientific publications, among them 13 journal articles.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.