-
On the Grothendieck duality for the space of holomorphic Sobolev functions
Authors:
Arkadii Levskii,
Alexander Shlapunov
Abstract:
We describe the strong dual space $({\mathcal O}^s (D))^*$ for the space ${\mathcal O}^s (D) =
H^s (D) \cap {\mathcal O} (D)$ of holomorphic functions from the Sobolev space $H^s(D)$, $s \in \mathbb Z$, over a bounded simply connected plane domain $D$ with infinitely differential boundary $\partial D$. We identify the dual space with the space of holomorhic functions on…
▽ More
We describe the strong dual space $({\mathcal O}^s (D))^*$ for the space ${\mathcal O}^s (D) =
H^s (D) \cap {\mathcal O} (D)$ of holomorphic functions from the Sobolev space $H^s(D)$, $s \in \mathbb Z$, over a bounded simply connected plane domain $D$ with infinitely differential boundary $\partial D$. We identify the dual space with the space of holomorhic functions on ${\mathbb C}^n\setminus \overline D$ that belong to $H^{1-s} (G\setminus \overline D)$ for any bounded domain $G$, containing the compact $\overline D$, and vanish at the infinity. As a corollary, we obtain a description of the strong dual space $({\mathcal O}_F (D))^*$ for the space ${\mathcal O}_F (D)$ of holomorphic functions of finite order of growth in $D$ (here, ${\mathcal O}_F (D)$ is endowed with the inductive limit topology with respect to the family of spaces ${\mathcal O}^s (D)$, $s \in \mathbb Z$).
In this way we extend the classical Grothendieck-K{ö}the-Sebastião e Silva duality for the space of holomorphic functions.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Maxwell's and Stokes' operators associated with elliptic differential complexes
Authors:
Alexander Shlapunov,
Alexander Polkovnikov,
Victor Mironov
Abstract:
We propose a new technique to generate reasonable systems of partial differential equations (PDE) that could be potential candidates for depicting models in natural sciences related to quasi-linear equations. Such systems appear within typical constructions of the Homological Algebra as complexes of differential operators describing compatibility conditions for overdetermined systems of PDE's. The…
▽ More
We propose a new technique to generate reasonable systems of partial differential equations (PDE) that could be potential candidates for depicting models in natural sciences related to quasi-linear equations. Such systems appear within typical constructions of the Homological Algebra as complexes of differential operators describing compatibility conditions for overdetermined systems of PDE's. The related models can be both steady and evolutionary. Additional assumptions on the ellipticity of the differential complex provide a wide class of elliptic, parabolic and hyperbolic operators that could be generated in this way. In particular, it appears that an essentially large amount of equations related to the modern Mathematical Physics is generated by the de Rham complex of differentials on the exterior differential forms. These includes the elliptic Laplace and Lamé type operators; the parabolic heat transfer equation; the Euler type and Navier-Stokes type equations in Hydrodynamics; the hyperbolic wave equation and the Maxwell equations in Electrodynamics; the Klein-Gordon equation in Relativistic Quantum Mechanics; and so on. Our model generation method covers a broad class of generating systems, especially in higher spatial dimensions, due to different basic algebraic structures at play.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
On Runge type theorems for solutions to strongly uniformly parabolic operators
Authors:
P. Yu. Vilkov,
A. A. Shlapunov
Abstract:
Let $G_1, G_2 $ be domains in ${\mathbb R}^{n+1}$, $n \geq 2$, such that $G_1 \subset G_2$ and the domain $G_1$ have rather regular boundary. We investigate the problem of approximation of solutions to strongly uniformly $2m$-parabolic system $\mathcal L$ in the domain $G_1$ by solutions to the same system in the domain $G_2$. First, we prove that the space $S _{\mathcal L}(G_2)$ of solutions to t…
▽ More
Let $G_1, G_2 $ be domains in ${\mathbb R}^{n+1}$, $n \geq 2$, such that $G_1 \subset G_2$ and the domain $G_1$ have rather regular boundary. We investigate the problem of approximation of solutions to strongly uniformly $2m$-parabolic system $\mathcal L$ in the domain $G_1$ by solutions to the same system in the domain $G_2$. First, we prove that the space $S _{\mathcal L}(G_2)$ of solutions to the system $\mathcal L$ in the domain $G_2$ is dense in the space $S _{\mathcal L}(G_1)$, endowed with the standard Fréchet topology of the uniform convergence on compact subsets in $G_1$, if and only if the complements $G_2 (t) \setminus G_1 (t)$ have no non-empty compact components in $G_2 (t)$ for each $t\in \mathbb R$, where $G_j (t) = \{x \in {\mathbb R}^n: (x,t) \in G_j\}$. Next, under additional assumptions on the regularity of the bounded domains $G_1$ and $G_1(t)$, we prove that solutions from the Lebesgue class $L^2(G_1)\cap S _{\mathcal L}(G_1)$ can be approximated by solutions from $S _{\mathcal L}(G_2)$ if and only if the same assumption on the complements $G_2 (t) \setminus G_1 (t)$, $t\in \mathbb R$, is fulfilled.
△ Less
Submitted 10 April, 2024; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Mixed Problems with a Parameter
Authors:
Alexander Shlapunov,
Nikolai Tarkhanov
Abstract:
Let $X$ be a smooth $n\,$-dimensional manifold and $D$ be an open connected set in $X$ with smooth boundary $\partial D$. Perturbing the Cauchy problem for an elliptic system $Au = f$ in $D$ with data on a closed set $\iG \subset \partial D$ we obtain a family of mixed problems depending on a small parameter $\varepsilon > 0$. Although the mixed problems are subject to a non-coercive boundary cond…
▽ More
Let $X$ be a smooth $n\,$-dimensional manifold and $D$ be an open connected set in $X$ with smooth boundary $\partial D$. Perturbing the Cauchy problem for an elliptic system $Au = f$ in $D$ with data on a closed set $\iG \subset \partial D$ we obtain a family of mixed problems depending on a small parameter $\varepsilon > 0$. Although the mixed problems are subject to a non-coercive boundary condition on $\partial D \setminus \iG$ in general, each of them is uniquely solvable in an appropriate Hilbert space $\cD_{T}$ and the corresponding family $\{ u_{\varepsilon} \}$ of solutions approximates the solution of the Cauchy problem in $\cD_{T}$ whenever the solution exists. We also prove that the existence of a solution to the Cauchy problem in $\cD_{T}$ is equivalent to the boundedness of the family $\{ u_{\varepsilon} \}$. We thus derive a solvability condition for the Cauchy problem and an effective method of constructing its solution. Examples for Dirac operators in the Euclidean space $\R^n$ are considered. In the latter case we obtain a family of mixed boundary problems for the Helmholtz equation.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
On Grothendieck type duality for the space of holomorphic functions of several variables
Authors:
Yulia Khoryakova,
Alexander Shlapunov
Abstract:
We describe the strong dual space $({\mathcal O} (D))^*$ for the space ${\mathcal O} (D)$ of holomorphic functions of several complex variables over a bounded Lipschitz domain $D$ with connected boundary $\partial D$ (as usual, ${\mathcal O} (D)$ is endowed with the topology of the uniform convergence on the compact subsets of $D$). We identify the dual space with a closed subspace of the space of…
▽ More
We describe the strong dual space $({\mathcal O} (D))^*$ for the space ${\mathcal O} (D)$ of holomorphic functions of several complex variables over a bounded Lipschitz domain $D$ with connected boundary $\partial D$ (as usual, ${\mathcal O} (D)$ is endowed with the topology of the uniform convergence on the compact subsets of $D$). We identify the dual space with a closed subspace of the space of harmonic functions on the closed set ${\mathbb C}^n\setminus D$, $n>1$, with elements vanishing at the infinity and satisfying the tangential Cauchy-Riemann equations on $\partial D$. In particular, we extend in a way the classical Grothendieck-K{ö}the-Sebastião e Silva duality for the space of holomorphic functions of one complex variable to the multi-dimensional situation. We use the Bochner-Martinelli kernel ${\mathfrak U}_n$ in ${\mathbb C}^n$, $n>1$, instead of the Cauchy kernel over the complex plane ${\mathbb C}$ and we prove that the duality holds true if and only if the space ${\mathcal O} (D)\cap H^1 (D)$ of the Sobolev holomorphic functions over $D$ is dense in ${\mathcal O} (D)$.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
On the ill-posed Cauchy problem for the polyharmonic heat equation
Authors:
Ilya Kurilenko,
Alexander Shlapunov
Abstract:
We consider the ill-posed Cauchy problem for the polyharmonic heat equation on recovering a function, satisfying the equation $(\partial _t + (- Δ)^m) u=0$ in a cylindrical domain in the half-space ${\mathbb R}^n \times [0,+\infty)$, where $n\geq 1$, $m\geq 1$ and $Δ$ is the Laplace operator, via its values and the values of its normal derivatives up to order $(2m-1)$ on a given part of the latera…
▽ More
We consider the ill-posed Cauchy problem for the polyharmonic heat equation on recovering a function, satisfying the equation $(\partial _t + (- Δ)^m) u=0$ in a cylindrical domain in the half-space ${\mathbb R}^n \times [0,+\infty)$, where $n\geq 1$, $m\geq 1$ and $Δ$ is the Laplace operator, via its values and the values of its normal derivatives up to order $(2m-1)$ on a given part of the lateral surface of the cylinder. We obtain a Uniqueness Theorem for the problem and a criterion of its solvability in terms of the real-analytic continuation of parabolic potentials, associated with the Cauchy data.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Exterior extension problems for strongly elliptic operators: solvability and approximation using fundamental solutions
Authors:
Vitaly Kalinin,
Alexander Shlapunov
Abstract:
In this work we study three exterior extension problems for strongly elliptic partial equations: the Cauchy problem (in a special statement), the "analytical" continuation problem and the so called "inner" Dirichlet problem in the scale of the Sobolev spaces over a domain with relatively smooth boundaries. We consider the existence of solutions to these problems, the dense solvability and conditio…
▽ More
In this work we study three exterior extension problems for strongly elliptic partial equations: the Cauchy problem (in a special statement), the "analytical" continuation problem and the so called "inner" Dirichlet problem in the scale of the Sobolev spaces over a domain with relatively smooth boundaries. We consider the existence of solutions to these problems, the dense solvability and conditional well-posedness of these problems for a wide class of strongly elliptic systems. We also consider the approximation of solutions to these problems by a single layer potential and by a linear combination of "discrete" fundamental solutions in relation to a narrower class of strongly elliptic operators of the second order. The obtained results justify the applicability of the indirect method of boundary integral equations and for numerical solving the exterior extension problems.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Existence theorems for regular spatially periodic solutions to ersatz Navier-Stokes equations
Authors:
Alexander Shlapunov
Abstract:
The initial problem for the Navier-Stokes type equations over ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ in the spatially periodic setting is considered. First, we prove that the problem induces an open injective continuous map** on scales of specially constructed function spaces of Bo\-chner-Sobolev type over the $n\,$-dimensional torus ${\mathbb T}^n$. Next, rejecting th…
▽ More
The initial problem for the Navier-Stokes type equations over ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ in the spatially periodic setting is considered. First, we prove that the problem induces an open injective continuous map** on scales of specially constructed function spaces of Bo\-chner-Sobolev type over the $n\,$-dimensional torus ${\mathbb T}^n$. Next, rejecting the idea of proving a universal a priori estimate for high-order derivatives, we obtain a surjectivity criterion for the non-linear map** under the considerations in terms of boundedness for its inverse images of precompact sets. Finally, we prove that the map** is surjective if we consider the versions of the Navier-Stokes type equations containing no `pressure'{}. This gives a uniqueness and existence theorem for regular solutions to this particular ersatz of the Navier-Stokes type equations. The used techniques consist in proving the closedness of the image by estimating all possible divergent sequences in the preimage and matching the asymptotics. The following facts are essential: i) the torus is a compact closed manifold, ii) the corresponding system is `local'.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
The Fredholm Navier-Stokes type equations for the de Rham complex over weighted Hölder spaces
Authors:
Kseniya Gagelgans,
Alexander Shlapunov
Abstract:
We consider a family of initial problems for the Navier-Stokes type equations generated by the de Rham complex in ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ over a scale weighted anisotropic Hölder spaces. As the weights control the order of zero at the infinity with respect to the space variables for vectors fields under the consideration, this actually leads to initial pro…
▽ More
We consider a family of initial problems for the Navier-Stokes type equations generated by the de Rham complex in ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ over a scale weighted anisotropic Hölder spaces. As the weights control the order of zero at the infinity with respect to the space variables for vectors fields under the consideration, this actually leads to initial problems over a compact manifold with the singular conic point at the infinity. We prove that each problem from the family induces Fredholm open injective map**s on elements of the scales. At the step $1$ of the complex we may apply the results to the classical Navier-Stokes equations for incompressible viscous fluid.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Approximation of solutions to parabolic Lamé type operators in cylinder domains and Carleman's formulas for them
Authors:
Pavel Vilkov,
Il'ya Kurilenko,
Alexander Shlapunov
Abstract:
Let $s \in {\mathbb N}$, $T_1,T_2 \in {\mathbb R}$, $T_1<T_2$, and let $Ω, ω$ be bounded domains in ${\mathbb R}^n$, $n \geq 1$ such that $ω\subset Ω$ and the complement $Ω\setminus ω$ have no non-empty compact components in
$Ω$. We investigate the problem of approximation of solutions to parabolic Lamé type system from the Lebesgue class
$L^2(ω\times (T_1,T_2))$ in a cylinder domain…
▽ More
Let $s \in {\mathbb N}$, $T_1,T_2 \in {\mathbb R}$, $T_1<T_2$, and let $Ω, ω$ be bounded domains in ${\mathbb R}^n$, $n \geq 1$ such that $ω\subset Ω$ and the complement $Ω\setminus ω$ have no non-empty compact components in
$Ω$. We investigate the problem of approximation of solutions to parabolic Lamé type system from the Lebesgue class
$L^2(ω\times (T_1,T_2))$ in a cylinder domain
$ω\times (T_1,T_2) \subset {\mathbb R}^{n+1}$ by more regular solutions in a bigger domain $Ω\times (T_1,T_2)$. As an application of the obtained approximation theorems we construct Carleman's formulas for recovering solutions to these parabolic operators from the Sobolev class $H^{2s,s}(Ω\times (T_1,T_2))$ via values the solutions on a part of the lateral surface of the cylinder and the corresponding them stress tensors.
△ Less
Submitted 6 May, 2022; v1 submitted 17 February, 2022;
originally announced February 2022.
-
On approximation of solutions to the heat equation from Lebesgue class $L^2$ by more regular solutions
Authors:
Alexander Shlapunov
Abstract:
Let $s \in {\mathbb N}$, $T_1,T_2 \in {\mathbb R}$, $T_1<T_2$, and $Ω, ω$ be bounded domains in ${\mathbb R}^n$, $n \geq 1$, such that $ω\subset Ω$ and the complement $Ω\setminus ω$ has no (non-empty) compact components in $Ω$. We prove that this is the necessary and sufficient condition for the space $H^{2s,s} _{\mathcal H} (Ω\times (T_1,T_2))$ of solutions to the heat operator ${\mathcal H} $ in…
▽ More
Let $s \in {\mathbb N}$, $T_1,T_2 \in {\mathbb R}$, $T_1<T_2$, and $Ω, ω$ be bounded domains in ${\mathbb R}^n$, $n \geq 1$, such that $ω\subset Ω$ and the complement $Ω\setminus ω$ has no (non-empty) compact components in $Ω$. We prove that this is the necessary and sufficient condition for the space $H^{2s,s} _{\mathcal H} (Ω\times (T_1,T_2))$ of solutions to the heat operator ${\mathcal H} $ in a cylinder domain $Ω\times (T_1,T_2)$ from the anisotropic Sobolev space $H^{2s,s} (Ω\times (T_1,T_2))$ to be dense in the space $L^{2} _{\mathcal H}(ω\times (T_1,T_2))$, consisting of solutions in the domain $ω\times (T_1,T_2)$ from the Lebesgue class $L^{2} (ω\times (T_1,T_2))$. As an important corollary we obtain the theorem on the existence of a basis with the double orthogonality property for the pair of the Hilbert spaces $H^{2s,s} _{\mathcal H} (Ω\times (T_1,T_2))$ and $L^{2} _{\mathcal H}(ω\times (T_1,T_2))$ .
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
On uniqueness theorems for the inverse problem of Electrocardiography in the Sobolev spaces
Authors:
Vitaly Kalinin,
Alexander Shlapunov,
Konstantin Ushenin
Abstract:
We consider a mathematical model related to reconstruction of cardiac electrical activity from ECG measurements on the body surface. An application of recent developments in solving boundary value problems for elliptic and parabolic equations in Sobolev type spaces allows us to obtain uniqueness theorems for the model. The obtained results can be used as a sound basis for creating numerical method…
▽ More
We consider a mathematical model related to reconstruction of cardiac electrical activity from ECG measurements on the body surface. An application of recent developments in solving boundary value problems for elliptic and parabolic equations in Sobolev type spaces allows us to obtain uniqueness theorems for the model. The obtained results can be used as a sound basis for creating numerical methods for non-invasive map** of the heart.
△ Less
Submitted 28 September, 2022; v1 submitted 6 November, 2021;
originally announced November 2021.
-
Inverse image of precompact sets and existence theorems for the Navier-Stokes equations in spatially periodic setting
Authors:
Alexander Shlapunov,
Nikolai Tarkhanov
Abstract:
We consider the initial problem for the Navier-Stokes equations over ${\mathbb R}^3 \times [0,T]$ with a positive time $T$ in the spatially periodic setting. Identifying periodic vector-valued functions on ${\mathbb R}^3$ with functions on the $3\,$-dimensional torus ${\mathbb T}^3$, we prove that the problem induces an open injective map** ${\mathcal A} _s: B^{s}_1 \to B^{s-1}_2$ where…
▽ More
We consider the initial problem for the Navier-Stokes equations over ${\mathbb R}^3 \times [0,T]$ with a positive time $T$ in the spatially periodic setting. Identifying periodic vector-valued functions on ${\mathbb R}^3$ with functions on the $3\,$-dimensional torus ${\mathbb T}^3$, we prove that the problem induces an open injective map** ${\mathcal A} _s: B^{s}_1 \to B^{s-1}_2$ where $B^{s}_1$, $B^{s-1}_2$ are elements from scales of specially constructed function spaces of Bochner-Sobolev type parametrized with the smoothness index $s \in \mathbb N$. Finally, we prove rather expectable statement that a map ${\mathcal A} _s$ is surjective if and only if the inverse image ${\mathcal A} _s ^{-1}(K)$ of any precompact set $K$ from the range of the map ${\mathcal A} _s $ is bounded in the Bochner space $L^{\mathfrak s} ([0,T], L ^{\mathfrak s} ({\mathbb T}^3))$ with the Ladyzhenskaya-Prodi-Serrin numbers ${\mathfrak s}$, ${\mathfrak r}$.
△ Less
Submitted 10 June, 2021;
originally announced June 2021.
-
On the uniqueness theorems for transmissions problems related to models of elasticity, diffusion and electrocardiography
Authors:
Alexander Shlapunov,
Yulia Shefer
Abstract:
We consider a generalization of the inverse problem of the electrocardiography in the framework of the theory of elliptic and parabolic differential operators. More precisely, starting with the standard bidomain mathematical model related to the problem of the reconstruction of the transmembrane potential in the myocardium from known body surface potentials we formulate a more general transmission…
▽ More
We consider a generalization of the inverse problem of the electrocardiography in the framework of the theory of elliptic and parabolic differential operators. More precisely, starting with the standard bidomain mathematical model related to the problem of the reconstruction of the transmembrane potential in the myocardium from known body surface potentials we formulate a more general transmission problem for elliptic and parabolic equations in the Sobolev type spaces and describe conditions, providing uniqueness theorems for its solutions. Next, the new transmission problem is interpreted in the framework of the elasticity theory applied to composite media. Finally, we prove a uniqueness theorem for an evolutionary transmission problem that can be easily adopted to many models involving the diffusion type equations.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Existence theorems for regular solutions to the Cauchy problem for the Navier-Stokes equations in ${\mathbb R}^3$
Authors:
Alexander Shlapunov,
Nikolai Tarkhanov
Abstract:
We consider the initial problem for the Navier-Stokes equations over ${\mathbb R}^3 \times [0,T]$ with a positive time $T$ over specially constructed scale of function spaces of Bochner-Sobolev type. We prove that the problem induces an open both injective and surjective map** of each space of the scale. In particular, intersection of these classes gives a uniqueness and existence theorem for sm…
▽ More
We consider the initial problem for the Navier-Stokes equations over ${\mathbb R}^3 \times [0,T]$ with a positive time $T$ over specially constructed scale of function spaces of Bochner-Sobolev type. We prove that the problem induces an open both injective and surjective map** of each space of the scale. In particular, intersection of these classes gives a uniqueness and existence theorem for smooth solutions to the Navier-Stokes equations for smooth data with a prescribed asymptotic behaviour at the infinity with respect to the time and the space variables.
△ Less
Submitted 13 September, 2021; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Existence Theorems for Regular Spatially Periodic Solutions to the Navier-Stokes Equations
Authors:
Alexander Shlapunov,
Nikolai Tarkhanov
Abstract:
We consider the initial value problem for the Navier-Stokes equations over $R^{3} \times [0,T]$ with a positive time $T$ in the spatially periodic setting. Identifying periodic vector-valued functions on $R^{3}$ with functions on the three-dimensional torus $T^{3}$, we prove that the problem induces an open both injective and surjective map** of specially constructed function spaces of Bochner-S…
▽ More
We consider the initial value problem for the Navier-Stokes equations over $R^{3} \times [0,T]$ with a positive time $T$ in the spatially periodic setting. Identifying periodic vector-valued functions on $R^{3}$ with functions on the three-dimensional torus $T^{3}$, we prove that the problem induces an open both injective and surjective map** of specially constructed function spaces of Bochner-Sobolev type. This gives a uniqueness and existence theorem for regular solutions to the Navier-Stokes equations. Our techniques consist in proving the closedness of the image by estimating all possible divergent sequences in the preimage and matching the asymptotics.
△ Less
Submitted 9 June, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
On the stability phenomenon of the Navier-Stokes type Equations for Elliptic Complexes
Authors:
Andrei Parfenov,
Alexander Shlapunov
Abstract:
Let ${\mathcal X}$ be a Riemannian $n$-dimensional smooth compact closed manifold, $n\geq 2$, $E^i$ be smooth vector bundles over $\mathcal X$ and $\{A^i,E^i\}$ be an elliptic differential complex of linear first order operators. We consider the operator equations, induced by the Navier-Stokes type equations associated with $\{A^i,E^i\}$ on the scale of anisotropic Hölder spaces over the layer…
▽ More
Let ${\mathcal X}$ be a Riemannian $n$-dimensional smooth compact closed manifold, $n\geq 2$, $E^i$ be smooth vector bundles over $\mathcal X$ and $\{A^i,E^i\}$ be an elliptic differential complex of linear first order operators. We consider the operator equations, induced by the Navier-Stokes type equations associated with $\{A^i,E^i\}$ on the scale of anisotropic Hölder spaces over the layer ${\mathcal X} \times [0,T]$ with finite time $T > 0$. Using the properties of the differentials $A^i$ and parabolic operators over this scale of spaces, we reduce the equations to a nonlinear Fredholm operator equation of the form $(I+K) u = f$, where $K$ is a compact continuous operator. It appears that the Fréchet derivative $(I+K)'$ is continuously invertible at every point of each Banach space under the consideration and the map $(I+K)$ is open and injective in the space.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
On a Singular Perturbation of the Navier-Stokes Equations
Authors:
Alexander Shlapunov,
Nikolai Tarkhanov
Abstract:
The paper is aimed at analysing a singular perturbation of the Navier-Stokes equations on a compact closed manifold. The case of compact smooth manifolds with boundary under the Dirichlet conditions is also included. Global existence and uniqueness is established for the weak solutions of the Cauchy problem. The solution of the regularised system is shown to converge to the solution of the convent…
▽ More
The paper is aimed at analysing a singular perturbation of the Navier-Stokes equations on a compact closed manifold. The case of compact smooth manifolds with boundary under the Dirichlet conditions is also included. Global existence and uniqueness is established for the weak solutions of the Cauchy problem. The solution of the regularised system is shown to converge to the solution of the conventional Navier-Stokes equations provided it is uniformly bounded in parameter.
△ Less
Submitted 23 June, 2019;
originally announced June 2019.
-
On the completeness of the root functions of the Sturm-Liouville problems for the Lamé system in weighted spaces
Authors:
A. Peicheva. A. Shlapunov
Abstract:
We consider three Sturm--Liouville boundary value problems (the coercive ones and the non-coercive one) in a bounded Lipschitz domain for the perturbed Lamé operator with the boundary conditions of Robin type. We prove that the problems are Fredholm ones in proper weighted Sobolev type spaces. The conditions, providing the completeness of the root functions related to the boundary value problem, a…
▽ More
We consider three Sturm--Liouville boundary value problems (the coercive ones and the non-coercive one) in a bounded Lipschitz domain for the perturbed Lamé operator with the boundary conditions of Robin type. We prove that the problems are Fredholm ones in proper weighted Sobolev type spaces. The conditions, providing the completeness of the root functions related to the boundary value problem, are described.
△ Less
Submitted 14 April, 2019;
originally announced April 2019.
-
An Open Map** Theorem for the Navier-Stokes Equations
Authors:
A. Shlapunov,
N. Tarkhanov
Abstract:
We consider the Navier-Stokes equations in the layer ${\mathbb R}^n \times [0,T]$ over $\mathbb{R}^n$ with finite $T > 0$. Using the standard fundamental solutions of the Laplace operator and the heat operator, we reduce the Navier-Stokes equations to a nonlinear Fredholm equation of the form $(I+K) u = f$, where $K$ is a compact continuous operator in anisotropic normed Hölder spaces weighted at…
▽ More
We consider the Navier-Stokes equations in the layer ${\mathbb R}^n \times [0,T]$ over $\mathbb{R}^n$ with finite $T > 0$. Using the standard fundamental solutions of the Laplace operator and the heat operator, we reduce the Navier-Stokes equations to a nonlinear Fredholm equation of the form $(I+K) u = f$, where $K$ is a compact continuous operator in anisotropic normed Hölder spaces weighted at the point at infinity with respect to the space variables. Actually, the weight function is included to provide a finite energy estimate for solutions to the Navier-Stokes equations for all $t \in [0,T]$. On using the particular properties of the de Rham complex we conclude that the Fréchet derivative $(I+K)'$ is continuously invertible at each point of the Banach space under consideration and the map $I+K$ is open and injective in the space. In this way the Navier-Stokes equations prove to induce an open one-to-one map** in the scale of Hölder spaces.
△ Less
Submitted 14 April, 2019;
originally announced April 2019.
-
On a mixed problem for the parabolic Lam'e type operator
Authors:
R. Puzyrev,
A. Shlapunov
Abstract:
We consider a boundary value problem for the parabolic Lamé type operator being a linearization of the Navier-Stokes' equations for compressible flow of Newtonian fluids. It consists of recovering a vector-function, satisfying the parabolic Lamé type system in a cylindrical domain, via its values and the values of the boundary stress tensor on a given part of the lateral surface of the cylinder. W…
▽ More
We consider a boundary value problem for the parabolic Lamé type operator being a linearization of the Navier-Stokes' equations for compressible flow of Newtonian fluids. It consists of recovering a vector-function, satisfying the parabolic Lamé type system in a cylindrical domain, via its values and the values of the boundary stress tensor on a given part of the lateral surface of the cylinder. We prove that the problem is ill-posed in the natural spaces of smooth functions and in the corresponding Hölder spaces; besides, additional initial data do not turn the problem to a well-posed one. Using the Integral Representation's Method we obtain the Uniqueness Theorem and solvability conditions for the problem.
△ Less
Submitted 14 April, 2019;
originally announced April 2019.
-
On Completeness of Root Functions of Sturm-Liouville Problems with Discontinuous Boundary Operators
Authors:
A. Shlapunov,
N. Tarkhanov
Abstract:
We consider a Sturm--Liouville boundary value problem in a boun\-ded domain $\cD$ of $\mathbb{R}^n$. By this is meant that the differential equation is given by a second order elliptic operator of divergent form in $\cD$ and the boundary conditions are of Robin type on $\partial \cD$. The first order term of the boundary operator is the oblique derivative whose coefficients bear discontinuities of…
▽ More
We consider a Sturm--Liouville boundary value problem in a boun\-ded domain $\cD$ of $\mathbb{R}^n$. By this is meant that the differential equation is given by a second order elliptic operator of divergent form in $\cD$ and the boundary conditions are of Robin type on $\partial \cD$. The first order term of the boundary operator is the oblique derivative whose coefficients bear discontinuities of the first kind. Applying the method of weak perturbation of compact self-adjoint operators and the method of rays of minimal growth, we prove the completeness of root functions related to the boundary value problem in Lebesgue and Sobolev spaces of various types.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
On non-coercive mixed problems for parameter-dependent elliptic operators
Authors:
A. Polkovnikov,
A. Shlapunov
Abstract:
We consider a (generally, non-coercive) mixed boundary value problem in a bounded domain $D$ of ${\mathbb R}^n$ for a second order parameter-dependent elliptic differential operator $A (x,\partial, λ)$ with complex-valued essentially bounded measured coefficients and complex parameter $λ$. The differential operator is assumed to be of divergent form in $D$, the boundary operator $B (x,\partial)$ i…
▽ More
We consider a (generally, non-coercive) mixed boundary value problem in a bounded domain $D$ of ${\mathbb R}^n$ for a second order parameter-dependent elliptic differential operator $A (x,\partial, λ)$ with complex-valued essentially bounded measured coefficients and complex parameter $λ$. The differential operator is assumed to be of divergent form in $D$, the boundary operator $B (x,\partial)$ is of Robin type with possible pseudo-differential components on $\partial D$. The boundary of $D$ is assumed to be a Lipschitz surface. Under these assumptions the pair $(A (x,\partial, λ),B)$ induces a holomorphic family of Fredholm operators $L(λ): H^+(D) \to H^- (D)$ in suitable Hilbert spaces $H^+(D)$ , $H^- (D)$ of Sobolev type. If the argument of the complex-valued multiplier of the parame\-ter in $A (x,\partial, λ)$ is continuous and the coefficients related to second order derivatives of the operator are smooth then we prove that the operators $L(λ)$ are conti\-nu\-ously invertible for all $λ$ with sufficiently large modulus $|λ|$ on each ray on the complex plane $\mathbb C$ where the differential operator $A (x,\partial, λ)$ is parameter-dependent elliptic. We also describe reasonable conditions for the system of root functions related to the family $L (λ)$ to be (doubly) complete in the spaces $H^+(D)$, $H^- (D)$ and the Lebesgue space $L^2 (D)$.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
On the Cauchy Problem for Elliptic Complexes in Spaces of Distributions
Authors:
Alexander Shlapunov,
Dmitrii Fedchenko
Abstract:
Let D be a bounded domain in n-dimensional Eucledian space with a smooth boundary. We indicate appropriate Sobolev spaces of negative smoothness to study the non-homogeneous Cauchy problem for an elliptic differential complex {A_i} of first order operators. In particular, we describe traces on the boundary of tangential part t_i (u) and normal part n_i(u) of a (vector)-function u from the correspo…
▽ More
Let D be a bounded domain in n-dimensional Eucledian space with a smooth boundary. We indicate appropriate Sobolev spaces of negative smoothness to study the non-homogeneous Cauchy problem for an elliptic differential complex {A_i} of first order operators. In particular, we describe traces on the boundary of tangential part t_i (u) and normal part n_i(u) of a (vector)-function u from the corresponding Sobolev space and give an adequate formulation of the problem. If the Laplacians of the complex satisfy the uniqueness condition in the small then we obtain necessary and sufficient solvability conditions of the problem and produce formulae for its exact and approximate solutions. For the Cauchy problem in the Lebesgue spaces L^2(D) we construct the approximate and exact solutions to the Cauchy problem with maximal possible regularity. Moreover, using Hilbert space methods, we construct Carleman's formulae for a (vector-) function u from the Sobolev space H^1(D) by its Cauchy data t_i (u) on a subset S on the boundary of the domain D and the values of A_i u in D modulo the null-space of the Cauchy problem. Some instructive examples for elliptic complexes of operators with constant coefficients are considered.
△ Less
Submitted 1 April, 2023; v1 submitted 23 September, 2011;
originally announced September 2011.