Abstract
In this paper, we study a solutions existence problem of the following nonlinear singular Burgers equation
where \(F: \Omega \rightarrow \mathcal {C}([0,\pi ]\times [0,\infty ))\), \(\Omega = \mathcal {C}^{2}([0,\pi ]\times [0,\infty ))\times \mathbb {R}\), \(u(0,t)=u(\pi ,t) =0\), \(u(x,0)=g(x)\), and F, f(x, t), g(x) will be describe in the text. The first derivative of operator F at the solution point is degenerate. By virtue of p-regularity theory and Michael selection theorem, we prove the existence of continuous solution for this nonlinear problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is a continuation of the work by Medak and Tret’yakov [4, 9] devoted to solutions existence problem of singular differential equations. Now we study the structure of solutions of nonlinear Burgers equation of the form:
where \(F: \Omega \rightarrow \mathcal {C}([0,\pi ]\times [0,\infty ))\), \(\Omega = \mathcal {C}^{2}([0,\pi ]\times [0,\infty ))\times \mathbb {R}\) and \(u(0,t) =u(\pi ,t)=0\), \(u(x,0)=g(x)\) for \(F\in \mathcal {C}^{p+1}\), \(f(x,t)\in \mathcal {C}([0,\pi ]\times [0,\infty ))\), \(g(x) \in \mathcal {C}^{2}[0,\pi ]\). In our paper, we consider the most interesting for applications periodical case \(g(x)=k\sin x\), so called the oscillating initial condition with small parameter \(\varepsilon \). The aim of our study will be to find such k that depends on \(\varepsilon \), so that the above problem has a solution in the neighborhood of trivial solution \((u^{*},\varepsilon ^{*})=(0,0)\) to which corresponds \(k=k^{*}=0\) and give analytic approximation of this solution with the initial condition \(g(x)=k \sin x\) for small parameter \(\varepsilon \).
Now we are looking for the solution u(x, t) to (1) in a traditional way by the method of separation of variable in the form \(u(x,t)=\bar{v}(t)\bar{u}(x)\), where \(\bar{v}(t)=ce^{-t}\), \(\bar{u}(x) \in \mathcal {C}^{2}([0,\pi ]) \). In this case, this is a degenerate problem since there exists \((u^{*},\varepsilon ^{*})=(0,0)\) such that \({\mathrm {Im}}F'_{u}(u^{*},\varepsilon ^{*})\ne Z=\mathcal {C}([0,\pi ]\times [0,\infty ))\) (more careful explanation see in Sect. 4). We apply to it the p-regularity theory [6, 7, 14, 15] and examine 3-regularity. For our purposes, 3-regularity on selected elements is enough.
The problems of the form \(F(u,\varepsilon )=0\), where \(F:U \times M \rightarrow Z\) is a sufficiently smooth nonlinear mapping from a Banach space \(U\times M\) to a Banach space Z, we separate into two classes, called regular and irregular. Roughly speaking, regular problems are those to which implicit function theorem arguments can be applied and the irregular ones are those to which it cannot, at least not directly.
The basis for our practical applications will be the following analogue of Lyusternik theorem on tangent cone (see [10]).
Theorem 1
Let \(F(v,y) \in C^{p+1}(U\times M)\), \(F:U \times M \rightarrow Z\), where M is finite-dimensional space, and U and Z are Banach spaces. Let the mappings \(F_{i}(v, y)\), \(i=1, \ldots , p\) be defined by (8). Assume that \(F(v^{*},y^{*})=0\) and \(\forall \bar{y} \in M, \Vert \bar{y}\Vert =1\), \((0,\bar{y})\in \bigcap _{k=1}^{p}\mathrm {{Ker}}^{k}F_{k}^{(k)}(v^{*},y^{*})\) and F is strongly p-regular with respect to M along every element \((0,\bar{y})\), \(\bar{y} \in M\), that is
(Here \(\{\cdot \}^{-1}\) denotes right inverse operator).
Then, there exists the continuous mapping \(v=v(y)\), \(y \in V_{\delta }(y^{*})\), where \(V_{\delta }(y^{*})\) is the neighborhood of \(y^{*}\), \(v(y) \in C(V_{\delta }(y^{*}))\), for sufficiently small \(\delta >0\) , such that \(F(v(y),y)=0\) and
where \(C>0\)—independent constant.
Above theorem is proved in [10]. This is an analogue of the Lyusternik theorem on the tangent cone, which concerns the existence of continuous solutions of the equation \(F(v,y)=0\), where \(F:U \times M \rightarrow Z\), M is finite-dimensional space, U, Z are Banach spaces and \(F(v,y) \in C^{p+1}(U \times M)\).
In its proof, we applied the Michael selection theorem (see [11]), which we provide in the modified form:
Theorem 2
Let U, Z—B-spaces, \(A \in L(U,Z)\), A is surjective. Then, there exists a continuous mapping \(N: Z \rightarrow U\), such that \(AN(z)=z\) and \(\Vert N(z)\Vert \le c\Vert z\Vert \), \(z\in Z\), where \(c>0\) is a constant independent of z.
Let us note that from the Banach theorem about surjective operator, we have \(\Vert A^{-1}\Vert \le K\) (see Definition 6).
Theorem 1 allows the important conclusion about existence solution to Burgers equation with respect to the boundary conditions. The existence of continuous solutions is interesting, because there are no many results connected with singular problems (see, for example, [1, 3, 5]).
2 Main constructions in p-regularity theory
In this section, we present some important definitions and theorems of p-regularity theory to be used in what follows [6, 7, 14, 15].
We are interested in the following nonlinear problem:
where the mapping \(F:W\times Y\rightarrow Z\) and W, Y and Z are Banach spaces.
Assume that for some point \((v^{*}, y^{*})\in W\times Y \), \({\mathrm {Im}}F'(v^{*}, y^{*})\ne Z\). Let
where \(Z_{1}= \mathrm {cl}( {\mathrm {Im}} F'(v^{*},y^{*}))\) and \(V_{1}=Z\). For \(V_{2}\), we use one of the closed complement of \(Z_{1}\) in Z (if such one there exists). Let \(P_{V_{2}}:Z\rightarrow V_{2}\) be the projector onto \(V_{2}\) along \(Z_{1}\). By \(Z_{2}\), we denote the closure of the linear span of the image of the quadratic mapping \(P_{V_{2}}F''(v^{*}, y^{*})[\cdot ]^{2}\). Then, inductively,
where \(V_{i}\) is a choice of closed complement of \(Z_{1}\oplus \cdots \oplus Z_{i-1}\), \(i=2,\ldots ,p\) with respect to Z, and \(P_{V_{i}}:Z\rightarrow V_{i}\) is a projector onto \(V_{i}\) along \(Z_{1}\oplus \cdots \oplus Z_{i-1}\), \(i=2,\ldots ,p\) with respect to Z. Finally, \(Z_{p}=V_{p}\). The order p is the minimal number (if it exists) for which the decomposition (6) holds.
In what follows, we will denote \(\varphi ^{(0)}=\varphi \) for any mapping \(\varphi \).
Define the following mappings:
where \(P_{Z_{i}}:Z\rightarrow Z_{i}\) is the projection operator onto \(Z_{i}\) along \(Z_{1}\oplus \cdots \oplus Z_{i-1}\oplus Z_{i+1}\oplus \cdots \oplus Z_{p}\). Then, the mapping F can be represented as:
or
Denote \(h=[h_{v},h_{y}]\), \(h_{v}\in W\), \(h_{y}\in Y\).
Definition 1
The linear operator \(\Psi _{p}=\Psi _{p}(h): W \times Y \rightarrow Z\), defined by
such that for any \(z=(v,y)\)
is called a p-factor operator depending of h or shortly a p-factor operator if it is clear from the context.
Definition 2
We say that F is completely degenerate at \((v^{*},y^{*})\) up to the order p if \(F^{(i)}(v^{*}, y^{*})=0\), \(i=1,\ldots ,p-1\).
Remark 1
In the completely degenerate case, the p-factor operator reduces to \(F^{(p)}(v^{*}, y^{*})[h]^{p-1}\).
Remark 2
For each mapping \(F_{i}\), we have ([6, p. 145])
Remark 3
For each mapping \(F_{i}\), we have in the completely degenerate case
This means that \(F_{i}^{(i)}(v^{*},y^{*})[h]^{i-1}\) are i-factor operators corresponding to completely degenerate mappings \(F_{i}\) up to order i. Therefore, the general degeneration of F can be reduced to the study of completely degenerated mappings \(F_{i}\), \(i=1,\ldots ,p\) and their compositions.
Let’s introduce the nonlinear operator \(\Psi _{p}[\cdot ]^{p}\) such that
We can see that \(\Psi _{p}[h]^{p}=\Psi _{p}(h)[h]\).
Definition 3
The p-kernel of the operator \(\Psi _{p}\) is a set
Note that the following relation holds:
The p-kernel of the operator \(F^{(p)}(v^{*},y^{*})\) in the completely degenerate case is a set
Definition 4
A mapping F is called p-regular at \((v^{*},y^{*})\) along h \((p>1)\) if \({\mathrm {Im}}\Psi _{p}(h)=Z\) (i.e., the operator \(\Psi _{p}(h)\) is surjective).
Definition 5
A mapping F is called p-regular at \((v^{*},y^{*})\) \((p>1)\) if it is p-regular along every \(h\in H_{p}(v^{*},y^{*})\backslash \{0\}\) or \(H_{p}(v^{*},y^{*})=\{0\}\).
Let \(A \in L(U,Z)\) and \(AU=Z\).
Let \(\{\cdot \}^{-1}\) denote right inverse operator, i.e.,
and
Obviously the operator \(\{\cdot \}^{-1}\) is multivalued.
Definition 6
Define
Definition 7
Let \(F:W\times Y \rightarrow Z= Z_{1}\oplus \cdots \oplus Z_{p}\). The mapping F(v, y) is called strongly p-regular at the point \((v^{*}, y^{*})\) if there exist \(\gamma >0\) and \(c>0\) such that
where
Define the solution set for the mapping F as the set
and let \(T_{(v^{*},y^{*})}S\) denote the tangent cone to the set S at the point \((v^{*},y^{*})\), i.e.,
The following theorems describe the tangent cone to the solution set of equation (5) in the p-regular case.
Theorem 3
Let W, Y and Z be the Banach spaces, and let the mapping \(F\in C^{p} (W\times Y,Z)\) be p-regular at \((v^{*},y^{*})\in W \times Y\) along h. Then, \(h \in T_{(v^{*},y^{*})}S\).
Theorem 4
(Generalized Lyusternik Theorem, [6]) Let W, Y and Z be the Banach spaces, and let the mapping \(F\in C^{p}(W\times Y,Z)\) be p-regular at \((v^{*},y^{*})\in W \times Y\). Then,
Let us explain that here (for Banach spaces U and Z) \(F\in C^{p}(U,Z)\) means that \(F:U\rightarrow Z\) is p times continuously Frechét differentiable.
The following Lemma will be important in the study of the surjectivity of p-factor operators.
Lemma 1
Suppose that \(Z=Z_{1}\oplus Z_{2}\), where \(Z_{1}\) and \(Z_{2}\) are closed subspaces in Z, \(A,B\in \mathcal {L}(U,Z)\), and \( {\mathrm {Im}} A=Z_{1}\). Let \(P_{2}\) also be the projection onto \(Z_{2}\) along \(Z_{1}\). Then, \((A+P_{2}B)U=Z\Leftrightarrow (P_{2}B){\mathrm {Ker}} A=Z_{2}\).
This lemma is a consequence of the following.
Lemma 2
Suppose that \(Z=Z_{1}\oplus Z_{2}\), where \(Z_{1}\) and \(Z_{2}\) are closed subspaces in Z, \(A_{1},A_{2}\in \mathcal {L}(U,Z)\), \(A_{1}U\subset Z_{1}\), and \(A_{2}U\subset Z_{2}\). Then, \((A_{1}+A_{2})U=Z\) iff \(A_{1}{\mathrm {Ker}} A_{2}=Z_{1}\) and \(A_{2}{\mathrm {Ker}} A_{1}=Z_{2}\).
The proof is obvious. Lemma 1 follows from Lemma 2 if we put \(A_{1}=A\) and \(A_{2}=P_{2}B\).
Lemma 3 is the generalization of lemma 1.
Lemma 3
[8] Let \(A_{1},A_{2},\ldots ,A_{p}\in \mathcal {L}(U,Z)\), \(Z=Z_{1}\oplus \cdots \oplus Z_{p}\). Let \({\mathrm {Im}} \Pi _{k}A_{k}=Z_{k}\), where \(\Pi _{k}:Z\rightarrow Z_{k}\) is a projection operator from the space Z onto \(Z_{k}\) along \(Z_{1}\oplus \cdots \oplus Z_{k-1}\oplus Z_{k+1}\oplus \cdots \oplus Z_{p}\), \(k=1,\ldots ,p\) and \(\Pi _{1}A_{1}=A_{1}\). Then
3 Auxiliary p-factor implicit function theorems
Now, we consider two theorems, which are the modification of analogical theorems in [6].
Theorem 5
(The p-order implicit function theorem for nontrivial p-kernel) Let W, Y and Z be Banach spaces, \(F \in C^{p+1}(W \times Y)\rightarrow Z\), \(F(v^{*},y^{*})=0\), \(F_{i}(v,y)\), \(i=1,\ldots , p\) be defined by (8) and the p-factor operator \(\Psi _{p}(h)\) be given by (11). Assume that there exists an element \(\bar{h} \in \bigcap _{r=1}^{p}{\mathrm {Ker}}^{r}F^{(r)}_{r_{v}}(v^{*}, y^{*})\), \(\Vert \bar{h}\Vert =1\) such that \({\mathrm {Im}}\Psi _{p}(\bar{h})=Z\), that is the mapping F is p-regular along the element \(\bar{h}\). Then for a sufficiently small \(\alpha > 0\), \(\nu >0\) and \(\delta =\alpha \nu ^{p}\) there exists the continuous mapping \(\varphi (y):U_{\delta }(y^{*})\rightarrow U_{\nu }(v^{*})\) and constant \(K>0\) such that the following hold:
-
1.
\(\varphi (y^{*})=v^{*}\);
-
2.
\(F(\varphi (y),y)=0\) for all \(y \in U_{\delta }(y^{*})\);
-
3.
\(\varphi (y)=v^{*}+h(y)+v(y)\), where \(h(y)=\gamma (y)\bar{h}\), \(\gamma (\cdot ):U_{\delta }(y^{*})\rightarrow \mathbb {R} \) and \(\gamma (\cdot )\) is arbitrary, continuous function such that
$$\begin{aligned} \frac{\Vert y-y^{*}\Vert ^{\frac{1}{p}}}{\alpha ^{\frac{1}{p}}}\le \gamma (y) \le \nu . \end{aligned}$$
Moreover, v(y) satisfies
for all \(y \in U_{\delta }(y^{*})\), \(\gamma (y)\ne 0\), or
The proof of the above theorem is similar to the proof of analogous theorem in [6].
Remark 4
Estimate (19) can be replaced by the following
The following theorem is some generalization of Theorem 5.
Theorem 6
Let W, Y and Z be Banach spaces, \(F \in C^{p+1}(W \times Y)\rightarrow Z\), \(F(v^{*},y^{*}) =0\), \(F_{i}(v,y)\), \(i=1,\ldots , p\) be defined by (8) and the p-factor operator \(\Psi _{p}(h)\) be given by (11). Assume that there exists an element \(\bar{h} \in \bigcap _{r=1}^{p}{\mathrm {Ker}}^{r}F^{(r)}_{r_{(v,y)}}(v^{*},y^{*})\), \(\Vert \bar{h}\Vert =1\), \(\bar{h} \in W\times Y\), \(\bar{h}=(\bar{h}_{v}, \bar{h}_{y})\), \(\bar{h}_{y}=0\) such that \({\mathrm {Im}} \Psi _{p}(\bar{h})\cdot (0 \times Y)=Z\), that is the mapping F is p-regular along the element \(\bar{h}\). Then for a sufficiently small \(\alpha > 0\), \(\nu >0\) and \(\delta =\alpha \nu ^{p}\) there exists the continuous mapping \(\varphi (y):U_{\delta }(y^{*})\rightarrow U_{\nu }(v^{*})\) and constant \(K>0\) such that the following hold:
-
1.
\(\varphi (y^{*})=v^{*}\);
-
2.
\(F(\varphi (y),y)=0\) for all \(y \in U_{\delta }(y^{*})\);
-
3.
\(\varphi (y)=v^{*}+h(y)+v(y)\), where \(h(y)=\gamma (y)\bar{h}_{y}\), \(\gamma (\cdot ):U_{\delta }(y^{*})\rightarrow \mathbb {R} \) and \(\gamma (\cdot )\) is arbitrary, continuous function such that
$$\begin{aligned} \frac{\Vert y-y^{*}\Vert ^{\frac{1}{p}}}{\alpha ^{\frac{1}{p}}}\le \gamma (y) \le \nu . \end{aligned}$$
Moreover, v(y) satisfies
for all \(y \in U_{\delta }(y^{*})\), \(\gamma (y)\ne 0\), or
The difference between Theorems 5 and 6 is that in Theorem 5 we take derivation with respect to v, but in Theorem 6 with respect to (v, y).
4 Solutions to Burgers equations
In this section, we will present the main result of this work.
Consider the Burgers equation
\(F: \Omega \rightarrow \mathcal {C}([0,\pi ]\times [0,\infty ))\) where F is sufficiently smooth (at least up to order \(p+1\)) and \(u(0,t)=u(\pi ,t)=0\).
We will apply Theorem 6 denoting
The following result will hold
Theorem 7
The mapping \(F(u,\varepsilon )\) is 3-regular along \(\bar{h}=(\bar{h}_{u},0_{\varepsilon })\), where \(\bar{h}_{u} =e^{-t} \sin x\). Moreover, for sufficiently small \(\alpha >0\), \(\nu >0 \), \(\varepsilon \in (-\alpha \nu ^{3},\alpha \nu ^{3})\) and \(k(\varepsilon ) \in \left[ \frac{\varepsilon ^{\frac{1}{3}}}{\alpha ^{\frac{1}{3}}},\nu \right] \) there exists continuous solution of (24) in the following form
where \(\gamma (\varepsilon )\) is some continuous function such that \(\gamma (\varepsilon )=O(k(\varepsilon ))\) and \(\Vert y(x,t,\varepsilon )\Vert =o(\varepsilon ^{\frac{1}{3}})\).
Proof
We introduce the mapping \(\Phi (u,\varepsilon , k)\) and equation
with boundary conditions \(u(0,t)=u(\pi ,t)=0\).
Here \((u^{*},\varepsilon ^{*}, k^{*})=(0,0,0)\) is the trivial solution of this equation and the tangent cone goes out from this point. Note that the analysis of the first derivative of the mapping \(\Phi \) comes to the analysis of 3-regularity of the mapping F.
Denoting \(u_{t}'-u_{xx}''\) by Lu (parabolic operator) and \(u_{x}'\) by \(\frac{\partial }{\partial x}u\) (operator of differentiation), we obtain
Denote by \(F_{u}'\), \(F_{\varepsilon }'\) partial derivatives of F with respect to u, \(\varepsilon \) and analogically higher-order partial derivatives by \(F_{uu}''\), \(F_{u\varepsilon }''\), \(F_{\varepsilon u}''\), \(F_{\varepsilon \varepsilon }''\), \(F_{uuu}''\), \(F_{uu\varepsilon }''\), \(\ldots \), etc.
We have
where
and
Note that
and
Taking into account the Fourier method of solving second-order partial differential equations and bearing in mind that we are looking for at least one solution we can determine
The image of the operator \(F_{u}'(0,0)\) is defined as follows:
We will look for a solution to the equation \(F(u,\varepsilon )=0\) in the form
Then
One can show that the boundary value problem
i.e.,
does not have a solutions.
Therefore, the operator \(F_{u}'(0,0)\) is not surjective and
This implies that \(Z=Z_{1}\oplus V_{2}\), where \(Z_{1}={\mathrm {Im}} F_{u}'(0,0)\) and \(V_{2}=Z_{1}^{\bot }\).
The projector \(P_{V_{2}}:Z\rightarrow V_{2}\) can be described as
This implies that
Let us evaluate the second derivative of the mapping F
where
From this, we obtain
and
Substituting \(h_{u}=se^{-t}\sin \tau \), where \(s \in \mathbb {R}\), we get
since
We continue
Let us evaluate the third derivative of the mapping F:
and
Note that
and \(V_{3}=Z_{3}\), \(P_{V_{3}}z=\Pi _{Z_{3}}z\).
Therefore, we will show that the mapping F is 3-regular on some elements that belong to the 3-kernel of the 3-factor operator and next we will describe the solutions of Burgers equation.
Now let us take \(p(\tau ,t)=(h_{u},h_{\varepsilon })\). For such defined vector \(p(\tau ,t)\) the following relations hold:
Substituting \(h_{u}=se^{-t}\sin \tau \), where \(s \in \mathbb {R}\) and bearing in mind that \(\int _{0}^{\pi }\sin ^{3}\tau d\tau =\frac{4}{3}\) we get
3-factor operator
and 3-kernel of 3-factor operator \(\Psi _{3}(h)\)
Taking into account the equation
and fact, that \(h_{u}=c e^{-t}\sin \tau \), since \(h_{u}\in {\mathrm {Ker}}F'_{u}(0,0)\), \(c \in \mathbb {R}\) , we solve the following equation of unknowns \(c, h_{\varepsilon }\):
From here we get \(c=0\) or \(h_{\varepsilon }=0\) and the locus \({\mathrm {Ker}}^{3} \Psi _{3}(h)\) we describe clearly as follows:
where \(h_{u}\) is equal \(c e^{-t}\sin x\) or 0.
Now we verify whether the 3-factor is surjective onto \(C([0,\pi ]\times [0,\infty ))\) for element H belongs to the 3-kernel of the 3-factor operator.
Let \(H=(h_{u},h_{\varepsilon })=(c e^{-t}\sin x, 0)\). We examine that
Using Lemma 3, i.e., putting \(z=z_{3}=a\frac{2}{\sqrt{\pi }}e^{-t}\sin x \in Z_{3}\), we find the element \(\bar{h}_{\bar{u}}=be^{-t}\sin x \in {\mathrm {Ker}}F'_{u}(0,0)\). We obtain
Therefore, \((\bar{h}_{\bar{u}},\bar{h}_{\lambda })=(be^{-t }\sin x,\frac{9a\sqrt{\pi }}{16c^{2}} )\) for any b and \(c \ne 0\). Then, 3-factor operator \(\Psi _{3}(H)\) is surjective for \(H \ne (0,0)\). This implies that the mapping F is 3-regular at the point (0, 0) with respect to the element \(H=(c e^{-t} \sin x, 0)\).
It turns out that the mapping F is not 3-regular at the point (0, 0) with respect to the element \(H=(0, \varepsilon )\). We show it in Appendix. But for the existence of solutions, regularity on selected elements is enough.
Now we consider the equation \(\Phi (u,\varepsilon , k)=0\), i.e., to find the mapping \(u(x,t,\varepsilon )\) and \(k(\varepsilon )\) such that
Element \(\tilde{h}_{u}=(\bar{h}_{u},0,1) \in {\mathrm {Ker}} \Phi '(0,0,0)\cap {\mathrm {Ker}}^{3}\Phi _{3}^{(3)}(0,0,0)\) and the mapping \(\Phi \) is regular along \(\tilde{h}_{u}\).
By Theorem 6 for all \(\varepsilon \in (-\alpha \nu ^{3}, \alpha \nu ^{3})\) and for all \(\gamma (\varepsilon )\) such that \(\frac{\varepsilon ^{\frac{1}{3}}}{\alpha ^{\frac{1}{3}}}\le \gamma (\varepsilon )\le \nu \) and by Michael selection theorem, we obtain the continuous solution in the following form
such that \(F(u(x,t,\varepsilon ),\varepsilon )=0\), \(u(x,0,t)-k(\varepsilon )\sin x =0.\)
From here if \(\gamma (\varepsilon )=k(\varepsilon )+o(k(\varepsilon ))\), then for all \(k(\varepsilon ) \in \left( \frac{\varepsilon ^{\frac{1}{3}}}{\alpha ^{\frac{1}{3}}}\right) \), there exists \(\gamma (\varepsilon )=k(\varepsilon )+o(k(\varepsilon ))\) such that \(u(x,t,\varepsilon )=\bar{h}_{u}+\tilde{y}(x,t,\varepsilon )\).
This completes the proof. \(\square \)
For the Burgers equation of the form
where \(F: \Omega \times \mathcal {C}([0,\pi ]\times [0,\infty ))\rightarrow \mathcal {C}([0,\pi ]\times [0,\infty ))\) and \(u(0,t)=u(\pi ,t)=0\), without loss of generality, consider the homogeneous initial condition \(u(x,0)=0\). We will apply Theorem 6 denoting \(F(v,y)=F(u,\varepsilon ,f)\), \(v:=(u,f)\), \(y:=\varepsilon \).
Note that the kernel \({\mathrm {Ker}}F'(0,0,0)\) is determined by solution to
which we denote by \(\bar{u}(x,t,f)\). Then
and
where \(G(x,\xi ,t,\tau )\) is Green’s function (see, for example, [12, 13]).
Then the following result will be hold.
Theorem 8
(Classical case) The mapping \(F(u,\varepsilon ,f)\) is 3-regular along \(\bar{h}_{u}\) and for \(\alpha \), \(\nu \) sufficiently small, \(\varepsilon \in (-\alpha \nu ^{3},\alpha \nu ^{3})\) and \(\Vert f(x,t)\Vert \in \left( \frac{\varepsilon ^{\frac{1}{3}}}{\alpha },\nu \right) \) there exists continuous solution of (54) in the following form
where
5 Conclusion
Our research was inspired by works [9, 10]. We obtain analytical formulas for solving the nonlinear Burgers equation of the form (1) based on the p-regularity theory. Additionally by Theorem 1 and Michael selection theorem 2, we conclude that there exists a continuous solution.
Analogously may be investigated the following equations
and other, where \(\phi ^{(k)}(0)=0\), \(k=1,\ldots , p\) (see [2]).
Data Availability Statement
Our manuscript has no associated data.
References
Baxley, J.V.: Nonlinear second-order boundary value problems: continuous dependence and periodic boundary conditions. Rend. Circ. Mat. Palermo 31(2), 305–320 (1982)
Brezhneva, O.A., Tret’yakov, A.A., Marsden, J.E.: Higher-order implicit function theorems and degenerate nonlinear boundary-value problems. Commun. Pure Appl. Anal. 7(2), 293–315 (2008)
Gaines, R.: Continuous dependence for two-point boundary value problems. Pac. J. Math 28, 327–336 (1969)
Grzegorczyk, W., Medak, B., Tret’yakov, A.A.: Application of \(p\)-regularity theory to nonlinear boundary value problems. Bound. Value Probl. 2013, 251 (2013)
Ingram, S.K.: Continuous dependence on parameters and boundary data for nonlinear two-point boundary value problems. Pac. J. Math 41, 395–408 (1972)
Izmailov, A.F., Tret’yakov, A.A.: Factor-Analysis of Nonlinear Mappings. Nauka, Moscow (1994). (in Russian)
Izmailov, A.F., Tret’yakov, A.A.: 2-Regular Solutions of Nonlinear Problems. Theory and Numerical Methods. Nauka, Moscow (1999). (in Russian)
Medak, B., Tret’yakov, A.A.: Existence of periodic solutions to nonlinear \(p\)-regular boundary value problem. Bound. Value Probl. 2015, 91 (2015). https://doi.org/10.1186/s13661-015-0360-2
Medak, B., Tret’yakov, A.A.: Application of \(p\)-regularity theory to the Duffing equation. Bound. Value Probl. 2017, 85 (2017). https://doi.org/10.1186/s13661-017-0815-8
Medak, B., Tret’yakov, A.A.: Continuous dependence of the singular nonlinear Van der Pol equation solutions with respect to the boundary conditions: elements of \(p\)-regularity theory. J. Dyn. Differ. Equ. 33, 1087–1107 (2021). https://doi.org/10.1007/s10884-020-09849-0
Michael, E.A.: Continuous selector. Ann. Math. 64, 562–580 (1956)
Sveshnikov, A.G., Bogolubov, A.N., Krovtsov, V.V.: Lectures on Mathematical Physics. MGU. Nauka, Moscow (2004).. (in Russian)
Tikhonov, A.N., Vasileva, A.B., Sveshnikov, A.G.: Differential Equations. Nauka, Moscow (1998).. (in Russian)
Tret’yakov, A.A.: The implicit function theorem in degenerate problems. Russ. Math. Surv. 42, 179–180 (1987)
Tret’yakov, A.A., Marsden, J.E.: Factor analysis of nonlinear mappings: \(p\)-regularity theory. Commun. Pure Appl. Anal. 2(4), 425–445 (2003)
Acknowledgements
The results of the research of the first and second author carried out under the research theme No. 61/20/B were funded by the Ministry of Education and Science. The research of the second author was also partially supported by Russian Science Foundation (project No 21-71-30005) and research theme budget of FRS CSC RAS.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Beata Medak and Alexey A. Tret’yakov contributed equally to this work.
Appendix
Appendix
For the clarity of the calculations, we show that the mapping F from Theorem 7 is not 3-regular at the point (0, 0) with respect to the element \(H=(0, \varepsilon )\). Let \(H=(h_{u},h_{\varepsilon })=(0,\varepsilon )\). We examine that
Using Lemma 3, i.e., putting \(z=z_{3}=ae^{-t}\sin x \in Z_{3}\), we must find the element \(\bar{h}_{\bar{u}}=be^{-t}\sin x \in {\mathrm {Ker}}F'_{u}(0,0)\). We obtain
But the above equation has no solutions. Then, 3-factor operator \(\Psi _{3}(H)\) is not surjective. This implies that the mapping F is not 3-regular at the point (0, 0) with respect to the element \(H=(0, \varepsilon )\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Medak, B., Tret’yakov, A.A. The nonlinear singular Burgers equation with small parameter and p-regularity theory. Lett Math Phys 112, 108 (2022). https://doi.org/10.1007/s11005-022-01601-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01601-7