The solvability of the initial boundary-value problem for equations of motion of a viscous compressible barotropic liquid in the spacesW 2 l+1,l/2+1 (Q T )

A new method of estimating the solutions of the Navier-Stokes equations for a viscous compressible barotropic fluid in a bounded domain Ω⊂ℝ³ is suggested, which makes it possible to investigate the problem for the whole scale of anisotropic spaces W ₂ ^l+2,l/2+1 (Q_T), Q_T=Ω×(0,T), for arbitrary l>1/2. Bibliography: 10 titles. To dear Olga Alexandrovna Ladyzenskaya on her jubilee Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 200, 1992, pp. 177–186. Translated by V. A. Solonnikov.     

The mixed boundary value problem for degenerate quasilinear parabolic equations

Let Ω⊂R ⁿ (n≥2) be a bounded open set;Q _T =Ω×[0,T],S _T =δΩ×[0,T],S ₁,S ₂ be the partial boundaries of Ω andS ₁∪S ₂=δΩ,S ₁∩S ₂=Φ. We denote Γ_1.T =S ₁×[0,T], Γ_2.T =S ₂×[0,T], and consider the problem

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Partial regularity of solutions to the magnetohydrodynamic equations

We study the local smoothness of solutions to the magnetohydrodynamic equations

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

Optimal Three Cylinder Inequality at the Boundary for Solutions to Parabolic Equations and Unique Continuation Properties

Let Γ be a portion of a C ^1,α boundary of an n-dimensional domain D. Let u be a solution to a second order parabolic equation in D × (–T, T) and assume that u = 0 on Γ × (–T, T), 0 ∈ Γ. We prove that u satis.es a three cylinder inequality near Γ × (–T, T) . As a consequence of the previous result we prove that if u (x, t) = O (|x|^k) for every t ∈ (–T, T) and every k ∈ ℕ, then u is identically equal to zero. This work is partially supported by MURST, Grant No. MM01111258     

Unique solvability of the Cauchy problem for a system of Maxwell equations with initial data on a timelike surface

In this paper, a uniqueness theorem on the solution of the Cauchy problem for a system of Maxwell equations is proved in the case where the coefficients ε and μ are analytic functions of coordinates and the initial data are given on an “immovable” surface Σ=Γ×[0≤t≤2T], where Γ is an analytic surface in R³. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 30–37. Translated by N.S. Zabavnikova.     

On representation of the solution of the Neumann problem in a domain with peak by the harmonic simple layer potential

The problem of finding a solution of the Neumann problem for the Laplacian in the form of a simple layer potential Vρ with unknown density ρ is known to be reducible to a boundary integral equation of the second kind to be solved for density. The Neumann problem is examined in a bounded n-dimensional domain Ω⁺ (n > 2) with a cusp of an outward isolated peak either on its boundary or in its complement Ω⁻ = R ⁿ \Ω⁺. Let Γ be the common boundary of the domains Ω^±, Tr(Γ) be the space of traces on Γ of functions with finite Dirichlet integral over R ⁿ , and Tr(Γ)* be the dual space to Tr(Γ). We show that the solution of the Neumann problem for a domain Ω⁻ with a cusp of an inward peak may be represented as Vρ⁻, where ρ⁻ ∈ Tr(Γ)* is uniquely determined for all Ψ⁻ ∈ Tr(Γ)*. If Ω⁺ is a domain with an inward peak and if Ψ⁺ ∈ Tr(Γ)*, Ψ⁺ ⊥ 1, then the solution of the Neumann problem for Ω⁺ has the representation u ⁺ = Vρ⁺ for some ρ⁺ ∈ Tr(Γ)* which is unique up to an additive constant ρ₀, ρ₀ = V ⁻¹(1). These results do not hold for domains with outward peak.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

Sharp regularity estimates for solutions of the wave equation and their traces with prescribed neumann data

In this paper the regularity properties of second-order hyperbolic equations defined over a rectangular domain Θ with boundary Γ under the action of a Neumann boundary forcing term inL ² (0,T;H ^1/4 (Γ)) are investigated. With this given boundary input, we prove by a cosine operator/functional analytical approach that not only is the solution of the wave equation and its derivatives continuous in time, with their pointwise values in a basic energy space (in the interior of Ω), but also that a trace regularity thereof can be assigned for the solution’s time derivative in an appropriate (negative) Sobolev space. This new-found information on the solution and its traces is crucial in handling a mathematical model derived for a particular fluid/structure interaction system.     

