In this paper, we present a series of Liouville-type theorems for a class of nonhomogeneous quasilinear elliptic equations featuring reactions that depend on the solution and its gradient. Specifically, we investigate equations of the form $-Î_p u - Î_q u = f(u,\nabla u)$ with $p > q > 1$, where the nonlinearity $f$ takes forms such as $u^s|\nabla u|^m$ or $u^s + M|\nabla u|^m$ ($s, m\geq 0$). Our approach is twofold. For cases where the reaction term satisfies $|f(u,\nabla u)|\leq g(u)|\nabla u|^m$ with $m>q$ and $g$ is continuous, we prove that every bounded solution (without sign restriction) in $\mathbb{R}^N$ is constant by means of an Ishii-Lions type technique. In the remaining scenarios, we turn to the Bernstein method. The application of this method to the nonhomogeneous operator requires a nontrivial adaptation, as, roughly speaking, constant coefficients are replaced by functions that may not be bounded from above, which enables us to establish a crucial a priori estimate for the gradient of solutions in any domain $Ω$. This estimate, in turn, implies the desired Liouville properties on the entire space $\mathbb{R}^N$. As a consequence, we have fully extended Lions Liouville-type result for the Hamilton-Jacobi equation to the $(p,q)$-Laplacian setting, while for the $(p,q)$ generalized Lane-Emden equation, we provide an initial contribution in the direction of the classical result by Gidas and Spruck for $p=q=2$, as well as that of Serrin and Zou for $p=q$.
To the best of our knowledge, this is the first paper which studies Liouville properties for equations with nonhomogeneous operator involving source gradient terms.
논문 ID : 2510.12486제목 : Liouville results for ( p , q ) (p,q) ( p , q ) -Laplacian elliptic equations with source terms involving gradient nonlinearities저자 : Mousomi Bhakta, Anup Biswas, Roberta Filippucci분류 : math.AP (수학 해석)발표 시간 : 2025년 10월 14일논문 링크 : https://arxiv.org/abs/2510.12486 본 논문은 기울기 비선형성 원천항을 포함하는 비제차 준선형 타원 방정식의 한 종류에 대해 일련의 리우빌 형 정리를 확립한다. 구체적으로 − Δ p u − Δ q u = f ( u , ∇ u ) -\Delta_p u - \Delta_q u = f(u,\nabla u) − Δ p u − Δ q u = f ( u , ∇ u ) 형태의 방정식을 연구하며, 여기서 p > q > 1 p > q > 1 p > q > 1 이고 비선형항 f f f 는 u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m 또는 u s + M ∣ ∇ u ∣ m u^s + M|\nabla u|^m u s + M ∣∇ u ∣ m (s , m ≥ 0 s, m \geq 0 s , m ≥ 0 ) 형태를 갖는다. 연구는 이중 방법을 채택한다: ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣ ∇ u ∣ m |f(u,\nabla u)| \leq g(u)|\nabla u|^m ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣∇ u ∣ m 이고 m > q m > q m > q 인 경우, Ishii-Lions 기법을 이용하여 R N \mathbb{R}^N R N 위의 모든 유계해(부호 제한 없음)가 상수임을 증명한다. 다른 경우들은 베르슈타인 방법을 적용한다. 비제차 연산자에 대한 이 방법의 적용은 상수 계수가 아마도 무한대로 발산할 수 있는 함수로 대체되기 때문에 자명하지 않은 적응적 조정이 필요하다.
물리적 배경 : ( p , q ) (p,q) ( p , q ) -라플라시안 연산자는 반응-확산 시스템에서 중요한 응용을 가지며, 일반적 형태는 다음과 같다:
u t = div [ A ( u ) ∇ u ] + c ( x , u ) u_t = \text{div}[A(u)\nabla u] + c(x,u) u t = div [ A ( u ) ∇ u ] + c ( x , u )
여기서 확산 계수 A ( u ) = ( ∣ ∇ u ∣ p − 2 + ∣ ∇ u ∣ q − 2 ) A(u) = (|\nabla u|^{p-2} + |\nabla u|^{q-2}) A ( u ) = ( ∣∇ u ∣ p − 2 + ∣∇ u ∣ q − 2 ) 는 거듭제곱 법칙 의존성을 갖는다.수학적 도전 : 비제차 연산자의 구조는 제차 경우의 전통적 기법이 직접 적용되는 것을 방해하며, 새로운 분석 방법의 개발을 필요로 한다.기울기 비선형성 : 기울기항의 존재는 문제가 변분 구조를 잃게 하며, 더욱 정교한 기법의 사용을 필요로 한다.Lions 23 의 Hamilton-Jacobi 방정식 Δ u = ∣ ∇ u ∣ m \Delta u = |\nabla u|^m Δ u = ∣∇ u ∣ m 에 대한 결과는 라플라시안 연산자에만 적용된다 Bidaut-Véron 등 8 의 p p p -라플라시안 경우에 대한 확장은 기술적 제한을 가진다 비제차 ( p , q ) (p,q) ( p , q ) -라플라시안 연산자의 리우빌 성질에 대한 이전 연구는 없었다 최초 확립 : 기울기 원천항을 포함하는 비제차 연산자 방정식의 리우빌 성질완전한 일반화 : Lions의 Hamilton-Jacobi 방정식 결과를 ( p , q ) (p,q) ( p , q ) -라플라시안 설정으로 확장새로운 기법 개발 : 베르슈타인 방법을 비제차 연산자에 적응시켜 비상수 계수 문제 처리정확한 임계값 조건 제공 : 리우빌 성질이 성립하는 매개변수 범위를 특성화다양한 고전 결과의 통일 : Gidas-Spruck 및 Serrin-Zou의 일반화 포함R N \mathbb{R}^N R N 위의 방정식 − Δ p u − Δ q u = f ( u , ∇ u ) -\Delta_p u - \Delta_q u = f(u,\nabla u) − Δ p u − Δ q u = f ( u , ∇ u ) 의 해의 리우빌 성질을 연구하며, 여기서:
Δ p u = div ( ∣ ∇ u ∣ p − 2 ∇ u ) \Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u) Δ p u = div ( ∣∇ u ∣ p − 2 ∇ u ) 는 p p p -라플라시안 연산자f f f 는 세 가지 형태를 갖는다: ∣ ∇ u ∣ m |\nabla u|^m ∣∇ u ∣ m , u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m , u s + M ∣ ∇ u ∣ m u^s + M|\nabla u|^m u s + M ∣∇ u ∣ m m > q m > q m > q 인 경우, 점성해 이론의 Ishii-Lions 방법을 채택한다:
주요 단계 :
이변수 함수 구성: Φ ( x , y ) = u ( x ) − u ( y ) − δ ∣ x − y ∣ γ − ψ ( x / R ) \Phi(x,y) = u(x) - u(y) - \delta|x-y|^\gamma - \psi(x/R) Φ ( x , y ) = u ( x ) − u ( y ) − δ ∣ x − y ∣ γ − ψ ( x / R ) Crandall-Ishii-Jensen 보조정리를 이용하여 이계 상하 제트의 성질 획득 정교한 추정을 통해 모순 증명, 따라서 해의 상수성 도출 다른 경우들에 대해 비제차 연산자에 적응된 베르슈타인 기법을 개발한다:
기술적 혁신 :
보조 함수 도입: A = 1 + ∣ b ∣ p − q v ( b − 1 ) ( p − q ) z ( p − q ) / 2 A = 1 + |b|^{p-q}v^{(b-1)(p-q)}z^{(p-q)/2} A = 1 + ∣ b ∣ p − q v ( b − 1 ) ( p − q ) z ( p − q ) /2 타원 연산자 구성: A v ( w ) = − Δ w − D A ⟨ D 2 w ∇ v , ∇ v ⟩ ∣ ∇ v ∣ 2 A_v(w) = -\Delta w - \frac{D}{A}\frac{\langle D^2w\nabla v, \nabla v\rangle}{|\nabla v|^2} A v ( w ) = − Δ w − A D ∣∇ v ∣ 2 ⟨ D 2 w ∇ v , ∇ v ⟩ 비상수 계수 처리를 위한 핵심 부등식 확립 (보조정리 2) 곱 비선형성 u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m 에 대해, 복잡한 임계값을 정의한다:
Q 1 = 2 ( q − 1 ) N − 4 ( q − 1 ) 2 N 2 − R Q_1 = \frac{2(q-1)}{N} - \sqrt{\frac{4(q-1)^2}{N^2} - R} Q 1 = N 2 ( q − 1 ) − N 2 4 ( q − 1 ) 2 − R Q 2 = 2 ( q − 1 ) N + 4 ( q − 1 ) 2 N 2 − R Q_2 = \frac{2(q-1)}{N} + \sqrt{\frac{4(q-1)^2}{N^2} - R} Q 2 = N 2 ( q − 1 ) + N 2 4 ( q − 1 ) 2 − R
여기서 R = ( p − q ) [ p − q + 4 N ( p − 1 ) ] R = (p-q)[p-q + \frac{4}{N}(p-1)] R = ( p − q ) [ p − q + N 4 ( p − 1 )]
비제차성 처리 : 베르슈타인 방법의 상수 계수를 해에 의존하는 함수 계수로 일반화정확한 타원성 추정 : 수정된 연산자의 일관된 타원성 증명복잡한 대수 계산 : 여러 매개변수를 포함하는 삼차 다항식 판별식 처리척도 변환 분석 : 방정식의 근사 척도 불변성 이용방정식 − Δ p u − Δ q u = ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = |\nabla u|^m − Δ p u − Δ q u = ∣∇ u ∣ m 에 대해, m > p − 1 m > p-1 m > p − 1 일 때:
기울기 추정이 존재한다: ∣ ∇ u ( x ) ∣ ≤ C ( 1 + dist ( x , ∂ Ω ) − 1 m − p + 1 ) |\nabla u(x)| \leq C(1 + \text{dist}(x,\partial\Omega)^{-\frac{1}{m-p+1}}) ∣∇ u ( x ) ∣ ≤ C ( 1 + dist ( x , ∂ Ω ) − m − p + 1 1 ) R N \mathbb{R}^N R N 위의 모든 해는 상수이다방정식 − Δ p u − Δ q u = u s ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = u^s|\nabla u|^m − Δ p u − Δ q u = u s ∣∇ u ∣ m 에 대해, 적절한 매개변수 조건 하에서:
기울기의 선험적 추정이 확립된다 R N \mathbb{R}^N R N 위의 비음 해의 상수성이 증명된다∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣ ∇ u ∣ m |f(u,\nabla u)| \leq g(u)|\nabla u|^m ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣∇ u ∣ m 이고 m > q m > q m > q 를 만족하는 일반적 경우:
R N \mathbb{R}^N R N 위의 모든 유계해는 상수이다방정식 − Δ p u − Δ q u = u s + M ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = u^s + M|\nabla u|^m − Δ p u − Δ q u = u s + M ∣∇ u ∣ m 에 대해:
기울기 추정과 리우빌 성질이 확립된다 정확한 매개변수 임계값 조건이 주어진다 비제차성 : ( p , q ) (p,q) ( p , q ) -라플라시안 연산자의 비제차성은 척도 불변성을 파괴한다변계수 타원성 : 수정된 연산자는 해에 의존하는 변계수를 갖는다복잡한 대수 계산 : 고차 다항식의 부호 판정을 처리해야 한다정교한 함수 정의 : A , D , E A, D, E A , D , E 함수를 통해 다양한 경우를 통일적으로 처리Young 부등식의 교묘한 적용 : 핵심 추정에서 서로 다른 항들의 균형 유지점근 분석 : 매개변수가 무한대로 갈 때의 극한 행동 이용Lions (1985) : Hamilton-Jacobi 방정식의 리우빌 정리Gidas-Spruck (1981) : Lane-Emden 방정식의 고전 결과Serrin-Zou (2002) : p p p -라플라시안 경우의 일반화Bidaut-Véron 등 : 기울기 비선형성의 p p p -라플라시안 경우본 논문은 비제차 ( p , q ) (p,q) ( p , q ) -라플라시안 연산자의 경우를 최초로 다루며, 이 분야의 공백을 채운다.
( p , q ) (p,q) ( p , q ) -라플라시안 설정에서 Hamilton-Jacobi 형 방정식의 리우빌 성질을 완전히 해결곱 및 합 형 비선형성에 대해 정확한 매개변수 임계값 제공 비제차 연산자 처리를 위한 새로운 기법 개발 m > q m > q m > q 인 경우, 해의 유계성 가정이 필요하다특정 매개변수 범위의 임계값이 최적이 아닐 수 있다 기술 방법의 복잡성이 추가 일반화를 제한한다 유계성 가정 제거에 관한 연구 더욱 일반적인 비제차 연산자로의 확장 관련 존재성 문제의 연구 이론적 완전성 : 다양한 유형의 비선형항을 체계적으로 처리기술적 혁신 : 고전적 방법을 비제차 경우에 성공적으로 적응결과의 정확성 : 명확한 매개변수 임계값 조건 제공응용 가치 : 관련 물리 모델에 수학적 기초 제공기술적 복잡성 : 일부 증명이 과도하게 기술화되어 가독성이 떨어진다가정의 제한 : 일부 결과는 상당히 강한 가정 조건을 필요로 한다최적성 : 일부 임계값의 최적성이 완전히 확인되지 않았다본 연구는 비제차 연산자 리우빌 이론 연구의 선구적 작업이며, 이 분야의 추가 발전을 촉진할 것으로 예상되며, 관련 존재성 및 정칙성 문제에 새로운 관점을 제공할 것으로 기대된다.
반응-확산 시스템의 수학적 분석 비선형 타원 방정식 이론 수학 물리의 솔리톤 연구 변분 문제의 임계점 이론 논문은 리우빌 이론, 타원 방정식, 점성해 이론 등 다양한 분야의 고전 및 최신 연구를 포함하는 32편의 중요 문헌을 인용하며, 연구에 견고한 이론적 기초를 제공한다.