极速滚球-beplay滚球玩法刺激-beplay体育官网网页版等您来挑战！

Pure Mathematics

2160-7583 2160-7605

beplay体育官网网页版等您来挑战！

10.12677/pm.2024.148300

pm-93940

Articles

数学与物理

一类Monge-Ampère系统径向解的存在性
Existence of Radial Solutions for a Class of Monge-Ampère Systems

景

娜

西北师范大学数学与统计学院，甘肃兰州

07 08 2024

14 08 25 30 11 7 ：2024 8 7 ：2024 8 8 ：2024

2024

This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

20世纪以来，随着科学技术的发展，出现了许多新型的偏微分方程，如椭圆型方程、双曲线型方程和抛物线方程等，这些偏微分方程求解问题都可以转化为求相应常微分方程的解或研究解的性质的问题。Monge-Ampère方程是一类完全非线性偏微分方程，起源于几何学，在微分几何，流体力学，最优化问题等领域有广泛应用。近年来，关于Monge-Ampère方程的研究已取得了很大的突破，众多学者运用不同的方法去讨论这类方程解的存在性，多解性及其唯一性，例如，不动点定理、上下解方法、单调迭代方法、变分理论、分歧理论等。基于Monge-Ampère方程模型的实际应用背景，本文主要讨论一类Monge-Ampère方程的Dirichlet问题，运用Krasnosel’skii-Precup不动点定理得到了其径向解存在的充分条件。
Since the 20th century, with the development of science and technology, there are many new types of partial differential equations, such as elliptic equations, hyperbolic equations and parabolic equations, etc. These partial differential equations can be transformed into the solution of the corresponding ordinary differential equations or the study of the nature of the solution of the problem. Monge-Ampère equations are a class of fully nonlinear partial differential equations that originated in geometry and have wide applications in differential geometry, fluid mechanics, optimization problems, and other fields. In recent years, the research on Monge-Ampère equations has made great breakthroughs, and many scholars have used different methods to discuss the existence, multisolvability and uniqueness of the solutions of these equations, such as the fixed point theorem, the upper and lower solution method, the monotone iteration method, the theory of variations, the theory of divergence, etc. Based on the practical application background of the Monge-Ampère equation model, this paper focuses on the Dirichlet problem for a class of Monge-Ampère equations, and the sufficient condition for the existence of radial solutions of Monge-Ampère equations is obtained by applying the Krasnosel’skii-Precup fixed point theorem.

径向解，Monge-Ampère方程，Krasnosel’skii-Precup不动点定理
Radial Solutions
Monge-Ampère Equation Krasnosel’skii-Precup Fixed Point Theorem

1. 引言

本文拟讨论方程组

