- Research
- Open access
- Published:
Mixed Cauchy problem with lateral boundary condition for noncharacteristic degenerate hyperbolic equations
Boundary Value Problems volume 2022, Article number: 35 (2022)
Abstract
In this paper, in a cylindrical domain \(D=\Omega \times (0,T)\) with \(\Omega \subset {R}^{n}\), we consider a mixed Cauchy problem with a potential lateral boundary condition for the following noncharacteristic degenerated equation
where \(k(t)\geq 0\). As in the case for strictly hyperbolic equations, we first establish that \(u\in W_{2}^{1}(D)\) and \(u\in W_{2}^{2}(D)\) under the assumptions \(\Vert \frac{f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) and \(\Vert \frac{\mathrm{grad}_{x} f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) for every \(t\in [0,T]\), respectively.
1 Introduction
A number of studies have been devoted to the mixed Cauchy problem for noncharacteristically degenerate second-order hyperbolic equations, starting from the work of M.L. Krasnov [1]. Later these works were generalized for general degenerate higher-order equations by D.T. Dzhuraev [2], V.N. Vragov [3], and A.I. Kozhanov [4]. The study of boundary value problems for an equation of the mixed type, started by F.G. Tricomi [5], led to the study of new boundary value problems for hyperbolic equations in the characteristic cone, first investigated in the works of S. Gellerstedt [6], A.V. Bitsadze [7] A.M. Nakhushev [8], and T.S. Kal’menov [9–11]. In recent years, the well-posedness of the Cauchy problem for the wave equation with strongly singular coefficients has been investigated by M. Ruzhansky, N. Tokmagambetov [12]. More complete bibliography may be found in the monographs of M.M. Smirnov [13], I.E. Egorov, S.G. Pyatkov, S.V. Popov [14], E.V. Radkevich, O.A. Olejnik [15] and M. Ruzhansky, M. Sadybekov, D. Suragan [16].
In the study of the mixed Cauchy problem in a cylindrical domain, the lateral boundary conditions are usually local boundary conditions of the Dirichlet type or periodic boundary conditions.
In [17], the boundary condition for the Newton (volume) potential was found, which is a new integro-differential self-adjoint boundary condition for the Laplace equation. In this paper, we study the mixed Cauchy problem for one class of noncharacteristic degenerate hyperbolic equations using this boundary condition. Unlike other works devoted to this topic, where solutions of the mixed Cauchy problem with different lateral boundary conditions of the problems under consideration are obtained in weighted spaces; in this paper, all solutions of the mixed Cauchy problems under consideration are obtained in classical Sobolev spaces.
Note that in [17], the Newton potential (volume potential) is given by a self-adjoint integral operator
where \(\rho (\xi )\in L_{2}(\Omega )\) and \(\varepsilon (x,\xi )\) is a fundamental solution of the Laplace equation
the function \(u\in W^{2}_{2}(\Omega )\) satisfies the equation
and the lateral boundary condition
Conversely, if \(u \in W^{2}_{2}(\Omega )\) satisfies equation (3) and boundary condition (4), then \(u(x)\) coincides with the Newton potential (1).
The aim of this paper is to study the mixed Cauchy problem with condition (4).
2 Preliminaries
Let \(\Omega \subset R^{n}\) be a finite domain with smooth boundary \(\partial \Omega \subset C^{2}\), \(D=\Omega \times [0, T]\) a cylindrical domain. In D, we consider the following mixed Cauchy problem.
Find a solution of the following equation
which satisfies the initial conditions
and the lateral boundary condition
where \(k\in C^{1+\alpha}[0,T]\), \(0<\alpha <1\), \(k(t)>0\), \(t>0\), \(k(0)=0\), \(k'(t)\geq 0\), and \(\varepsilon (x,\xi )\) is the fundamental solution of the Laplace equation (2).
The eigenfunctions of the Newton potential satisfies the following equation
and the boundary condition
According to relations (1)–(4), the set of eigenfunctions \(\{e_{m}(x)\}\) of self-adjoint boundary problem (8)–(9) forms a complete orthonormal system in \(L_{2}(\Omega )\).
For \(a(t)\equiv b(t)\equiv 0\), two-dimensional equation (5) is the Chaplygin equation, which is applied to model the supersonic flow of liquid and gas.
In what follows, the boundary condition (7) will be called a potential boundary condition. Although the boundary condition of problem (5)–(7) is cumbersome, the Green function of this problem coincides with the fundamental solution \(\varepsilon (x,\xi )\) of the Laplace equation, which means that the Green function is given explicitly in an arbitrary domain.
As in the case for strictly hyperbolic equations, we first show that \(u\in W_{2}^{1}(D)\) and \(u\in W_{2}^{2}(D)\) under the assumptions \(\Vert \frac{f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty, t\in [0,T]\) and \(\frac{a}{k} \in C^{1+\alpha}(\bar{D}), \frac{b}{k} \in C^{1+\alpha}( \bar{D})\), respectively.
3 Mixed Cauchy problem with the condition \(a(t)\equiv b(t)\equiv 0\)
Let us consider the problems (5)–(7) in the case \(a(t)\equiv b(t)\equiv 0\). Let
Due to the complexity of potential boundary condition (12), to establish an apriori estimates for problem (10)–(12), we will use the spectral decomposition method.
Let \(\{e_{m}(x) \}\) be a complete orthonormal system of eigenvectors of problem (8)–(9).
The solution of (10)–(12) can be written in the form
where
Substituting (13) and (14) into equation (10), for \(u_{m}(t)\), we get the following one-dimensional Cauchy problem:
Lemma 3.1
All solutions \(u_{m}\in W^{2}_{2}(0,T)\) of the Cauchy problem (15)–(16) satisfy the inequality
where \(d_{1}\) is some positive constant independent of f.
Proof
Since \(u_{m}(0)=0\) and \(\frac{du_{m}}{dt}(0)=0\), we obtain
Integrating both sides of (15) from 0 to t and using equality (18), we get
Assuming that \(\frac{f_{m}}{k}\in L_{2}(0,T)\), integral equation (19) is a Volterra integral equation. Therefore, since \(k'\geq 0\), the inequalities
hold, and we can see that
where \(C_{m}\) depends on \({\lambda }_{m}\).
Now we obtain the necessary apriori estimates for problem (15)–(16) and rewrite this problem in the form
Let us calculate the inner product of (21) and \(\frac{du_{m}(t)}{dt}\) in \(L_{2}(0,T)\)
By inequality (20), we obtain
From the equality \(-\frac{d}{d\eta }\frac{1}{k(\eta )}=\frac{k'(\eta )}{k^{2}(\eta )}\) and
where ε is a positive real number, it is easy to verify that
By (22)–(23), it is easy to check that
Therefore,
Since \(k(t)\) is bounded in \([0,T]\), for small ε, we have \(1-\varepsilon k(t)\cdot t>\delta \). Therefore, from the above inequality, we get
which is equivalent to
This completes the proof. □
Remark 3.1
Note that to prove the main inequality (24), we have used inequality (23).
Lemma 3.2
Let \(k\in C^{1+\alpha }[0,T]\), \(1>\alpha >0\), \(k(t)>0\), \(t>0\), \(t>0\), \(k(0)=0\), \(k'(t)\geq 0\), \(\frac{f_{m}}{k}\in L_{2}(0,T)\). Then all solutions \(u_{m}\in W^{2}_{2}(0,T)\) of the mixed Cauchy problem (16)–(19) satisfy the inequality
Proof
Multiplying both sides of (17) in Lemma 3.1 by \(\lambda _{m}\), we get
Hence, we obtain \({\lambda }^{2}_{m}u^{2}_{m}(t)\le d_{3}\int ^{t}_{0}{{ ( \frac{\sqrt{{\lambda }_{m}}f_{m}(\eta )}{k(\eta )} )}^{2}\,d\eta }\).
From (16) and the above inequalities for
we have
By (26) and (27), it is easy to see
which finishes the proof. □
4 General case
Now we will consider the mixed Cauchy problem.
Let \(\Omega \subset R^{n}\) be a finite domain with smooth boundary \(\partial \Omega \subset C^{2}\), \(D=\Omega \times [0, T]\) a cylindrical domain. Find a solution of the following equation in D
that satisfies the initial conditions
and the potential lateral boundary condition
As in the case of Sect. 2, the solution of (28)–(30) has the form
where \(\{e_{m}(x)\}\) is the complete orthonormal system of functions of the following spectral problem
Substituting (31)–(32) into (28), we obtain the following Cauchy problem
Due to initial conditions (34), it is easy to verify
Using these relations as in (20), we prove the following lemma.
Lemma 4.1
Let the following conditions be satisfied: \(k\in C^{1+\alpha }[0,T]\), \(1>\alpha >0\), \(k(t)>0\), \(t>0\), \(k(0)=0\), \(k'(t)\geq 0\), \(\frac{a}{k}\in C^{1+\alpha }[0,T]\), \(\frac{b}{k}\in C^{1+\alpha }[0,T]\) and \(\frac{f_{m}}{k}\in{L_{2}[0,T]}\). Then solution \(u_{m}\in W_{2}^{2}(0,T)\) to problem (33)–(34) satisfy the following inequality
Let conditions \(b(t)\geq 0\), \(a(t)\geq 0\), \(\frac{\partial }{\partial t}\frac{a(t)}{k(t)}\leq 0\) and all the conditions of Lemma 4.1 be satisfied. Then, the regular solution \(u\in W^{2}_{2}(0,T)\) of the Cauchy problem (33)–(34) satisfies the following inequality
Multiplying both sides of equation (33) by \(\lambda _{m}\), we have
By the Parseval equality, we rewrite (36) in terms of the space \(x, t\).
Let \(g\in L_{2}(D)\), then
where \(\{e_{m}(x) \}\) is the complete orthonormal system of eigenfunctions of the Newton (volume) potential corresponding to the eigenvalue \(\lambda _{m}\).
Let \(\alpha >0\), by \({ (-{\Delta }_{x} )}^{\alpha }\), we will denote the operator acting on \(g(x,t)\) by the formula
Since (37)–(38), inequality (35) can be rewritten as
Since (31) and (32), from (36), it follows
Theorem 4.1
Let \(k\in C^{1+\alpha }[0,T]\), \(1>\alpha >0\), \(k(t)> 0\), \(k(0)=0\), \(k'(t)\geq 0\). If \(\Vert \frac{f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) and \(\Vert \frac{{ (-{\Delta }_{x} )}^{\frac{1}{2}}f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) for all \(t\in [0,T]\), the solution \(u\in W^{2}_{2,k}(D)\) to the mixed Cauchy problem (10)–(12) satisfies the inequality
From (39), it follows that \(u\in W^{2}_{2,k}(D)\subset W^{2}_{2}(D)\).
Let us prove the existence of the solution of the mixed Cauchy problem (10)–(12). To do this, we will consider the regularized mixed Cauchy problem:
where \(\varepsilon >0\) is an arbitrary positive number.
Since (31) and (32), using the spectral decomposition of \(u_{\varepsilon }(x,t)\) and \(f(x,t)\) by \(e_{m}(x)\), from (40)–(41), we obtain
Due to the properties of the solutions of the Cauchy problem, if \(f_{m}\in L_{2}(0,T)\), then its solution is \(u_{m}\in W^{2}_{2}[0,T]\). Similarly to inequalities (24) and (25), we verify the following inequalities
Using the spectral decomposition of the functions \(u_{\varepsilon }(x,t)\) and \(f(x,t)\) in the terms of \(e_{m}(x)\) from (42) when \(\varepsilon \to 0\), we get \(u_{\varepsilon }\longrightarrow u\in W_{2}^{1}(D)\) and
From (43), it also follows
Theorem 4.2
Let \(k\in C^{1+\alpha }[0,T]\), \(1>\alpha >0\), \(k(t)>0\), \(t>0\), \(k(0)=0\), \(k'(t)\ge 0\). If \(\Vert \frac{f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) and \(\Vert \frac{{ (-{\Delta }_{x} )}^{\frac{1}{2}}f}{k} \Vert _{L_{2}(\Omega )}(t)\), \(t\in [0,T]\), then there exists a unique solution \(u\in W^{2}_{2,k}(D)\) of the mixed Cauchy problem (10)–(12) that satisfies the inequality
Corollary 4.1
Note that the weighted Sobolev space \(W_{2,k}^{2}(D)\) is a subspace of the classical space \(W_{2}^{2}(D)\). As in the case of strictly hyperbolic equations, we have first established that \(u\in W_{2}^{1}(D)\) and \(u\in W_{2}^{2}(D)\) under the condition \(\Vert \frac{f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) and \(\Vert \frac{\mathrm{grad}_{x} f}{k} \Vert _{L_{2}(\Omega )}(t)<\infty \) for all \(t\in [0,T]\), respectively.
Using the inequalities (35)–(36), the unique solvability of the mixed Cauchy problem (10)–(12) for the general equation \(\frac{{\partial }^{2}u}{\partial t^{2}}-k(t){\Delta }_{x}u+b(t) \frac{\partial u}{\partial t}+a(t)u=f(x,t)\) is established in exactly the same way.
References
Krasnov, M.L.: Mixed boundary problems for degenerate linear hyperbolic differential equations second order. Mat. Sb. 91(1), 29–84 (1959)
Dzhuraev, T.D.: Boundary Value Problems for Equations of Mixed and Mixed-Composite Types. Fan, Tashkent (1979)
Vragov, V.N.: Boundary Value Problems for Nonclassical Equations of Mathematical Physics. NGU, Novosibirski (1983)
Kozhanov, A.I.: Linear inverse problems for a class of degenerate equations of Sobolev type. Vestn. Yuzhno-Ural’skogo Univ. Ser. Mat. Model. Program. 11, 33–42 (2012)
Tricomi, F.G.: On Linear Partial Differential Equations of the Second Order of Mixed Type. Graduate Division of Applied Mathematics. Brown University, Providence (1948)
Gellerstedt, S.: Sur Un Problème aux Limites Pour Uneéquation Lineare aux Dérivées Partielles du Second Order de Type mixte. These pour le doctorat Uppsala (1935)
Bitsadze, A.V.: Some Classes of Partial Differential Equations. Science, Moscow (1981)
Nakhushev, A.M.: Problems with Shift for Partial Differential Equations. Science, Moscow (2006)
Kal’menov, T.S.: A criterion for the continuity of the solution of the Goursat problem for a certain degenerate equation. Differ. Uravn. 8(1), 41–54 (1972)
Kal’menov, T.S.: The characteristic Cauchy problem for a certain class of degenerate hyperbolic equations. Differ. Uravn. 9(1), 84–96 (1973)
Kal’menov, T.S., Suragan, D.: Initial-boundary value problems for the wave equation. Electron. J. Differ. Equ. 2014(48), 1 (2014)
Ruzhansky, M., Tokmagambetov, N.: Wave equation for operators with discrete spectrum and irregular propagation speed. Arch. Ration. Mech. Anal. 226(3), 1161–1207 (2017)
Smirnov, M.M.: Degenerate Elliptic and Hyperbolic Equations. Science, Moscow (1966)
Egorov, I.E., Pyatkov, S.G., Popov, S.V.: Nonclassical Differential-Operator Equations. Nauka, Novosibirsk (2000)
Radkevic, E.V., Olejnik, O.A.: Second Order Equations with Nonnegative Characteristic Form. Am. Math. Soc., USA (1973)
Ruzhansky, M., Sadybekov, M., Suragan, D.: Spectral Geometry of Partial Differential Operators. Taylor & Francis, London (2020)
Kal’menov, T.S., Suragan, D.: To spectral problems for the volume potential. Dokl. Math. 80(2), 646–649 (2009)
Acknowledgements
The authors thank Professor M. Sadybekov for a very careful reading of the manuscript and useful comments.
Funding
The work was supported by the grant (No. AP09260126) of the Science Committee of the Ministry of Education and Science of the Republic of Kazakhstan.
Author information
Authors and Affiliations
Contributions
Both authors completed the main study, carried out the results of this article, and drafted the paper. Both authors read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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
Kakharman, N., Kal’menov, T. Mixed Cauchy problem with lateral boundary condition for noncharacteristic degenerate hyperbolic equations. Bound Value Probl 2022, 35 (2022). https://doi.org/10.1186/s13661-022-01616-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-022-01616-y