Solutions of the Two-Wave Interactions in Quadratic Nonlinear Media

Abstract

In this paper, we propose a reliable treatment for studying the two-wave (symbiotic) solitons of interactions in nonlinear quadratic media. We investigate the Schauder’s fixed point theorem for proving the existence theorem. Additionally, the uniqueness solution for this system is proved. Also, a highly accurate approximate solution is presented via an iteration algorithm.

1. Introduction

In the simplest case of type-I second harmonic generation (SHG) without walk-off between harmonic waves soliton evolution is described by the normalized system [1,2,3,4,5,6]:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill i\frac{\partial \phi }{\partial z}+r\frac{{\partial }^2\phi }{\partial x^2}-\phi +{\phi }^{*}\psi & =& 0,\hfill \\ \hfill i\sigma \frac{\partial \psi }{\partial z}+s\frac{{\partial }^2\psi }{\partial x^2}-\alpha \psi +\frac{1}{2}{\phi }^2& =& 0,\hfill \end{array}\right.\end{array}$$

(1)

where $\alpha$ is the rescaled soliton parameter and satisfies $\alpha =\sigma (2\beta +\lambda )/\beta ,$ the dimensionless parameter $\beta$ is the normalized nonlinearity-induced shift to the propagation constant of the fundamental harmonic wave, $\sigma$ and $\lambda$ are the coefficient and phase mismatch parameter, respectively. This system represents the generic model of ${\chi }^2$ solitons. There are other types of normalization also used in the literature see e.g., [7,8,9]. The solutions of this system have been discussed for one dimensional in [3,4,5,10,11,12,13] and multi-dimensional cases in [14]. Under suitable assumptions, the problem of the two-wave (symbiotic) solitons can be reduced to the solution of the following coupled system [1,2,3,4,6,13,15]

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill r\frac{d^2\phi }{d{x}^2}-\phi +\phi \psi & =& 0,\hfill \\ \hfill s\frac{d^2\psi }{d{x}^2}-\alpha \psi +\frac{1}{2}{\phi }^2& =& 0,\hfill \end{array}\right.\end{array}$$

(2)

The properties of solitons described by system (2) are well known see [3,4,5], where the authors Buryak and Kivshar [3,4,5] looked for stationary (i.e., z-independent) localized solutions of the normalized system in the form of an asymptotic series in the parameter ${\alpha }^{-1}$ and found the real functions $\phi \left(x\right)$ and $\psi \left(x\right)$ in the form of asymptotic series:

$$\varphi \left(x\right)=2{\alpha }^{\frac{1}{2}}sech\left(x\right)+4s{\alpha }^{-\frac{1}{2}}{tanh}^2\left(x\right)sech\left(x\right)+\dots ,$$

(3)

$$\psi \left(x\right)=2{sech}^2\left(x\right)+s{\alpha }^{-1}\left(16{sech}^2\left(x\right)-20{sech}^4\left(x\right)\right)+\dots ,$$

(4)

for bright solitons at $r=+1,$ and

$$\varphi \left(\tau \right)=\sqrt{2}{\alpha }^{\frac{1}{2}}tanh\left(\tau \right)\sqrt{2}s{\alpha }^{-\frac{1}{2}}\left(\tau {sech}^2\left(\tau \right)-tanh\left(\tau \right){sech}^2\left(\tau \right)\right)+\dots ,$$

(5)

$$\psi \left(x\right)={tanh}^2\left(\tau \right)+s{\alpha }^{-\frac{1}{2}}\left(2\tau tanh\left(\tau \right){sech}^2\left(\tau \right)-4{sech}^2\left(\tau \right)+5{sech}^4\left(\tau \right)\right)+\dots ,$$

(6)

where $\tau =\frac{x}{\sqrt{2}},$ for dark solitons at $r=-1.$

Exact solutions of system (2) have been found at $\alpha =1$ for $r=s=1,$ $r=s=-1$ and $r=-s=-1$ in [10,13]. Another solution of (2) in the case $r=1,$$s=-1$ and $\alpha =2$ is provided in an explicit analytical form [11]. Also, different analytical approximation methods have been proposed to deal with the system (2). For example, an accurate approximate solution with the help of the variational method is obtained in [13] and a family of bright (dark) solitons for $s=r=1,s=-r=1$ and $\alpha >0$ was also discussed in [15] using the numerical shooting and relaxation techniques.

