Pure Mathematics
Vol.
14
No.
05
(
2024
), Article ID:
88715
,
14
pages
10.12677/pm.2024.145198
带有混合奇异项和测度项的分数阶 p-Laplace方程解的存在性问题
张莹
上海理工大学理学院,上海
收稿日期:2024年4月3日;录用日期:2024年5月4日;发布日期:2024年5月31日
![](//html.hanspub.org/file/45-1252423x1_hanspub.png?20240607093254303)
摘要
本文研究下列带有混合奇异项和测度项的分数阶p-Laplace方程:
其中
是一个有界光滑区域,
,
,
,
,
且在
上几乎处处为正,
是
中的非负Radon测度。在估计近似问题的基础上,得到了原问题解的存在性,并分析了解所处的空间。
关键词
分数阶p-Laplace方程,混合奇异项,测度项,近似问题
![](//html.hanspub.org/file/45-1252423x12_hanspub.png?20240607093254303)
Existence of Solutions for Fractional p-Laplacian Problems with Mixed Singular Nonlinearities and Radon Measure
Ying Zhang
College of Science, University of Shanghai for Science and Technology, Shanghai
Received: Apr. 3rd, 2024; accepted: May 4th, 2024; published: May 31st, 2024
![](//html.hanspub.org/file/45-1252423x13_hanspub.png?20240607093254303)
ABSTRACT
This paper studies the following fractional p-Laplacian problem with mixed singular nonlinearities and Radon measure:
where
is a bounded smooth domain of
.
,
,
,
,
and
is a non-negative bounded Radon measure in
. On the basis of estimates on solutions of approximating problem, we obtain the existence of solutions for original problem and analyze the solution space.
Keywords:Fractional p-Laplacian, Mixed Singular Nonlinearities, Radon Measure, Approximating Problem
![](//html.hanspub.org/file/45-1252423x24_hanspub.png?20240607093254303)
Copyright © 2024 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
![](//html.hanspub.org/file/45-1252423x26_hanspub.png?20240607093254303)
1. 引言
本文考虑如下带有混合奇异项和测度项的分数阶p-Laplace方程:
(1.1)
其中
是一个有界光滑区域,
,
,
,
,
且在
上几乎处处为正,
是
中的非负Radon测度。
是分数阶p-Laplace算子,其定义是:
。 (1.2)
在局部设置下,Crandal M. G.,Rabinowitz P. H.和Tartar L.在 [1] 中最早研究带有奇异非线性项的半线性问题,已经有大量带有奇异非线性项的Laplace方程和p-Laplace方程解的存在性和多重性结果的工作(见 [2] [3] [4] [5] )。
2010年,Boccardo L.和Orsina L.在 [6] 中研究了如下一类带有奇异非线性项的Laplace方程:
(1.3)
其中
,f是Lebesgue空间中的非负函数,
是一个有界光滑函数。作者通过研究原问题的逼近问题,利用逼近问题解的性质,结合Lebesgue控制收敛定理证明了方程解的存在性,以及解所位于的
空间。在文章结尾部分,作者简要介绍了如果将
用混合非线性项
代替,我们仍然可以用类似
的方法证明方程解的存在性。
2015年,Barrios B.,Bonis De I.和Medina M.在 [7] 中研究如下方程解的存在性:
(1.4)
其中
是一个有界光滑区域,
,
,
,
,
,f是一个非负函数。在
,
的情况下,作者对原方程解的存在性研究受到 [6] 的启发,用类似 [6] 中的方法证明了原方程弱解的存在性。若令
,可以得到和局部情况下,即与 [6] 中相一致的结果。
类似这样只带有一个奇异项的研究还有很多。2016年,Canino A.,Sciunzi B.和Trombetta A.在 [8] 中研究了带有奇异非线性项的p-Laplace方程解的存在性,2017年,Canino A.等人在 [9] 中将p-Laplace算子推广到分数阶p-Laplace算子,研究了带有奇异非线性项的分数阶p-Laplace方程解的存在性。也有一些作者研究了带有混合奇异项和测度项的分数阶Laplace方程。2021年,Masoud B.A.,Mahmoud H.在 [10] 中研究了如下的分数阶Lapalce问题:
(1.5)
其中
是一个有界光滑区域,
,
,
,
是一个Holder连续函数,
。在
的情况下,作者证明了(1.5)存在一个弱解
,其中
,
。此外,
,其中
。
受以上文献的影响,本文在
的情况下研究问题(1.1)解的存在性。本文的主要结果如下:
定理1.1 已知
,
,
,
,
是
中的非负Radon测度,如果
,
那么问题(1.1)存在一个正的弱解,且满足
在
中是一致有界的,其中
,
。更
进一步,
在
中一致有界,其中
。
这里的
是截断算子,定义为:
2. 预备知识
定义
表示
上使得
的函数集合,定义
上的范数为
,已知
,
,
,定义空间
,
其范数记为
,其中
称为Gagliardo半范数。
对于
,
,定义空间
是
中使得
成立的函数集合。
也被称为Aronszajn,Gagliardo或者Slobodeckij空间,
是一个Banach空间。在
上定义范数
。
在本文中,定义
表示函数f的紧支集,
表示
是
中的一个紧集。对于
是一个有界开集,定义
是
相对于范数
在
中的闭包,在这里
。
在范数
下是一个自反的Banach空间。下面回顾分数阶庞加莱不等式。
引理2.1 [11] 令
是
中的一个有界开集,
是属于
的,
,
。那么存在一个常数
使得对于任意的
都有
。
在引理2.1的假设下,
上可以定义范数:
该范数和
是等价的。
令
,
在这里,
表示
在
中的补集,定义
上的范数为
。
其中
。
在本文的证明中将用到分数阶索伯列夫嵌入不等式,它表示
连续嵌入到临界Lebesgue空间
中,其中
。其证明可见 [12] [13] 。
定理2.1 (分数阶Sobolev嵌入不等式) 已知
,
,
,那么存在一个正常数
,对任意
都有
。 (2.1)
我们进一步将
中的所有非负Radon测度构成的函数空间记为
,其范数记为
。
对
,
被称为Marcinkiewicz空间,是所有满足
,
其中
,
的可测函数
的函数集合。
上的范数记为
。
对于
,我们有
嵌入到
是连续的。更多关于
的相关知识可以参考文献 [14] 。
下面,给出问题(1.1)弱解的定义:
定义2.1 已知
是一个非负函数,定义一个可测函数
是问题(1.1)的弱解,如果
满足:
(1) 对于任意的
,都存在
使得在
中
成立;
(2) 对于任意的
,都有
成立。
3. 主要引理的证明
为了证明问题(1.1)解的存在性,考虑其逼近问题。假设
,
,对于
,定义截断函数
。
考虑如下逼近问题
(3.1)
其中
是
中的非负光滑函数,且依测度弱收敛至
。我们定义
是问题(3.1)的弱解,若
对于任意的
都成立。
引理3.1 对于所有
,问题(3.1)有一个弱解
。
证明:固定
,令
,
(3.2)
其中
。由 [9] 中的引理2.1,问题(3.2)的存在唯一的一个弱解
。定义映射
,
取
作为问题(3.2)的测试函数,得到
分数阶Sobolev嵌入不等式,于是
,(3.3)
其中
和
与
无关。因此半径为
的球在
的作用下是不变的。为了利用Schauder’s不动点定理证明问题(3.1)解的存在性,我们需要证明
是一个连续的、紧算子。
我们首先证明
是连续的。已知
和
,且
,由
在
中的强收敛性,存在
的子列,仍记为
,有
在
中,
对于
几乎处处成立。
定义
和
,我们有
(3.4)
和
。 (3.5)
取
为(3.4)和(3.5)的测试函数,可以得到
和
对上述等式做减法,利用基本不等式,我们得到,当
时,有
(3.6)
当
时,有
(3.7)
对(3.7)右侧的两项用Holder不等式和分数阶Sobolev嵌入不等式,我们得到
和
其中
。再次利用(3.7)可以得到
注意到
和
,
由控制收敛定理和
对于
几乎处处成立,容易得到
。
对(3.6)式左侧利用三角不等式,右侧重复以上步骤,最终可以得到
对于所有的
都成立,即
是连续的。
接下来证明
是一个紧算子。令
且满足
。那么存在
的一个子列和
,我们仍记为
,使得在
中
,在
中
,其中
。定义
和
,由(3.3),我们得到在
中
,在
中
成立。类似于S的连续性的证明过程,取
作为测试函数,利用Holder不等式,很容易得到
,
这就表明S是一个紧算子。由Schauder’s不动点定理,存在
使得
。即
是问题(3.1)的弱解。此外,因为(3.1)的右侧属于
,由 [9] 中的引理2.2,我们得到
。证毕。
下面的一个引理重复 [9] 中引理2.4的证明方法即可得证,在此我们不再叙述证明过程。
引理3.2引理3.1中的
满足对于任意的
,都存在一个与
无关的正常数
使得
和
对于任意的
和
都成立。
引理3.3 [15] 假设
,
,
,那么
。
引理3.4 令
是问题(3.1)的解。如果
,那么序列
在
中一致有界,其
中
,
。更进一步,
在
中一致有界。
证明:固定
,取
作为(3.1)的测试函数。所以。我们得到
由
的定义,可以得到
,
其中
是一个与
无关的常数。所以
在
中一致有界。由分数阶索伯列夫嵌入不等式(2.1),我们得到
。
对于不等式的左边,在集合
上,有
,所以
,
于是
。
所以,
在
中是一致有界的,因此在
中是一致有界的,其中
。
对于任意的
和
,定义函数
。
观察到函数
满足
和
对于任意的
都成立。取
作为问题(3.1)的测试函数。于是,我们可以得到
令
,我们有
。
下面将证明
在在
中一致有界,其中
,
。
令
,我们可以得到
由Holder不等式,我们得到
其中
。所以,由引理3.3,
由Young不等式,可以得到
观察到
其中
表示
中单位球的Lebesgue测度。由
、
的对称性,存在一个与
无关的常数
使得
。
现在,我们选择
使得
。也就是说
。
为了保证
的存在,必须有
,即
。因此序列
在
中一致有界,其中
,
。证毕。
4. 主要结果的证明
定理1.1的证明:对于引理3.4中的序列
,存在序列
的子列,仍记为
,以及可测函数
,使得
在
中,
在
中,其中
,
,
在
中几乎处处成立。
存在一个正函数
,其中
,
使得
对几乎处处的
成立。
显然
在
中是一致有界的,其中
,
。由法图引理,
在
中一
致有界,其中
。下面证明
是问题(1.1)的弱解。
选择
作为(3.1)的测试函数,于是
(4.1)
由引理3.2,对于任意的
,记
,那么存在一个与
无关的正数
使得
,
由Lebesgue控制收敛定理,得到
。
同理,
,
。
对于(4.1)式等号左侧,由 [9] 中定理3.2的证明过程,显然
于是,对(4.1)式的左右两边同时取极限,可以得到
对任意的
都成立。即
是问题(1.1)的弱解。证毕。
文章引用
张 莹. 带有混合奇异项和测度项的分数阶p-Laplace方程解的存在性问题
Existence of Solutions for Fractional p-Laplacian Problems with Mixed Singular Nonlinearities and Radon Measure[J]. 理论数学, 2024, 14(05): 433-446. https://doi.org/10.12677/pm.2024.145198
参考文献
- 1. Crandall, M.G., Rabinowitz, P.H. and Tartar, L. (1977) On a Dirichlet Problem with a Singular Nonlinearity. Communications in Partial Differential Equations, 2, 193-222. https://doi.org/10.1080/03605307708820029
- 2. Coclite, M.M. and Palmieri, G. (1989) On a Singular Nonlinear Dirichlet Problem. Communications in Partial Differential Equations Partial Differential Equations, 14, 1315-1327. https://doi.org/10.1080/03605308908820656
- 3. Diaz, I.I., Morel, J.M. and Oswald, L. (1987) An Elliptic Equation with Singular Nonlinearity. Communications in Partial Differential Equations Partial Differential Equations, 12, 1333-1344. https://doi.org/10.1080/03605308708820531
- 4. Ghergu, M. and Rădulescu, V. (2003) Sublinear Singular Elliptic Problems with Two Parameters. Journal of Differential Equations, 195, 520-536. https://doi.org/10.1016/S0022-0396(03)00105-0
- 5. Ghergu, M. and Rădulescu, V. (2005) On a Class of Sublinear Singular Elliptic Problems with Convection Term. Journal of Mathematical Analysis and Applications, 311, 635-646. https://doi.org/10.1016/j.jmaa.2005.03.012
- 6. Boccardo, L. and Orsina, L. (2010) Semilinear Elliptic Equations with Singular Nonlinearities. Calculus of Variations and Partial Differential Equations, 37, 363-380. https://doi.org/10.1007/s00526-009-0266-x
- 7. Barrios, B., De Bonis, I., Medina, M. and Peral, I. (2015) Semilinear Problems for the Fractional Laplacian with a Singular Nonlinearity. Open Mathematics, 13, 390-407. https://doi.org/10.1515/math-2015-0038
- 8. Canino, A., Sciunzi, B. and Trombetta, A. (2016) Existence and Uniqueness for p-Laplace Equations Involving Singular Nonlinearities. Nodea-Nonlinear Differential Equations and Applications, 23, 1-18. https://doi.org/10.1007/s00030-016-0361-6
- 9. Canino, A., Montoro, L., Sciunzi, B. and Squassina, M. (2017) Nonlocal Problems with Singular Nonlinaertiy. Bulletin of Mathematical Biology, 141, 223-250. https://doi.org/10.1016/j.bulsci.2017.01.002
- 10. Masoud, B.A. and Mahmoud, H. (2021) A Fractional Laplacian Problem with Mixed Singular Nonlinearities and Nonregular Data. Journal of Ellipitic and Parabolic Equations, 7, 784-814. https://doi.org/10.1007/s41808-021-00113-0
- 11. Youssfi, A. and Ould Mohmoud, G. (2020) On Singular Equations Involving Fractional Laplacian. Acta Mathematica Scientia, 40, 1289-1315. https://doi.org/10.1007/s10473-020-0509-7
- 12. Demengel, F. and Demengel, G. (2012) Functional Spaces for the Theory of Elliptic Partial Differential Equations. Universitext. Springer, London; EDP Sciences, Les Ulis. https://doi.org/10.1007/978-1-4471-2807-6
- 13. Dinezza, E., Palatucci, G. and Valdinoci, E. (2012) Hitchhiker’s Guide to the Fractional Sobolev Spaces. Bulletin of the Malaysian Mathematical Sciences Society, 136, 521-573. https://doi.org/10.1016/j.bulsci.2011.12.004
- 14. Benilan, P., Boccardo L., Gallouet, T., et al. (1995) An L1-Theory of Existence and Uniqueness of Solutions of Nonlinear Elliptic Equations. Annali Della Scuola Normal Superiore Di Pisa-Class Di Scienze, 22, 241-273.
- 15. Iannizzotto, A., Mosconi, S. and Squassina, M. (2016) Global Regularity for the Fractional p-Laplacian. Revista Matematica Iberoamericana, 32, 1353-1392. https://doi.org/10.4171/rmi/921