On classical solutions of the compressible Navier-Stokes equations with nonnegative initial densities

We study the Navier-Stokes equations for compressible barotropic fluids in a bounded or unbounded domain Ω of R³. We first prove the local existence of solutions (ρ,u) in C([0,T_*]; (ρ^∞ +H³(Ω)) × under the assumption that the data satisfies a natural compatibility condition. Then deriving the smoothing effect of the velocity u in t>0, we conclude that (ρ,u) is a classical solution in (0,T_**)×Ω for some T_** ∈ (0,T_*]. For these results, the initial density needs not be bounded below away from zero and may vanish in an open subset (vacuum) of Ω.     

On the time continuity of entropy solutions

We show that any entropy solution u of a convection diffusion equation ?_t u + div F(u)-Df(u) = b{\partial_t u + {\rm div} F(u)-\Delta\phi(u) =b} in Ω × (0, T) belongs to C([0,T),L¹_loc(W)){C([0,T),L^1_{\rm loc}({\Omega}))} . The proof does not use the uniqueness of the solution.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

Sistemi parabolici del secondo ordine,non variazionali,a coefficienti discontinui

Riassunto Nel cilindroQ=Ω×(0,T) si considerano sistemi parabolici (E+ϖ/ϖt) di forma non variazionale e con coefficienti discontinui, e si dimostra un teorema di isomorfismoW ₀ ^p (Q)→L ^p (Q;R ^N ) e un teorema di regolarità locale negli spazi di Morrey.

---

Summary In the cylinderQ=Ω×(0, T) we consider parabolic systems (E+ϖ/ϖt), in non variational form and with discontinuous coefficients, and we prove an theorem of isomorphismW ₀ ^p (Q)→L ^p (Q;R ^N ) and an theorem of local regularity in the Morrey’s spaces.

---

---

Lavoro eseguito nell’ambito del gruppo G.N.A.F.A. del C.N.R.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

Optimal location of the support of the control for the 1-D wave equation: numerical investigations

We consider in this paper the homogeneous 1-D wave equation defined on Ω⊂ℝ. Using the Hilbert Uniqueness Method, one may define, for each subset ω⊂Ω, the exact control v _ω of minimal L ²(ω×(0,T))-norm which drives to rest the system at a time T>0 large enough. We address the question of the optimal position of ω which minimizes the functional . We express the shape derivative of J as an integral on ∂ ω×(0,T) independently of any adjoint solution. This expression leads to a descent direction for J and permits to define a gradient algorithm efficiently initialized by the topological derivative associated with J. The numerical approximation of the problem is discussed and numerical experiments are presented in the framework of the level set approach. We also investigate the well-posedness of the problem by considering a relaxed formulation.     

Solvability of the general boundary-value problem for the linearized nonstationary system of Navier-Stokes equations

On the bounded cylindrical domain Q_T = x(0,T), ³, one considers the initialboundary-value problem for the system of Navier-Stokes equations in which the boundary conditions are given by an arbitrary matrix differential operator of dimension 3×4. Under certain restrictions on this operator and on the data of the problem one shows the existence of a solution in the spaces W _p ^2l,l (Q_T) for any finite T.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 110, pp. 105–119, 1981.     

Diffuse measures and nonlinear parabolic equations

Given a parabolic cylinder Q = (0, T) × Ω, where W ì \mathbb R^N{\Omega\subset \mathbb {R}^N} is a bounded domain, we prove new properties of solutions of

Properties of solutions of linear and quasilinear second-order equations with measurable coefficients which are neither strictly nor uniformly parabolic

In the cylinder Q_T=×(O,T], where is a bounded domain in Rⁿ, linear and quasilinear second-order equations with measurable coefficients in Q_T are considered which are, in general, neither strictly nor uniformly parablic. Previous results of the author for equations of this sort are developed.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 69, pp. 45–64, 1977.