Recently, the authors [16] studied this coupled system subject to the following boundary conditions:

$$\varphi \left(l_1\right)=\varphi \left(l_2\right)=0\mathrm{and}\psi \left(l_1\right)=\psi \left(l_2\right)=0$$

(7)

and showed that the solutions of this system could be obtained numerically using the Green’s function method.

Since the exact analytical solutions of Equation (2) cannot be found for arbitrary values of $\alpha ,$ then the purpose of this work is to present a result of the existence and uniqueness of solutions. Also, an exact implicit solution is derived using a useful procedure at $\alpha =1.$ Thus, the paper is organized as follows: in Section 2, we investigate the existence and uniqueness theorem of the two-wave solitons in quadratic media, where the problem is formulated in the context of two nonlinear coupled differential equations in one dimension. Then, in Section 3, we solve the coupled system by an appropriate technique with suitable boundary conditions. A systematic numerical procedure is proposed in Section 4. Finally, we conclude with some remarks in Section 5.

2. An Existence and Uniqueness Theorem

Rewrite (2) in the following system

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \frac{d^2\phi }{d{x}^2}& =& f_1(\phi ,\psi ),\hfill \\ \hfill \frac{d^2\psi }{d{x}^2}& =& f_2(\phi ,\psi ),\hfill \end{array}\right.\end{array}$$

(8)

where $f_i:[l_1,l_2]\times \mathbb{R}\times \mathbb{R}⟶\mathbb{R},i=1,2$ are defined by $f_1(\phi ,\psi )=\frac{1}{r}(\phi -\phi \psi )$ and $f_2(\phi ,\psi )=\frac{1}{s}(\alpha \psi -\frac{1}{2}{\phi }^2).$

Existence-In this section, we shall deal with the existence of solutions of the BVP (2) with (7). First off all, we shall prove the following lemmas, which are useful tools in the proof of the existence and uniqueness theorem.

Lemma 1.

If we assume that $\phi ,\psi$ $\in \mathbb{C}[l_1,l_2],l_2>l_1.$ Then, the functions $f_i(\phi ,\psi ),i=1,2$ are Lipschitz continuous functions of φ and $\psi .$

Proof. 

From the definition of $f_i(\phi ,\psi ),$ we have

$$\begin{array}{c}\hfill \mid f_1({\phi }_1,{\psi }_1)-f_1({\phi }_2,{\psi }_2)\mid =\frac{1}{\mid r\mid }\mid ({\phi }_1-{\varphi }_2)+{\psi }_2({\phi }_2-{\phi }_1)+{\phi }_1({\psi }_2-{\psi }_1)\mid .\end{array}$$

(9)

Since ${\phi }_i,{\psi }_i$$\in \mathbb{C}[l_1,l_2],$ then there exist $M_i,M_i^{*}>0,i=1,2$ such that $\mid {\phi }_i\left(x\right)\mid \le M_i$ and $\mid {\psi }_i\left(x\right)\mid \le M_i^{*},M_i,M_i^{*}>0,i=1,2$ for all $x\in [l_1,l_2].$

$$\begin{array}{c}\hfill \mid f_1({\phi }_1,{\psi }_1)-f_1({\phi }_2,{\psi }_2)\mid \le \frac{1}{\mid r\mid }\left[\mid {\phi }_2-{\phi }_1\mid +M_2^{*}\mid {\phi }_2-{\phi }_1\mid +M_1\mid {\psi }_2-{\psi }_1\mid \right].\end{array}$$

(10)

Hence,

$$\begin{array}{c}\hfill \mid f_1({\phi }_1,{\psi }_1)-f_1({\phi }_2,{\psi }_2)\mid \le L_{1,1}\mid {\phi }_2-{\phi }_1\mid +L_{1,2}\mid {\psi }_2-{\psi }_1\mid .\end{array}$$

(11)

Similarly, we obtain

