Boundary value problems for non-linear parabolic equations with singular potentials are considered. Existence and non-existence results as an application of different Hardy inequalities are proved. Blow-up conditions are investigated too.
Paper ID : 2108.01650Title : Application of Hardy inequalities for some singular parabolic equationsAuthors : Nikolai Kutev, Tsviatko Rangelov (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)Classification : math.AP (Mathematical Analysis - Partial Differential Equations)Submission Date : August 2021Paper Link : https://arxiv.org/abs/2108.01650 This paper investigates boundary value problems for nonlinear parabolic equations with singular potentials. By applying various Hardy inequalities, the authors establish existence and non-existence results for solutions and study blow-up conditions.
The paper primarily studies boundary value problems for singular p-heat equations:
ut - Δpu = μW(x)|u|^(p-2)u, x ∈ Ω, t > 0
u(x,0) = u0(x), x ∈ Ω
u(x,t) = 0, x ∈ ∂Ω, t > 0
where Δpu = div(|∇u|^(p-2)∇u) is the p-Laplacian operator, and W(x) is a weight function singular at the boundary ∂Ω or at the origin.
Singular potential parabolic problems have important applications in multiple fields:
Molecular Physics : Electron capture problemsQuantum Cosmology : Fundamental equations in quantum mechanicsPorous Media Flow : Fluid diffusion in porous mediaCombustion Models : Critical reaction terms in reaction-diffusion problemsThe pioneering work of Baras-Goldstein only addressed the case p=2 with Hardy potential W(x)=|x|^(-2) Azorero-Alonso extended results to 2<p<n, but remained limited to Hardy potentials singular at the origin Lack of research on more general Hardy potentials singular at the boundary or simultaneously at the origin and boundary This paper aims to extend existing results to more general singular parabolic equations, considering four novel Hardy potentials with singularities at the boundary or simultaneously at the origin and boundary.
Generalization of Classical Results : Extends the results of Baras-Goldstein and Azorero-Alonso to four new Hardy potentialsEstablishment of Existence Theorems : Proves existence of global weak solutions when μ is less than the optimal Hardy constantProof of Blow-up Results : Demonstrates finite-time blow-up of solutions when μ exceeds the optimal Hardy constantIntroduction of Novel Hardy Potentials : Studies new singular potentials with boundary singularities, logarithmic corrections, and singularities on star-shaped domainsInvestigation of well-posedness for singular p-heat equations under four types of Hardy potentials:
Potential Function Types :
i) W(x) = d^(-p)(x), d(x) = dist(x,∂Ω) ii) W(x) = d^(-p)(x) + (p/(2(p-1)))d^(-p)log^(-2)(d(x)/D) iii) W(x) = (|x|log(R/|x|))^(-n) iv) W(x) = |x|^(m-n)|φ^m(x) - |x|^m|^(-p) The paper is based on four key Hardy inequalities:
Boundary-Singular Hardy Inequality (potential i):∫_Ω |∇u|^p dx ≥ Cp ∫_Ω |u|^p/d^p(x) dx
where Cp = ((p-1)/p)^p is the optimal constant.Logarithmically Corrected Hardy Inequality (potential ii):∫_Ω |∇u|^p dx ≥ C ∫_Ω |u|^p/(d^p(x)(1 + (1/2)(p/(p-1))log^(-2)(d(x)/D))) dx
Logarithmic Hardy Inequality (potential iii):∫_Ω |∇u|^n dx ≥ Cn ∫_Ω |u|^n/(|x|log(R/|x|))^n dx
Star-Shaped Domain Hardy Inequality (potential iv):∫_Ω |∇u|^p dx ≥ Cp,n ∫_Ω |u|^p/(|x|^(n-m)|φ^m(x)-|x|^m|^p) dx
Truncation Method : Introduction of truncated functions WN(x) = min{N,W(x)}Energy Estimates : Utilization of Hardy inequalities to obtain a priori estimatesMonotonicity Arguments : Application of comparison principles to establish monotonicity of solution sequencesLimiting Process : Passage to limits via the Boccardo-Murat theoremUnified Treatment Framework : Provides a unified analytical framework for four different types of Hardy potentialsOptimal Constant Application : Fully exploits the critical nature of optimal constants in Hardy inequalitiesGeneralized Comparison Principle : Extends comparison principles to more general singular weight functionsSeparation of Variables Construction : Cleverly employs separation of variables to construct blow-up subsolutionsThe paper employs purely theoretical analysis methods, verifying results through rigorous mathematical proofs:
Energy Methods : Utilization of multiplier techniques and integration by partsVariational Methods : Application of Rayleigh quotients and first eigenvalue theoryComparison Principles : Construction of upper and lower solutions for comparisonTruncation Techniques : Handling singularitiesHölder Inequality : Energy estimatesYoung Inequality : Control of nonlinear termsEigenvalue Theory : Analysis of critical parametersTheorems 2.1-2.4 : For four types of Hardy potentials, when μ < C (optimal Hardy constant), problem (1.1) admits a global solution
u(x,t) ∈ L^∞((0,τ), L^2(Ω)) ∩ L^p((0,τ), W^(1,p)(Ω))
Key Estimate :
∫_Ω |uN(x,T)|^2 dx + (1-μC^(-1)) ∫_0^T ∫_Ω |∇uN(x,t)|^p dxdt ≤ ∫_Ω |u0(x)|^2 dx
Theorem 3.2 : When p > n ≥ 2, u0 ∈ L^∞(Ω), u0(x) > 0, and μ > C, the solution blows up in finite time.
Blow-up Mechanism :
Construction of separated variable subsolution v(x,t) = X(x)T(t) T(t) = T01-(p-2)T0^(p-2)t ^(-1/(p-2)) blows up at time t = (p-2)T0^(p-2) ^(-1) Comparison principle implies the original solution must also blow up Theorem 3.1 : Under appropriate boundedness conditions, establishes a comparison principle for solutions, providing a key tool for blow-up analysis.
Baras-Goldstein (1984) : Pioneering work, p=2, W(x)=|x|^(-2)Vázquez-Zuazua (2000) : Complete functional framework descriptionAzorero-Alonso (1998) : Extension to p-Laplacian casePorzio (2009) : Asymptotic behavior in quasilinear casePotential Function Innovation : First systematic study of boundary-singular and mixed-singular potentialsRelaxed Geometric Conditions : Applicability to star-shaped domains and more general geometriesOptimal Constant Precision : All results achieve optimal constants in Hardy inequalitiesCritical Phenomenon : μ = C is the critical value for existence versus blow-upGeometric Dependence : Results depend on geometric properties of the domain (convexity, star-shapedness, etc.)Optimality : All constants are optimal and cannot be improvedGeometric Restrictions : Some results require specific geometric conditions (e.g., convexity, star-shapedness)Dimensional Restrictions : Some results have restrictions on spatial dimensionInitial Value Conditions : Blow-up results require positive initial value conditionsMore General Geometries : Study of similar problems on more general domainsCritical Case : Investigation of precise behavior when μ = CNumerical Methods : Development of corresponding numerical algorithms to verify theoretical resultsTheoretical Completeness : Provides a complete theoretical picture from existence to blow-upMethod Uniformity : Offers unified treatment for different types of Hardy potentialsResult Optimality : All constants are optimal with deep mathematical significanceBroad Applicability : Results applicable to multiple physical and engineering fieldsStrict Geometric Conditions : Some results require strong geometric assumptionsLack of Numerical Verification : Purely theoretical work without numerical experimentsIncomplete Critical Case : Behavior when μ = C requires further investigationTheoretical Contribution : Important supplement to theory of singular parabolic equationsMethodological Value : Exemplary application of Hardy inequalities in PDEsApplication Potential : Provides mathematical theoretical foundation for related physical problemsSchrödinger equations in quantum mechanics Reaction-diffusion equations in combustion theory Fluid diffusion problems in porous media Electron capture problems in molecular physics The paper cites 27 important references covering classical works in Hardy inequalities, singular parabolic equations, variational methods, and other related fields, providing a solid theoretical foundation for the research.
Overall Assessment : This is a high-quality mathematical analysis paper that systematically studies parabolic equations with singular potentials through clever application of Hardy inequalities, obtaining profound mathematical results. The paper is theoretically rigorous, methodologically innovative, and possesses significant theoretical value and application prospects for related fields.