${\begin{array}{l} \det D^{2} u_{1} = f_{1} (- u_{1} (x), - u_{2} (x)), & x \in B, \\ \det D^{2} u_{2} = f_{2} (- u_{1} (x), - u_{2} (x)), & x \in B, \\ u_{1} (x) < 0, u_{2} < 0, & x \in B, \\ u_{1} (x) = u_{2} (x) = 0, & x \in \partial B \end{array}$ (1)

负径向解的存在性，利用Krasnosel’skii-Precup不动点定理给出其负径向解存在的充分条件，其中 $B = {x \in R^{N} : | x | < 1}$ ， $\partial B$ 是B的边界， $\det D^{2} u$ 表示Monge-Ampère算子，它等于u的Hessian矩阵的行列式， $f_{i}$ 满足

(H) $f_{1}, f_{2} : R_{+}^{2} \to R_{+}$ 是连续不减的 $(R_{+} = [0, + \infty))$ 。

20世纪以来，随着科学技术的发展，出现了许多新型的偏微分方程，如椭圆型方程、双曲线型方程和抛物线方程等，这些偏微分方程求解问题都可以转化为求相应常微分方程的解或研究解的性质的问题。Monge-Ampère方程最早由法国数学家Gaspard Monge提出，他在1784年研究曲面理论和几何光学时引入了这种方程。法国物理学家和数学家André-Marie Ampère在1820年代对这些方程进行了进一步的研究，特别是与力学和物理问题相关的部分，方程因此得名“Monge-Ampère方程”。Monge-Ampère方程的发展与众多数学领域密切相关。无论是在纯数学研究中，还是在应用数学和实际问题中，Monge-Ampère方程都展示了其强大的分析和描述能力。其丰富的数学结构和广泛的应用背景，使其成为现代数学研究中的一个重要课题，自1988年Kutev [1] 的工作之后，Monge-Ampère相关问题的解的存在性问题一直是众多学者关注的热点话题 [2] - [8] 。例如，Liang和Chu [2] 通过Krasnosel’skii不动点定理讨论了Monge-Ampère方程

${\begin{array}{l} \det D^{2} u = f (- u (x)), & x \in B, \\ u (x) = 0, & x \in \partial B \end{array}$

对称径向凸解的存在性。Lazer和McKenna [3] 运用上下解方法讨论了当 $\det D^{2} u = h (x) {(- u)}^{p}$ 时，上述问题负凸解的存在性及唯一性。随后，Feng [4] 运用相同方法讨论了Monge-Ampère系统

${\begin{array}{l} det D^{2} u_{1} = λ h_{1} (| x |) f_{1} (- u_{2} (x)), & x \in B, \\ det D^{2} u_{2} = λ h_{2} (| x |) f_{2} (- u_{1} (x)), & x \in B, \\ u_{1} (x) = u_{2} (x) = 0, & x \in \partial B \end{array}$ (2)

径向凸解的存在性，多重性及不存在性，其中 $λ > 0$ ，权函数 $h_{i} \in C (B)$ 。上述文献是在单位球域中讨论了方程的相关解，Zhang [5] 在 $R^{N}$ 中的光滑有界严格凸域上讨论了当(2)中的 $λ = 1, h_{i} \equiv 1$ 且 $f_{1} (- u_{2} (x)) = {(- u_{2} (x))}^{α}, f_{2} (- u_{1} (x)) = {(- u_{1} (x))}^{β} (α, β > 0)$ 时径向凸解的存在性，唯一性及不存在性。

在研究Monge-Ampère方程解的相关性质时，大部分文献使用的工具是Krasnosel’skii不动点定理，它是非线性分析中证明不同类型边值问题解的存在性的主要工具。对方程组而言，通过Krasnosel’skii定理获得的不动点 $u = (u_{1}, u_{2}, \dots, u_{n})$ 满足 $‖ u ‖ > 0$ ，但这并不能保证每个分量 $u_{i} \neq 0 (i = 1, 2, \dots, n)$ ，即不能保证不动点的所有分量都是非平凡的 [9] ，这一事实促使Precup建立了向量形式的Krasnosel’skii不动点定理 [10] ，此定理保证了不动点的所有分量都是非平凡的。2022年，Jorge Rodrígurz-López [11] 将Krasnosel’skii-Precup不动点定理定义在不同于 ${\bar{K}}_{r, R}$ 的域上，扩大了Krasnosel’skii-Precup不动点定理的适用范围。受上述文献启发，本文利用Krasnosel’skii-Precup不动点定理讨论系统(1)非平凡负径向解存在的充分条件。

<xref></xref>2. 预备知识

令 $r = | x | = \sqrt{x_{1}^{2} + x_{2}^{2} + \dots + x_{n}^{2}}$ 。

为了求解(1)，取 $u_{i} (| x |) = u_{i} (r) (i = 1, 2)$ 将其转化为如下问题

${\begin{array}{l} {({({u^{'}}_{1} (r))}^{N})}^{'} = N r^{N - 1} f_{1} (- u_{1} (r), - u_{2} (r)), & 0 < r < 1, \\ {({({u^{'}}_{2} (r))}^{N})}^{'} = N r^{N - 1} f_{2} (- u_{1} (r), - u_{2} (r)), & 0 < r < 1, \\ u_{1} (r) < 0, u_{2} (r) < 0, & 0 \leq r < 1, \\ {u^{'}}_{1} (0) = {u^{'}}_{2} (0), u_{1} (1) = u_{2} (1) = 0, \end{array}$ (3)

令 $v_{1} (r) - u_{1} (r), v_{2} (r) = - u_{2} (r)$ 。则(3)等价于

${\begin{array}{l} {({(- {v^{'}}_{1} (r))}^{N})}^{'} = N r^{N - 1} f_{1} (v_{1} (r), v_{2} (r)), & 0 < r < 1, \\ {({(- {v^{'}}_{2} (r))}^{N})}^{'} = N r^{N - 1} f_{2} (v_{1} (r), v_{2} (r)), & 0 < r < 1, \\ v_{1} (r) > 0, v_{2} (r) > 0, & 0 \leq r < 1, \\ {v^{'}}_{1} (0) = {v^{'}}_{2} (0), v_{1} (1) = v_{2} (1) = 0, \end{array}$ (4)

那么问题(1)的负径向解等价于问题(4)的正解。

引理2.1 [7] 令 $v \in C^{1} [0, 1]$ 满足 $v (r) \geq 0, r \in [0, 1]$ 。假设 $v^{'} (r)$ 在 $[0, 1]$ 上是不增的。那么

$v (r) \geq \min {r, 1 - r} ‖ v ‖, r \in [0, 1],$

此处 $‖ v ‖ = \sup_{r \in [0, 1]} v (r)$ 。特别地

$\min_{\frac{1}{4} \leq r \leq \frac{3}{4}} v (r) \geq \frac{1}{4} ‖ v ‖$ 。

定义

$K_{i} = {v_{i} \in C [0, 1] : v_{i} (r) \geq 0, r \in [0, 1], \min_{\frac{1}{4} \leq r \leq \frac{3}{4}} v_{i} (r) \geq \frac{1}{4} ‖ v_{i} ‖} (i = 1, 2)$ 。

令 $K = K_{1} \times K_{2}$ 。对于 $v = (v_{1}, v_{2}) \in K$ ，定义

$T_{i} (v) (r) = \int_{r}^{1} {(\int_{0}^{s} N τ^{N - 1} f_{i} (v_{1} (τ), v_{2} (τ)) d τ)}^{\frac{1}{N}} d s (i = 1, 2, r \in [0, 1])$ (5)

令 $T = (T_{1}, T_{2})$ 。显然T是全连续的且容易验证(4)等价于不动点方程

$T (v_{1}, v_{2}) = v = (v_{1}, v_{2})$ 。

因此，如果 $v = (v_{1}, v_{2}) \in K$ 是T的不动点，那么 $- v = (- v_{1}, - v_{2})$ 是(1)的一个负径向解。

对于 $r, R \in R_{+}^{2}, r = (r_{1}, r_{2}), R = (R_{1}, R_{2}), 0 < r_{i} < R_{i}, φ = (φ_{1}, φ_{2}) (i = 1, 2)$ ，考虑下列集合

$K_{r, R}^{φ} = {v = (v_{1}, v_{2}) \in K : r_{i} < φ_{i} (v_{i}), ‖ v_{i} ‖ < R_{i}, i = 1, 2}$ ；

${\bar{K}}_{r, R}^{φ} = {v = (v_{1}, v_{2}) \in K : r_{i} \leq φ_{i} (v_{i}), ‖ v_{i} ‖ \leq R_{i}, i = 1, 2}$ ；

其中 $φ_{i} : K_{i} \to R_{+}$ 是锥 $K_{i}$ 上的凹函数满足

$φ_{i} (λ u + (1 - λ) v) \geq λ φ_{i} (u) + (1 - λ) φ_{i} (v) (u, v \in K_{i}, λ \in [0, 1])$ 。

注意到 ${\bar{K}}_{r, R}^{φ}$ 是一个凸闭集，集合 ${\bar{K}}_{r, R}^{φ}$ 是K的收缩核(Dugundji扩张定理 [12] )。在 ${\bar{K}}_{r, R}^{φ}$ 中引入如下不动点定理。

引理2.2 [11] 假设存在连续凹函数 $φ_{i} : K_{i} \to R_{+}$ 使得 $φ_{i} (v_{i}) \leq ‖ v_{i} ‖, v_{i} \in K_{i} (i = 1, 2)$ 。集合 $K_{r, R}^{φ}$ 是非空的， $T = (T_{1}, T_{2}) \in {\bar{K}}_{r, R}^{φ} \to K$ 是紧算子，则对于每个 $i \in (1, 2)$ 存在 $h_{i} \in K_{i} \ {0}$ 使得下列条件之一在 ${\bar{K}}_{r, R}^{φ}$ 中成立：

(a) 若 $φ_{i} (v_{i}) = r_{i}$ 且 $μ \geq 0$ ，则 $T_{i} (v) + μ h_{i} \neq v_{i}$ ；若 $‖ v_{i} ‖ = R_{i}$ 且 $λ \geq 1$ ，则 $T_{i} (v) \neq λ v_{i}$ ；

(b) 若 $φ_{i} (v_{i}) = r_{i}$ 且 $λ \geq 1$ ，则 $T_{i} (v) \neq λ v_{i}$ ；若 $‖ v_{i} ‖ = R_{i}$ 且 $μ \geq 0$ ，则 $T_{i} (v) + μ h_{i} \neq v_{i}$ 。

那么 $T = (T_{1}, T_{2})$ 至少有一个不动点 $v = (v_{1}, v_{2}) \in K$ 满足 $r_{i} < φ_{i} (v_{i})$ 且 $‖ v_{i} ‖ < R_{i} (i = 1, 2)$ 。

3. 主要结果

接下来，我们给出一个 $T = (T_{1}, T_{2})$ 在K上不动点存在的充分条件。

定理3.1 假设(H)成立且存在 $α_{i}, β_{i} > 0$ 满足 $4 β_{i} < α_{i}, i = 1, 2$ 。若

$f_{i} (β_{1}, β_{2}) > \frac{2^{4 N - 1} β_{i}^{N}}{N}, f_{i} (α_{1}, α_{2}) < \frac{α_{i}^{N}}{N} (i = 1, 2)$ (6)

则(4)至少存在一个正解 $v = (v_{1}, v_{2}) \in K$ 满足 $r_{i} < φ_{i} (v_{i})$ 且 $‖ v_{i} ‖ < R_{i} (i = 1, 2)$ 。

证明考虑(5)式定义的算子 $T = (T_{1}, T_{2}) : {\bar{K}}_{r, R}^{φ} \to K$ ，且 $r_{i} = β_{i}, R_{i} = α_{i} (i = 1, 2)$ 。定义 $K_{i}$ 上的凹函数 $φ_{i} : K_{i} \to R_{+}$ 如下

$φ_{i} (v_{i}) = \min_{r \in [\frac{1}{4}, \frac{3}{4}]} v_{i} (r), i = 1, 2$ (7)

首先，固定 $i \in {1, 2}$ ，令 $v = (v_{1}, v_{2}) \in {\bar{K}}_{r, R}^{φ}$ ，其中 $φ_{i} (v_{i}) = r_{i}$ 。结合(7)，对于所有的 $r \in [\frac{1}{4}, \frac{3}{4}]$ ，都有 $(v_{1} (r), v_{2} (r)) \geq (r_{1}, r_{2})$ ，再由假设(H)，得到 $f_{i} (v_{1} (r), v_{2} (r)) \geq f_{i} (r_{1}, r_{2})$ 。结合(6)，对于任意的 $r \in [\frac{1}{4}, \frac{3}{4}]$ 有

$\begin{matrix} T_{i} (v) (r) = \int_{r}^{1} {(\int_{0}^{s} N τ^{N - 1} f_{i} (v_{1} (r), v_{2} (r)) d τ)}^{\frac{1}{N}} d s \\ \geq \int_{\frac{3}{4}}^{1} {(\int_{\frac{1}{4}}^{\frac{3}{4}} N τ^{N - 1} f_{i} (v_{1} (r), v_{2} (r)) d τ)}^{\frac{1}{N}} d s \\ \geq \int_{\frac{3}{4}}^{1} {(\int_{\frac{1}{4}}^{\frac{3}{4}} N τ^{N - 1} f_{i} (r_{1}, r_{2}) d τ)}^{\frac{1}{N}} d s \\ \geq \int_{\frac{3}{4}}^{1} {(\frac{1}{2} N {(\frac{1}{4})}^{N - 1} f_{i} (r_{1}, r_{2}))}^{\frac{1}{N}} d s \\ \geq \frac{1}{4} {(\frac{1}{2} N {(\frac{1}{4})}^{N - 1} f_{i} (r_{1}, r_{2}))}^{\frac{1}{N}} \end{matrix}$

显然，若 $v \in {\bar{K}}_{r, R}^{φ}$ ， $φ_{i} (v_{i}) = r_{i}$ ， $μ \geq 0$ ，取 $h_{i} \equiv 1$ ，则 $T_{i} (v) + μ h_{i} \neq v_{i}$ 。

假设， $λ \geq 1$ ， $v \in {\bar{K}}_{r, R}^{φ}$ 且 $‖ v_{i} ‖ = R_{i} (i = 1, 2)$ ，由假设(H)，得到 $f_{i} (v_{1} (r), v_{2} (r)) \leq f_{i} (R_{1}, R_{2})$ ， $r \in [0, 1]$ 。结合(6)，可以得到

$\begin{matrix} T_{i} (v) (r) = \int_{r}^{1} {(\int_{0}^{s} N τ^{N - 1} f_{i} (v_{1} (r), v_{2} (r)) d τ)}^{\frac{1}{N}} d s \\ \leq \int_{r}^{1} {(\int_{0}^{s} N τ^{N - 1} f_{i} (R_{1}, R_{2}) d τ)}^{\frac{1}{N}} d s \\ \leq \int_{r}^{1} {(N s^{N} f_{i} (R_{1}, R_{2}))}^{\frac{1}{N}} d s \\ \leq {(N f_{i} (R_{1}, R_{2}))}^{\frac{1}{N}} \\ \leq R_{i} \\ \leq ‖ λ v_{i} ‖ \end{matrix}$

故 $T_{i} \neq λ v_{i}$ ，这满足引理2.2的条件(a)，由此可知系统(4)至少存在一个正解 $v = (v_{1}, v_{2}) \in K$ 满足 $r_{i} < φ_{i} (v_{i})$ 且 $‖ v_{i} ‖ < R_{i} (i = 1, 2)$ 。

上述定理是在 $T_{1}, T_{2}$ 都为压缩型算子的情形下成立的，还需注意 $T_{1}, T_{2}$ 分别为压缩—拉伸型，或都为拉伸型的情形。

定理3.2 假设(H)成立且存在 $α_{i}, β_{i} > 0$ 满足 $4 β_{1} < α_{1}$ ， $α_{2} < β_{2}$ 。若

$f_{1} (β_{1}, \frac{1}{4} α_{2}) > \frac{2^{4 N - 1} β_{1}^{N}}{N}, f_{1} (α_{1}, 4 β_{2}) < \frac{α_{1}^{N}}{N},$

$f_{2} (β_{1}, β_{2}) > \frac{2^{4 N - 1} β_{2}^{N}}{N}, f_{2} (α_{1}, α_{2}) < \frac{α_{2}^{N}}{N},$

则 $T = (T_{1}, T_{2})$ 在 $({\bar{U}}_{1} \ V_{1}) \times ({\bar{U}}_{2} \ V_{2})$ 中至少有一个不动点，其中

$V_{1} = {v_{1} \in K_{1} : φ_{1} (v_{1}) < β_{1}}, U_{1} = {v_{1} \in K_{1} : {‖ v_{1} ‖}_{\infty} < α_{1}},$

$V_{2} = {v_{2} \in K_{2} : {‖ v_{2} ‖}_{\infty} < α_{2}}, U_{2} = {v_{2} \in K_{2} : φ_{2} (v_{2}) < β_{2}} .$

证明上述定理中T₁是压缩型算子，由定理3.1的证明可得T₁满足引理2.2的条件(a)，而T₂是拉伸型算子，类似地，可证T₂满足引理2.2条件(b)。

定理 3.3 假设(H)成立且存在 $α_{i}, β_{i} > 0$ 满足 $α_{i} < β_{i}, i = 1, 2$ 。若

$f_{1} (β_{1}, \frac{1}{4} α_{2}) > \frac{2^{4 N - 1} β_{1}^{N}}{N}, f_{1} (α_{1}, 4 β_{2}) < \frac{α_{1}^{N}}{N},$

$f_{2} (\frac{1}{4} α_{1}, β_{2}) > \frac{2^{4 N - 1} β_{2}^{N}}{N}, f_{2} (4 β_{1}, α_{2}) < \frac{α_{2}^{N}}{N},$

则 $T = (T_{1}, T_{2})$ 在 $({\bar{U}}_{1} \ V_{1}) \times ({\bar{U}}_{2} \ V_{2})$ 中至少有一个不动点，其中

$V_{i} = {v_{i} \in K_{i} : {‖ v_{i} ‖}_{\infty} < α_{i}}, U_{i} = {v_{i} \in K_{i} : φ_{i} (v_{i}) < β_{i}} (i = 1, 2) .$

上述定理是在T₁，T₂都为 $({\bar{U}}_{1} \ V_{1}) \times ({\bar{U}}_{2} \ V_{2})$ 上的拉伸型算子的情形下成立的。证明过程类似于定理3.2。

注若有 $0 \in V_{i} \subset {\bar{V}}_{i} \subset U_{i}$ ， $U_{i}$ ， $V_{i}$ 是 $K_{i}$ 中的有界相对开集，且 ${\bar{U}}_{i} \ V_{i}$ 是 ${\bar{U}}_{i}$ 的收缩核，则定理3.1~3.3在满足上述条件的集合 $({\bar{U}}_{1} \ V_{1}) \times ({\bar{U}}_{2} \ V_{2})$ 中也是成立的。

基金项目

在本研究的完成过程中，特别感谢西北师范大学研究生科研资助项目(2023KYZZ-S118)对本研究项目的资助与支持。国家自然科学基金资助项目(11961060)。

References 1

Kutev, N.D. (1988) Nontrivial Solutions for the Equations of Monge-Ampere Type. Journal of Mathematical Analysis and Applications, 132, 424-433. >https://doi.org/10.1016/0022-247x(88)90071-6

Liang, Z. and Chu, J. (2015) Radially Symmetric Convex Solutions for Dirichlet Problems of Monge‐Ampère Equations. Mathematical Methods in the Applied Sciences, 39, 3426-3433. >https://doi.org/10.1002/mma.3789

Lazer, A.C. and McKenna, P.J. (1996) On Singular Boundary Value Problems for the Monge-Ampére Operator. Journal of Mathematical Analysis and Applications, 197, 341-362. >https://doi.org/10.1006/jmaa.1996.0024

Feng, M. (2022) A Class of Singular Coupled Systems of Superlinear Monge-Ampère Equations. Acta Mathematicae Applicatae Sinica, English Series, 38, 925-942. >https://doi.org/10.1007/s10255-022-1024-5

Zhang, Z.T. and Qi, Z.X. (2015) On a Power-Type Coupled Systems of Monge-Ampère Equations. Topological Methods in Nonlinear Analysis, 46, 717-730. >https://doi.org/10.12775/TMNA.2015.064

Feng, M. (2020) Convex Solutions of Monge-Ampère Equations and Systems: Existence, Uniqueness and Asymptotic Behavior. Advances in Nonlinear Analysis, 10, 371-399. >https://doi.org/10.1515/anona-2020-0139

Hu, S. and Wang, H. (2006) Convex Solutions of Boundary Value Problem Arising from Monge-Ampère Equations. Discrete&Continuous Dynamical Systems, 16, 705-720. >https://doi.org/10.3934/dcds.2006.16.705

Dai, G.W. and Ma, R.Y. (2015) Eigenvalue, Bifurcation and Convex Solutions for Monge-Ampère Equations. Topological Methods in Nonlinear Analysis, 46, 135-163. >https://doi.org/10.12775/tmna.2015.041

Canada, A. and Zertiti, A. (1996) Fixed Point Theorems for Systems of Equations in Ordered Banach Spaces with Applications to Differential and Integral Equations. Nonlinear Analysis: Theory, Methods&Applications, 27, 397-411. >https://doi.org/10.1016/0362-546x(95)00024-p

Precup, R. (2007) A Vector Version of Krasnosel’skiĭ’s Fixed Point Theorem in Cones and Positive Periodic Solutions of Nonlinear Systems. Journal of Fixed Point Theory and Applications, 2, 141-151. >https://doi.org/10.1007/s11784-007-0027-4

Rodríguez-López, J. (2023) A Fixed Point Index Approach to Krasnosel’skiĭ-Precup Fixed Point Theorem in Cones and Applications. Nonlinear Analysis, 226, Article 113138. >https://doi.org/10.1016/j.na.2022.113138

Andrzej, G. and James, D. (2003) Fixed Point Theory. Springer, 690.