$$\begin{array}{c}\hfill \mid f_2({\phi }_1,{\psi }_1)-f_2({\phi }_2,{\psi }_2)\mid \le L_{2,1}\mid {\phi }_2-{\phi }_1\mid +L_{2,2}\mid {\psi }_2-{\psi }_1\mid ,\end{array}$$

(12)

where $L_{1,1}=\frac{1}{\mid r\mid }(1+M_2^{*}),$ $L_{1,2}=\frac{M_1}{\mid r\mid },$$L_{2,1}=\frac{M_1+M_2}{2\mid s\mid }$ and $L_{2,2}=\frac{\alpha }{\mid s\mid }$. □

Lemma 2.

(See pp. 70–71 [17]). Let $g:[a,b]\to \mathbb{R}$ be a continuous function. The unique solution u of the following boundary value problem

$$u^{\prime \prime }=g\left(x\right)$$

(13)

subject to the Dirichlet boundary conditions $u\left(a\right)=u\left(b\right)=0$ is given by

$$u\left(x\right)={\int }_a^{b}G(x,y)g\left(y\right)dy,$$

(14)

where $G(x,y)$ is the Green function given by

$$\begin{array}{c}\hfill G(x,y)=\left\{\begin{array}{c}\hfill \frac{1}{b-a}(x-a)(b-y),a\le x\le y\le b,\\ \hfill \frac{1}{b-a}(y-a)(b-x),a\le y\le x\le b\end{array}\right.\end{array}$$

(15)

and ${\int }_a^b\mid G(x,y)\mid dy\le \frac{{(b-a)}^2}{8}.$

Replacing $g\left(x\right),$ a and b by $f_i(\phi ,\psi ),$ $l_1$ and $l_2$ in Lemma 2, respectively, we obtain an equivalent integral system

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \phi \left(x\right)& =& {\int }_{l_1}^{l_2}G(x,s)f_1(\phi \left(s\right),\psi \left(s\right))ds,x\in [l_1,l_2],\hfill \\ \hfill \psi \left(x\right)& =& {\int }_{l_1}^{l_2}G(x,s)f_2(\phi \left(s\right),\psi \left(s\right))ds,x\in [l_1,l_2].\hfill \end{array}\right.\end{array}$$

(16)

Define the Banach space $\mathbb{X}=\mathbb{C}[l_1,l_2]$ with norm $\parallel (\phi ,\psi )\parallel =\parallel \phi \parallel +\parallel \psi \parallel ,$ where $\parallel u\parallel ={max}_{l_1\le x\le l_2}\mid u\left(x\right)\mid$ and the operator $T:\mathbb{X}⟶\mathbb{X}$ by $T(\phi ,\psi )=\left(T_1(\phi ,\psi ),T_2(\phi ,\psi )\right),$ where

$$T_1(\phi ,\psi )={\int }_{l_1}^{l_2}G(x,s)f_1(\phi \left(s\right),\psi \left(s\right))ds$$

(17)

and

$$T_2(\phi ,\psi )={\int }_{l_1}^{l_2}G(x,s)f_2(\phi \left(s\right),\psi \left(s\right))ds.$$

(18)

Since $\mid \phi \left(x\right)\mid \le M$ and $\mid \psi \left(x\right)\mid \le M^{*},x\in [l_1,l_2],$ consider the closed and convex set

$$\begin{array}{c}\hfill \mathbb{S}=\left\{(\phi ,\psi )\in \mathbb{X}:\parallel (\phi ,\psi )\parallel \le M+M^{*}\right\}.\end{array}$$

(19)

Furthermore, assume that $l_2-l_1\le \sqrt[3]{\frac{8\mid rs\mid (M+M^{*})}{\mid s\mid (M+M{M}^{*})+\mid r\mid (\alpha M^{*}+\frac{M^2}{2})}}.$

In the theory of differential equations, there are a lot of methods to establish the existence of solutions. Theorems concerning the existence and properties of fixed points are known as fixed-point theorems. Such theorems are the most important tools for proving the existence and uniqueness of the solution. The fundamental theorem used in this theory is Schauder’ s theorem. In order to make use of this theorem, it is sufficient to prove the following lemma.

Lemma 3.

For any $(\phi ,\psi )\in \mathbb{S},$$T(\phi ,\psi )$ is contained in $\mathbb{S}.$

Proof. 

It follows by the definition of $T(\phi ,\psi )$ that

$$\mid T_1(\phi \left(x\right),\psi \left(x\right))\mid \le {\int }_{l_1}^{l_2}\mid G(x,s)\mid \mid f_1(\phi \left(s\right),\psi \left(s\right))\mid ds\le \frac{{(l_2-l_1)}^3}{8\mid r\mid }(M+M{M}^{*}),$$

(20)

$$\mid T_2(\phi \left(x\right),\psi \left(x\right))\mid \le {\int }_{l_1}^{l_2}\mid G(x,s)\mid \mid f_2(\phi \left(s\right),\psi \left(s\right))\mid ds\le \frac{{(l_2-l_1)}^3}{8\mid s\mid }(\alpha M^{*}+\frac{M^2}{2}).$$

(21)

Thus

$$\mid T(\phi \left(x\right),\psi \left(x\right))\mid \le \frac{{(l_2-l_1)}^3}{8}\left[\frac{M+M{M}^{*}}{\mid r\mid }+\frac{\alpha M^{*}+\frac{M^2}{2}}{\mid s\mid }\right].$$

(22)

Since $l_2-l_1$ is defined by the above condition, thus $\mid T(\phi \left(x\right),\psi \left(x\right))\mid \le M+M^{*}.$ On account of the continuity of $f_i(\phi \left(x\right),\psi \left(x\right)),$$\phi$ and $\psi ,$ it follows that $T\left(\phi \right(x),\psi (x\left)\right)$ is continuous. This shows that $T\left(\phi \right(x),\psi (x\left)\right)$ is also contained in $\mathbb{S}.$ □

In order to prove that $T\left(\phi \right(x),\psi (x\left)\right)$ is equicontinuous, it is easy to see from its definition that

$$\mid T(\phi \left(x\right),\psi \left(x\right))-T(\phi \left(x^{\prime }\right),\psi \left(x^{\prime }\right))\mid \le K\mid x-x^{\prime }\mid ,\mathrm{for}\mathrm{any}x,x^{\prime }\in [l_1,l_2].$$

(23)

where $K=\frac{{(l_2-l_1)}^2}{8}\left[\frac{M+M{M}^{*}}{\mid r\mid }+\frac{\alpha M^{*}+\frac{M^2}{2}}{\mid s\mid }\right].$

Therefore T is compact by the classical Ascoli lemma, and Schauder’s fixed point theorem yield the fixed point of $T.$ Thus, we have proved:

Theorem 1.

There exists a continuous solution $(\phi ,\psi )$ which satisfies system Equations (2) and (7) with the condition on $l_1$ and $l_2.$

Uniqueness-A uniqueness theorem can also be obtained from the Lipschitz continuous in $\phi$ and $\psi .$

Theorem 2.

If $max\left(max(L_{1,1},L_{2,1}),max(L_{1,2},L_{2,2})\right)<\frac{8}{{(l_2-l_1)}^2},$ then the system Equation (2) with (7) has a unique solution $\left(\phi \right(x),\psi (x\left)\right).$

Proof. 

Let $({\phi }_1,{\psi }_1)$ and $({\phi }_2,{\psi }_2)$ be two solutions of (2)–(7). Then, for $x\in [l_1,l_2],$

$$\mid {\phi }_2-{\phi }_1\mid \le \frac{{(l_2-l_1)}^2}{8}\left[L_{1,1}\underset{l_1\le x\le l_2}{max}\mid {\phi }_2\left(x\right)-{\phi }_1\left(x\right)\mid +L_{1,2}\underset{l_1\le x\le l_2}{max}\mid {\psi }_2\left(x\right)-{\psi }_1\left(x\right)\mid \right],$$

(24)

$$\mid {\psi }_2-{\psi }_1\mid \le \frac{{(l_2-l_1)}^2}{8}\left[L_{2,1}\underset{l_1\le x\le l_2}{max}\mid {\phi }_2\left(x\right)-{\phi }_1\left(x\right)\mid +L_{2,2}\underset{l_1\le x\le l_2}{max}\mid {\psi }_2\left(x\right)-{\psi }_1\left(x\right)\mid \right].$$

(25)

Consequently,

$$\parallel {\phi }_2-{\phi }_1\parallel +\parallel {\psi }_2-{\psi }_1\parallel \le A\left[\parallel {\phi }_2-{\phi }_1\parallel +\parallel {\psi }_2-{\psi }_1\parallel \right],$$

(26)

where $A=\frac{{(l_2-l_1)}^2}{8}max\left(max(L_{1,1},L_{2,1}),max(L_{1,2},L_{2,2})\right).$ We now apply the condition $A<1$ to this inequality, we get $\parallel {\phi }_2-{\phi }_1\parallel =0$ and $\parallel {\psi }_2-{\psi }_1\parallel =0.$ Therefore $({\phi }_1,{\psi }_1)=({\phi }_2,{\psi }_2).$ □

The proof is complete.

3. On the Decoupling of the System (2)

In this section, first of all, we are concerned with the norms estimate for the functions $\phi$ and $\psi$ when $r=s=1.$

Lemma 4.

Let φ and ψ be two functions in ${\mathbb{L}}_2\left(I\right),$ where $I=[l_1,l_2].$ Then

$$\begin{array}{c}\hfill \left\{\begin{array}{c}\hfill {\parallel \phi \parallel }_1<\sqrt{2}{\parallel \psi \parallel }_1,if\alpha <1,\\ \hfill {\parallel \phi \parallel }_1=\sqrt{2}{\parallel \psi \parallel }_1,if\alpha =1,\\ \hfill {\parallel \phi \parallel }_1>\sqrt{2}{\parallel \psi \parallel }_1,if\alpha >1,\end{array}\right.\end{array}$$

(27)

where ${\parallel .\parallel }_1$ is the norm defined in the Sobolev space ${\mathbb{H}}_0^1\left(I\right)$ by

$$\begin{array}{c}\hfill {\parallel u\parallel }_1^2={\int }_{l_1}^{l_2}\left(u^2\left(x\right)+u^{\prime 2}\left(x\right)\right)dx,withu\left(l_1\right)=u\left(l_2\right)=0.\end{array}$$

(28)

Proof. 

Multiplying both sides of the first equation of system (2) by $\phi$ and integrating from $l_1$ to $l_2,$ we obtain

$${\int }_{l_1}^{l_2}{\phi }^{\prime \prime }\left(x\right)\phi \left(x\right)dx-{\int }_{l_1}^{l_2}{\phi }^2\left(x\right)dx+{\int }_{l_1}^{l_2}\psi \left(x\right){\phi }^2\left(x\right)=0.$$

(29)

From the second equation of system (2), we have

$${\phi }^2=-2\frac{d^2\psi }{d{x}^2}+2\alpha \psi .$$

(30)

By substitution into the last term of (29), we obtain

$${\int }_{l_1}^{l_2}{\phi }^{\prime \prime }\left(x\right)\phi \left(x\right)dx-{\int }_{l_1}^{l_2}{\phi }^2\left(x\right)dx-2{\int }_{l_1}^{l_2}{\psi }^{\prime \prime }\left(x\right)\psi \left(x\right)dx+2\alpha {\int }_{l_1}^{l_2}{\psi }^2\left(x\right)dx=0.$$

(31)

Integrating by parts and taking into account the given boundary conditions, we obtain

$${\int }_{l_1}^{l_2}{\phi }^2\left(x\right)dx+{\int }_{l_1}^{l_2}{\phi }^{\prime 2}\left(x\right)dx=2\alpha {\int }_{l_1}^{l_2}{\psi }^2\left(x\right)dx+2{\int }_{l_1}^{l_2}{\psi }^{\prime 2}\left(x\right)dx.$$

(32)

This gives (27). □

Let us now consider the case $\alpha =1$ [6,10,13] and in view of Lemma 6 if $\phi \left(x\right)=\sqrt{2}\psi \left(x\right),$ then it may be shown that the two equations of system (2) can be separated into the following nonlinear equation

$${\psi }^{\prime \prime }\left(x\right)-\psi \left(x\right)+{\psi }^2\left(x\right)=0.$$

(33)

The exact solution to Equation (33) follows by simply multiplying both sides of Equation (33) by ${\psi }^{\prime }.$

$$\begin{array}{c}\hfill {\psi }^{\prime }{\psi }^{\prime \prime }-\psi {\psi }^{\prime }+{\psi }^2=0,\end{array}$$

(34)

which can be written as follows

$$\begin{array}{c}\hfill \frac{1}{2}\frac{d}{dx}{\left({\psi }^{\prime }\right)}^2-\frac{1}{2}\frac{d}{dx}{\left(\psi \right)}^2+\frac{1}{3}\frac{d}{dx}{\left(\psi \right)}^3=0.\end{array}$$

(35)

and integrating with respect to $x,$ we obtain

$$\begin{array}{c}\hfill {\left({\psi }^{\prime }\right)}^2-{\psi }^2+\frac{2}{3}{\psi }^3=c_1,\end{array}$$

(36)

where $c_1$ is an arbitrary constant of integration. Thus

$$\begin{array}{c}\hfill {\psi }^{\prime }=\pm \sqrt{{\psi }^2-\frac{2}{3}{\psi }^3+c_1}.\end{array}$$

(37)

In view of ${\psi }^{\prime }\left(x\right)=\frac{d\psi }{dx},$ we have

$$\pm \frac{d\psi }{\sqrt{{\psi }^2-\frac{2}{3}{\psi }^3+c_1}}=dx.$$

(38)

Consequently,

$$\pm \int \frac{d\psi }{\sqrt{{\psi }^2-\frac{2}{3}{\psi }^3+c_1}}=x+c_2,$$

(39)

where $c_2$ is also a constant of integration.

The LHS of Equation (39) can be evaluated direct from the integrals of irrational functions. Indeed, if we choose $c_1=0,$ then

$$\begin{array}{c}\hfill \int \frac{d\psi }{\sqrt{{\psi }^2-\frac{2}{3}{\psi }^3}}=\mp 2{tanh}^{-1}\left(\sqrt{1-\frac{2}{3}\psi }\right)=x+c_2.\end{array}$$

(40)

Since ${tanh}^2(\mp x)={tanh}^2\left(x\right).$ Hence, a simple computation leads to the implicit solution

$$\begin{array}{c}\hfill (\phi ,\psi )=\left(\frac{3}{2}\left(1-{tanh}^2(\frac{1}{2}(x+c_2))\right),\frac{3}{\sqrt{2}}\left(1-{tanh}^2(\frac{1}{2}(x+c_2))\right)\right).\end{array}$$

(41)

Thus, we have

Lemma 5.

The system (2) can be decoupled without increase the order of the system into the nonlinear Equation (33) when $\alpha =1.$ Furthermore, the solution $(\phi ,\psi )$ is given by (41).

In Figure 1, we display the variation of the exact solutions Equation (41) in terms of the independent variables x for different values of the constant of integration $c_2$ (Equation (39)). it can be seen that this constant of integration shifted left or right the distribution away from the origin with negative or positive values of $c_2,$ respectively. Also, it does not affect the behavior of the solutions, and the maximum value of the solution remains unchanged. Thus it can be chosen $c_2=0.$

4. Numerical Analysis

An integral system equivalent to Equation (2) with Equation (7) can be derived. Indeed, integrating (2) twice from $l_1$ to x and taking into account the boundary conditions $\phi \left(l_1\right)=\psi \left(l_1\right)=0,$ we obtain

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \phi & =& \beta (x-l_1)+{\int }_{l_1}^x{\int }_{l_1}^y{f}_1(\phi \left(s\right),\psi \left(s\right))dsdy,\hfill \\ \hfill \psi & =& \gamma (x-l_1)+{\int }_{l_1}^x{\int }_{l_1}^y{f}_2(\phi \left(s\right),\psi \left(s\right))dsdy,\hfill \end{array}\right.\end{array}$$

(42)

where $\beta ={\phi }^{\prime }\left(l_1\right)$ and $\gamma ={\psi }^{\prime }\left(l_1\right)$ are unknown constants to be determined from the second boundary conditions $\phi \left(l_2\right)=\psi \left(l_2\right)=0.$

We now construct a sequence of approximation of the solution that converges to the solution. The components $({\phi }_n,{\psi }_n)$ can be elegantly determined by setting the recursion scheme

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill {\phi }_0& =& \beta (x-l_1),{\psi }_0=\gamma (x-l_1),\hfill \\ \hfill {\phi }_n& =& {\phi }_0+{\int }_{l_1}^x{\int }_{l_1}^y{f}_1({\phi }_{n-1}\left(s\right),{\psi }_{n-1}\left(s\right))dsdy,n\ge 1,\hfill \\ \hfill {\psi }_n& =& {\psi }_0+{\int }_{l_1}^x{\int }_{l_1}^y{f}_2({\phi }_{n-1}\left(s\right),{\psi }_{n-1}\left(s\right))dsdy.n\ge 1.\hfill \end{array}\right.\end{array}$$

(43)

Theorem 3.

The sequence $({\phi }_n,{\psi }_n)$ defined by (43) converges uniformly on I to the unique solution $(\phi ,\psi )$.

Proof. 

We shall construct an upper bound for $\mid ({\phi }_{n+1},{\psi }_{n+1})-({\phi }_n,{\psi }_n)\mid$ by induction.

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \mid {\phi }_1-{\phi }_0\mid & =& {\int }_{l_1}^x{\int }_{l_1}^y{f}_1({\phi }_0\left(s\right),{\psi }_0\left(s\right))dsdy\le K_1\frac{{(x-l_1)}^2}{2!},\hfill \\ \hfill \mid {\psi }_1-{\psi }_0\mid & =& {\int }_{l_1}^x{\int }_{l_1}^y{f}_1({\phi }_0\left(s\right),{\psi }_0\left(s\right))dsdy\le K_2\frac{{(x-l_1)}^2}{2!},\hfill \end{array}\right.\end{array}$$

(44)

where $K_1=\frac{M+M{M}^{*}}{\mid r\mid }$ and $K_2=\frac{\alpha M^{*}+\frac{M^2}{2}}{\mid s\mid }.$ Proceeding in the same manner, we obtain by induction

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \mid {\phi }_{n+1}-{\phi }_n\mid & \le & K_1^{n+1}\frac{{(x-l_1)}^{n+2}}{(n+2)!},\hfill \\ \hfill \mid {\psi }_{n+1}-{\psi }_n\mid & \le & K_2^{n+1}\frac{{(x-l_1)}^{n+2}}{(n+2)!}.\hfill \end{array}\right.\end{array}$$

(45)

The two series ${\sum }_{n=0}^{\infty }{K}_1^{n+1}\frac{{(x-l_1)}^{n+2}}{(n+2)!}$ and ${\sum }_{n=0}^{\infty }{K}_2^{n+1}\frac{{(x-l_1)}^{n+2}}{(n+2)!}$ are absolutely convergent series. Moreover, these series dominate the two series ${\sum }_{n=0}^{\infty }[{\phi }_{n+1}-{\phi }_n]$ and ${\sum }_{n=0}^{\infty }[{\psi }_{n+1}-{\psi }_n].$ Hence, by the Weierstrass test, the last two infinite series converge absolutely and uniformly on $I.$ If we consider the $m-th$ partial sum of these series, we see that ${\sum }_{n=0}^m[{\phi }_{n+1}-{\phi }_n]={\phi }_{m+1}-{\phi }_0$ and ${\sum }_{n=0}^m[{\psi }_{n+1}-{\psi }_n]={\psi }_{m+1}-{\psi }_0,$ that is, $({\phi }_n,{\psi }_n)$ converges absolutely and uniformly on $I.$ If we now define $(\phi ,\psi )={lim}_{n\to \infty }({\phi }_n,{\psi }_n),$ then taking the limit as $n\to \infty ,$ we obtain

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \phi & =& \beta (x-l_1)+{\int }_{l_1}^x{\int }_{l_1}^y{f}_1(\phi \left(s\right),\psi \left(s\right))dsdy,\hfill \\ \hfill \psi & =& \gamma (x-l_1)+{\int }_{l_1}^x{\int }_{l_1}^y{f}_2(\phi \left(s\right),\psi \left(s\right))dsdy.\hfill \end{array}\right.\end{array}$$

(46)

It follows that upon differentiation of this system that $(\phi ,\psi )$ is the solution of Equation (2). Furthermore, it is clear that $\phi \left(l_i\right)=\psi \left(l_i\right)=0,i=1,2.$ □

In view of (43), the numerical solutions are then given by

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \phi & =& \beta (x-l_1)+\frac{1}{r}\left[\beta \frac{{(x-l_1)}^3}{3!}-\beta \gamma \frac{{(x-l_1)}^4}{4!}\right]+\dots ,\hfill \\ \hfill \psi & =& \gamma (x-l_1)+\frac{1}{s}\left[\alpha \gamma \frac{{(x-l_1)}^3}{3!}-\frac{{\beta }^2}{2}\frac{{(x-l_1)}^4}{4!}\right]+\dots .\hfill \end{array}\right.\end{array}$$

(47)

If we match $({\phi }_1,{\psi }_1)$ at $x=l_2,$ then we need to solve

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill \beta (l_2-l_1)+\frac{1}{r}\left[\beta \frac{{(l_2-l_1)}^3}{3!}-\beta \gamma \frac{{(l_2-l_1)}^4}{4!}\right]& =& 0,\hfill \\ \hfill \gamma (l_2-l_1)+\frac{1}{s}\left[\alpha \gamma \frac{{(l_2-l_1)}^3}{3!}-\frac{{\beta }^2}{2}\frac{{(l_2-l_1)}^4}{4!}\right]& =& 0,\hfill \end{array}\right.\end{array}$$

(48)

we obtain $\beta =\sqrt{{\displaystyle \frac{2{(4!)}^{2}rs[1+\frac{{(l_2-l_1)}^2}{3!s}][1+\alpha \frac{{(l_2-l_1)}^2}{3!s}]}{{(l_2-l_1)}^6}}}$ and $\gamma ={\displaystyle \frac{4!r[1+\frac{{(l_2-l_1)}^2}{3!r}]}{{(l_2-l_1)}^3}}.$

In Figure 2, we present the variation of the numerical solutions Equation (47) against of the independent variables x for different values of the rescaled soliton parameter $\alpha$.

Now if we insert the solutions of Equation (47) in the second member of Equation (43) and performing the integrals, then using the boundary condition for $({\phi }_2,{\psi }_2)$ at $x=l_2,$ we can obtain the second solutions ${\phi }_2$ and ${\psi }_2$. As the mathematical expressions are more cumbersome, we plot the numerical solutions in Figure 3. It is clear from these plots that when we increase the order of the recurrence, the numerical solutions converge rapidly to the exact solutions.

5. Conclusions

This paper is concerned with the treatment of the interaction of two-wave solitons in nonlinear quadratic media. These kinds of problems appear in different applications of nonlinear physics and play a crucial role in the stability problems of solitary waves. The problem is presented within the framework of two coupled nonlinear differential equations, which can be solved numerically with specific boundary conditions. But the generalization to any type of boundary condition constitutes a great challenge.

With concordance to real physical problems, the boundary conditions can be chosen properly. Thus, within this framework, we have proved a theorem of existence and uniqueness for the two-wave solitons in nonlinear quadratic media. Furthermore, we have suggested a useful technique of separation of the coupled system, and we have revealed that the formalism leads to analytic solutions.

Moreover, we have explored an interesting numerical technique, and we have used it to obtain the numerical solutions of the coupled system with suitable boundary conditions. The obtained results are in good agreement with those analytically achieved.

These crucial results open a novel class of investigations, which involve solitary waves with more coupled differential equations and more coupling terms. Some other examples of two or more-coupled solitary waves can be treated with the proposed techniques, and the results will be reported elsewhere.