Sharp Pointwise Estimates for Solutions of Weakly Coupled Second Order Parabolic System in a Layer
Total Page:16
File Type:pdf, Size:1020Kb
Sharp pointwise estimates for solutions of weakly coupled second order parabolic system in a layer Gershon Kresina∗ and Vladimir Maz’yab † aDepartment of Mathematics, Ariel University, Ariel 40700, Israel bDepartment of Mathematical Sciences, University of Liverpool, M&O Building, Liverpool, L69 3BX, UK; Department of Mathematics, Link¨oping University,SE-58183 Link¨oping, Sweden; RUDN University, 6 Miklukho-Maklay St., Moscow, 117198, Russia In memory of great mathematician S.L. Sobolev Abstract. We deal with m-component vector-valued solutions to the Cauchy problem for linear both homogeneous and nonhomogeneous weakly coupled second order parabolic Rn+1 Rn system in the layer T = (0, T ). We assume that coefficients of the system are real and depending only on t, n 1× and T < . The homogeneous system is considered with initial data in [Lp(Rn)]m, 1 ≥p . For the∞ nonhomogeneous system we suppose that the ≤ ≤∞ p Rn+1 m α Rn+1 m initial function is equal to zero and the right-hand side belongs to [L ( T )] [C T ] , α (0, 1). Explicit formulas for the sharp coefficients in pointwise estimates ∩for solutions of these∈ problems and their directional derivative are obtained. Keywords: Cauchy problem, weakly coupled parabolic system, sharp pointwise estimates, directional derivative of a vector field AMS Subject Classification: Primary 35K45, 35A23; Secondary 47A30 arXiv:2004.07942v1 [math.AP] 14 Apr 2020 1 Introduction Parabolic equations and systems are classical subjects of mathematical physics (e.g. [1], [2], [14], [15]). The present paper is a continuation of our recent work [10] on sharp pointwise estimates for the gradient of solutions to the Cauchy problem for the single parabolic equation of the second order with constant coefficients. We say that the estimate is sharp if the coefficient in front of the norm in the majorant part of the inequality cannot be diminished. ∗Corresponding author. E-mail: [email protected] †E-mail: [email protected] 1 Sharp pointwise estimates for solutions to the Laplace, modified Helmholtz, Lam´e, Stokes, and heat equations , as well as for the analytic functions were obtained earlier in [5] - [9]. In this paper we study solutions of the Cauchy problem for parabolic weakly coupled system with real coefficients of the form ∂u n ∂2u n ∂u = a (t) + b (t) + C(t)u + f(x, t) (1.1) ∂t jk ∂x ∂x j ∂x j k j=1 j j,kX=1 X Rn+1 Rn in the layer T = (0, T ) with initial condition u t=0 = ϕ, considering separately two cases, f = 0 and ϕ = 0.× Here and henceforth T < , n | 1, u(x, t)=(u (x, t),...,u (x, t)) ∞ ≥ 1 m and f(x, t)=(f1(x, t),...,fm(x, t)). Throughout the article, we assume that A(t) = ((ajk(t))) is a symmetric positive defi- nite (n n)-matrix-valued function on [0, T ], which elements satisfy the H¨older condition × with exponent α/2 (0 <α< 1), b1(t),...,bn(t) are continuous functions on [0, T ], C(t) is continuous on [0, T ] matrix-valued function of order m. We obtain sharp pointwise estimates for u , ∂u/∂ℓ and max|ℓ|=1 ∂u/∂ℓ , where u solves | | | Rn+1| | | the Cauchy problem for system (1.1) in the layer T , denotes the Euclidean length of a vector and ℓ is a unit n-dimensional vector. By ∂u|·|/∂ℓ we mean the derivative of a vector-valued function u(x, t) in the direction ℓ: ∂u u(x + λℓ, t) u(x, t) = lim − ∂ℓ λ→0+ λ m ∂u = (ℓ, )u = j e , (1.2) ∇x ∂ℓ j j=1 X where x =(∂/∂x1,...,∂/∂xn) and ej means the unit vector of the j-th coordinate axis. The∇ present paper consists of five sections, including Introduction. Section 2 is auxiliary. Rn+1 Section 3 is devoted to explicit formulas for solutions of the Cauchy problem in T for system (1.1). In Section 4, we consider a solution of the Cauchy problem u n 2u n u ∂ ∂ ∂ Rn+1 = ajk(t) + bj(t) + C(t)u in T , ∂t ∂xj ∂xk ∂xj j,k=1 j=1 (1.3) X X u ϕ t=0 = , where ϕ [Lp(R n)]m, p [1, ]. The norm in the space [Lp(Rn)]m is defined by ∈ ∈ ∞ k·kp 1/p p ϕ p = ϕ(x) dx k k Rn | | Z for 1 p< , and ≤ ∞ ϕ = ess sup ϕ(x) : x Rn . k k∞ {| | ∈ } 2 In this section we obtain two groups of sharp estimates. First of them concerns modulus to solution u of problem (1.3). Namely, we derive the inequality u(x, t) (t) ϕ (1.4) | | ≤ Hp k kp with the sharp coefficient |||eIC∗ (t)||| p(t)= 1/p , (1.5) H 1/2 ′ (2√π)n/p det (t) (p′)n/(2p ) IA Rn+1 t where (x, t) is an arbitrary point in the layer T . Here and henceforth F (t)= 0 F (t)dt, where F can be a vector-valued or matrix-valued function, p−1 + p′−1 =I 1, the symbol ∗ R denotes passage to the transposed matrix and |||B||| = max z Bz means the spectral norm | |=1 | | Rl 1/2 of the l l real-valued matrix B, z . It is known (e.g. [11], sect. 6.3) that |||B||| = λB , × ∈ ∗ where λB is the spectral radius of the matrix B B. As a special case of (1.5) one has (t)= |||eIC∗ (t)||| . (1.6) H∞ For the single parabolic equation ∂u n ∂2u n ∂u = a (t) + b (t) + c(t)u + f(x, t) (1.7) ∂t jk ∂x ∂x j ∂x j k j=1 j j,kX=1 X with f = 0, formula (1.6) becomes t (t) = exp c(t)dt . H∞ Z0 The second group of sharp estimates concerns modulus of ∂u/∂ℓ, where u is solution of problem (1.3). Namely, the formula for the sharp coefficient ′ ′ 1/p −1/2 p +1 IC∗ (t) Γ A (t)ℓ ||| e ||| 2 ℓ(t)= I (1.8) p, 1/2 1/p ′(n+p′)/2 K 2nπ (n+p−1)/2 det (t) p IA in the inequality ∂u (x, t) ℓ(t) ϕ (1.9) ∂ℓ ≤Kp, k kp is obtained, where (x, t) is an arbitrary point in the layer Rn+1. T As a consequence of (1.8), the sharp coefficient p(t) = max p,ℓ(t) (1.10) K |ℓ|=1 K 3 in the inequality ∂u max (x, t) p(t) ϕ p (1.11) |ℓ|=1 ∂ℓ ≤K k k is found. In particular, 1 − 1/2 (t)= ||| (t)|||||| eIC∗ (t)||| . (1.12) K∞ √π IA For the single parabolic equation (1.7) with f = 0, the previous formula takes the form 1 t (t)= ||| −1/2(t)||| exp c(t)dt . (1.13) K∞ √π IA Z0 As a special case of (1.13) one has t 1 exp 0 c(t)dt ∞(t)= 1/2 K √π tnR o 0 a(t)dt n o for A(t)= a(t)I, where I is the unit matrix of orderR n. In Section 5 we consider a solution of the Cauchy problem u n 2u n u ∂ ∂ ∂ Rn+1 = ajk(t) + bj(t) + C(t)u + f(x, t) in T , ∂t ∂xj ∂xk ∂xj j,k=1 j=1 (1.14) X X u 0 t=0 = , where f [ Lp(Rn+1)]m [Cα Rn+1 ]m, α (0, 1). By [Cα Rn+1 ]m we denote the space of ∈ T ∩ T ∈ T f Rn+1 m-component vector-valued functions (x, t) which are continuous and bounded in T and locally H¨older continuous with exponent α in x Rn, uniformly with respect to t [0, T ]. p Rn+1 m ∈ ∈ The space [L T ] is endowed with the norm T 1/p p f p,T = (f(x, τ) dxdτ k k Rn Z0 Z for 1 p< , and ≤ ∞ f = ess sup f(x, τ) : x Rn, τ (0, T ) . k k∞,T {| | ∈ ∈ } In this section we also obtain two groups of sharp estimates. As before, first of them concerns modulus to solution u of problem (1.14). Namely, we prove the inequality u(x, t) (t) f (1.15) | |≤Np k kp,t with the sharp coefficient ′ p′ 1/p 1 t eIC∗ (t,τ)z (t)= max dτ , (1.16) p n/p ′ n/(2p′) 1/2 p′−1 N (2√π) p |z|=1 ( 0 det (t, τ ) ) Z IA 4 Rn+1 t where (x, t) is an arbitrary point in the layer T . Here and henceforth F (t, τ)= τ F (t)dt, where F can be a vector-valued or matrix-valued function. Formula (1.16)I is obtained under assumption that the integral in (1.16) converges. For instance, integral in (1.16) is convergentR for p> (n + 2)/2 in the case of single parabolic equation with constant coefficients. As a special case of (1.16) one has t IC∗ (t,τ) ∞(t) = max e z dτ. (1.17) N |z|=1 Z0 For the single parabolic equation (1.7) the previous formula takes the form t t (t)= exp c(t)dt dτ . N∞ Z0 Zτ The second group of sharp estimates concerns ∂u/∂ℓ. The explicit formula for the sharp coefficient ′ ′ ′ 1/p p ′ 1/p p′+1 −1/2 p t ℓ IC∗ (t,τ)z 1 Γ 2 A (t, τ) e (t)= max I dτ (1.18) p,ℓ 1/p ′ (n+p′)/2 p′−1 C n (n+p−1)/2 p |z|=1 0 1/2 2 π Z det (t, τ) IA in the inequality ∂u (x, t) ℓ(t) f (1.19) ∂ℓ ≤ Cp, k kp,t for solutions of the Cauchy problem (1.14) is found, where (x, t) Rn+1.