- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 295480, 9 pages
Existence and Uniqueness of Positive Solution for a Fractional Dirichlet Problem with Combined Nonlinear Effects in Bounded Domains
1Mathematics Department, College of Sciences, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
2Mathematics Department, College of Sciences and Arts, King Abdulaziz University, Rabigh Campus, P.O. Box 344, Rabigh 21911, Saudi Arabia
Received 20 February 2013; Accepted 10 July 2013
Academic Editor: Daniel C. Biles
Copyright © 2013 Imed Bachar and Habib Mâagli. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We prove the existence and uniqueness of a positive continuous solution to the following singular semilinear fractional Dirichlet problem , in where is a bounded -domain in and denotes the Euclidian distance from to the boundary of The nonnegative weight functions are required to satisfy certain hypotheses related to the Karamata class. We also investigate the global behavior of such solution.
In the last two decades, several studies have been performed for the so-called fractional Laplacian, , , which can be defined by the integral representation where is a normalization constant; see, for instance, [1, 2]. From a probabilistic point of view, the fractional Laplacian appears as the infinitesimal generator of the stable Lévy process [3, 4]; see also . The fractional powers of the Laplacian arise in a numerous variety of equations in mathematical physics and related fields (see, for instance, [6–11] and the references therein). Motivation from mechanics appears in the Signorini problem (cf. [12, 13]). And there are applications in fluid mechanics, (cf. ). The systematic study of the corresponding PDE models is more recent and many of the results have arisen in the last decade. The linear or quasilinear elliptic theory has been actively studied recently in the works of Caffarelli and collaborators [15, 16], Kassmann , Silvestre , and many others. The standard linear evolution equation involving fractional diffusion is This is a model of the so-called anomalous diffusion, a much studied topic in physics, probability, and finance (see [19–23] and their references). For more applications, we refer the reader to the survey papers [24, 25].
Throughout this paper, we consider a bounded -domain in , , and we denote by the Euclidian distance from to the boundary of . For two nonnegative functions and defined on a set , the notation , , means that there exists such that , for all .
Recently, in , the authors considered the following problem: where and is a positive measurable function in satisfying the following: the map is continuous and nonincreasing in , for ; for each , the function is in (see Definition 1 below).
They have proved that problem (3) has a positive continuous solution in satisfying, for each , where denotes the Green function of the fractional Laplacian in . However they have not investigated the asymptotic behavior of such solution.
As a typical example of function satisfying and , we quote , where and is a positive measurable function in such that the function belongs to the Kato class defined as follows.
Definition 1 (see ). A Borel measurable function in belongs to the Kato class if
On the other hand, Chemmam et al. considered in  the following semilinear fractional Dirichlet problem: where , , and satisfies the following hypothesis:
, , satisfying , where and belongs to the Karamata class defined as follows.
Definition 2. The class is the set of all the Karamata functions defined on by where , , and such that .
Using a fixed-point argument, the authors have proved in  the existence and uniqueness of a positive continuous solution for (8) satisfying, for , where the function is defined on by In particular, they have extended the results of [32, 33].
In the present paper, we aim at studying the following fractional nonlinear problem involving both singular and sublinear nonlinearities with the reformulated Dirichlet boundary condition: where and , . We will address the question of existence, uniqueness, and global behavior of a positive continuous solution to problem (14).
In the elliptic case (i.e., ), problems related to (14) have been studied by several authors (see, e.g., [34–39] and references therein). Using the subsupersolution method, the authors in  have established the existence and uniqueness of a positive continuous solution to (14) for , , where the functions , are required to satisfy some adequate assumptions related to the Karamata class .
Here, our goal is to study problem (14) for . To this end, we assume that the potential functions , satisfy the following hypothesis.
for , , , and satisfies, for , where and defined on with .
As it turns out, estimates (12) depend closely on . Also, as it will be seen, the numbers play an important role in the combined effect of singular and superlinear nonlinearities in (14) and lead to a competition. It is not obvious which wins, essentially in the estimates of solution. From here on and without loss of generality, we may assume that and we introduce the function defined on by For an explicit form of the function , see (36).
Throughout this paper, we define the potential kernel by where denotes the set of the nonnegative Borel measurable functions in .
Our main results are the following.
Theorem 3. Let , and assume . Then one has, for , Using Theorem 3 and the Schauder fixed-point theorem, we will prove the following.
Theorem 4. Let , and assume . Then problem (14) has a unique positive continuous solution in satisfying, for , In particular, we generalize the result obtained in  to the fractional setting and we recover the result obtained in .
The content of this paper is organized as follows. In Section 2, we collect some properties of functions belonging to the Karamata class and the Kato class , which are useful to establish our results. In Section 3, we prove our main results.
As usual, we denote by the set of continuous functions in vanishing continuously on . Note that is a Banach space with respect to the uniform norm As in the elliptic case, if satisfies , then the functions and are in and we have in the distributional sense
2. The Karamata Class and the Kato Class
We collect in this paragraph some properties of the Karamata class and the Kato class . We recall that a function defined on belongs to the class if where , , and such that .
Lemma 6. Let and let be a function in . One has the following:(i)if , then diverges and ;(ii)if , then converges and .
Lemma 7 (see ). Let be a function in . Then one has In particular
Proposition 9 (see [26, Corollary 6]). Let be a nonnegative function in ; then the family of functions is uniformly bounded and equicontinuous in . Consequently is relatively compact in .
3. Proofs of the Main Results
3.1. Technical Lemmas
Lemma 10. For , , one has
Proof. Let , and put . Since , then we get obviously
Lemma 11 provides sharp estimates on some Riesz potential functions.
Lemma 11 (see [28, Proposition 3.1]). Let and let be a function in such that . Let be a positive measurable function in such that, for , Then, for , one has where is the function defined on by
Lemma 12. Assume . Let be a continuous function in such that, for , . Then is a solution of problem (14) if and only if
Proof. Assume . First we will give an explicit form of the function . We recall that, for and . Since is equivalent to and , we deduce that, for , we have
Now using the fact that , we deduce by simple computation from hypothesis , (36), and Proposition 5 that
where is defined in byWe point out that for each case, the function can be written as a sum of terms of the form , where . By Proposition 5 and Lemma 7, we have . On the other hand, since by Proposition 5, the function is positive and belongs to , then there exists such that for each
Hence we deduce from (7) that the function is in .
Now using Proposition 9, we obtain that is in . In particular, we have Consequently, it follows by (41) that is a weak continuous solution of problem (14) if and only if satisfies We deduce by [26, Theorem 6] that in . The proof is complete.
Lemma 13. For , let defined on with and let be the function given by (37). Then one has, for ,
Proof. The proof can be found in .
Now we are ready to prove our main results.
3.2. Proof of Theorem 3
Case 5. .
We have . So Applying again Lemma 11 with , we obtain On the other hand, since , then and therefore Hence The proof is complete.
3.3. Proof of Theorem 4
Let , , assume , and consider . Using Theorem 3, there exists such that Put , and consider the set Let be the function given by (39). Since and the function is in , it follows by Proposition 9 that is in . So is a nonempty, closed, bounded, and convex set in . Define the operator on by We will prove that has a fixed point. Since there exists a constant such that for all we have where the function is in , it follows that , where is given by (29). Therefore by Proposition 9, the family of functions is relatively compact in .
Next, we will prove that maps into itself.
Indeed, by using (60) we have for all On the other hand, we have This implies that .
Now, we will prove the continuity of the operator in in the supremum norm. Let be a sequence in which converges uniformly to a function in . Then, for each , we have On the other hand, by similar arguments to the previous ones, we have We conclude by Proposition 9 and the dominated convergence theorem that, for all , Consequently, as is relatively compact in , we deduce that the pointwise convergence implies the uniform convergence; namely, Therefore, is a compact operator from into itself. So the Schauder fixed-point theorem implies the existence of such that Put . Then is continuous and satisfies Hence by Lemma 12 and Theorem 3, is a required solution.
Next, we aim at proving the uniqueness in the cone Let and be two solutions of (14) in . Then there exists a constant such that This implies that the set is not empty. Let and put with .
We claim that . Indeed, assume that ; then by using Lemma 12, we deduce that which implies that By symmetry, we deduce that So . Since , then we have . This is a contradiction to the fact that . Hence and so . This completes the proof.
Example 14. Let , and put . For , let , satisfying
where , such that . Then using Theorem 4, problem (14) has a unique positive continuous solution in satisfying the following estimates:(i) if and , then, for , (ii)if and , then, for , (iii)if and , then, for , (iv)if and , then, for , (v)if , then, for ,
The authors are thankful to the referees for their careful reading of the paper and for their helpful comments and suggestions. The research of Imed Bachar is supported by NPST Program of King Saud University, Project no. 11-MAT1716-02.
- N. S. Landkof, Foundations of Modern Potential Theory, Springer, New York, NY, USA, 1972.
- E. M. Stein, Singular integrals and differentiability properties of functions, vol. 30 of Princeton Mathematical Series, Princeton University Press, Princeton, NJ, USA, 1970.
- D. Applebaum, Lévy Processes and Stochastic Calculus, vol. 116 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, UK, 2nd edition, 2009.
- J. Bertoin, Lévy Processes, vol. 121 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, UK, 1996.
- E. Valdinoci, “From the long jump random walk to the fractional Laplacian,” Boletín de la Sociedad Española de Matemática Aplicada, no. 49, pp. 33–44, 2009.
- L. Abdelouhab, J. L. Bona, M. Felland, and J.-C. Saut, “Nonlocal models for nonlinear, dispersive waves,” Physica D, vol. 40, no. 3, pp. 360–392, 1989.
- K. Bogdan and T. Byczkowski, “Potential theory for the -stable Schrödinger operator on bounded Lipschitz domains,” Studia Mathematica, vol. 133, no. 1, pp. 53–92, 1999.
- K. Bogdan, “Representation of -harmonic functions in Lipschitz domains,” Hiroshima Mathematical Journal, vol. 29, no. 2, pp. 227–243, 1999.
- L. Caffarelli and L. Silvestre, “An extension problem related to the fractional Laplacian,” Communications in Partial Differential Equations, vol. 32, no. 7-9, pp. 1245–1260, 2007.
- A. Elgart and B. Schlein, “Mean field dynamics of boson stars,” Communications on Pure and Applied Mathematics, vol. 60, no. 4, pp. 500–545, 2007.
- J. Fröhlich and E. Lenzmann, “Blowup for nonlinear wave equations describing boson stars,” Communications on Pure and Applied Mathematics, vol. 60, no. 11, pp. 1691–1705, 2007.
- L. A. Caffarelli, “Further regularity for the Signorini problem,” Communications in Partial Differential Equations, vol. 4, no. 9, pp. 1067–1075, 1979.
- A. Signorini, “Questioni di elasticità non linearizzata e semilinearizzata,” vol. 18, pp. 95–139, 1959.
- L. A. Caffarelli and A. Vasseur, “Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation,” Annals of Mathematics, vol. 171, no. 3, pp. 1903–1930, 2010.
- I. Athanasopoulos, L. A. Caffarelli, and S. Salsa, “The structure of the free boundary for lower dimensional obstacle problems,” American Journal of Mathematics, vol. 130, no. 2, pp. 485–498, 2008.
- L. A. Caffarelli, S. Salsa, and L. Silvestre, “Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian,” Inventiones Mathematicae, vol. 171, no. 2, pp. 425–461, 2008.
- M. Kassmann, “A priori estimates for integro-differential operators with measurable kernels,” Calculus of Variations and Partial Differential Equations, vol. 34, no. 1, pp. 1–21, 2009.
- L. Silvestre, “Regularity of the obstacle problem for a fractional power of the Laplace operator,” Communications on Pure and Applied Mathematics, vol. 60, no. 1, pp. 67–112, 2007.
- S. Abe and S. Thurner, “Anomalous diffusion in view of Einstein's 1905 theory of Brownian motion,” Physica A, vol. 356, no. 2-4, pp. 403–407, 2005.
- M. Jara, “Nonequilibrium scaling limit for a tagged particle in the simple exclusion process with long jumps,” Communications on Pure and Applied Mathematics, vol. 62, no. 2, pp. 198–214, 2009.
- A. Mellet, S. Mischler, and C. Mouhot, “Fractional diffusion limit for collisional kinetic equations,” Archive for Rational Mechanics and Analysis, vol. 199, no. 2, pp. 493–525, 2011.
- L. Vlahos, H. Isliker, Y. Kominis, and K. Hizonidis, “Normal and anomalous diffusion: a tutorial,” in Order and Chaos, T. Bountis, Ed., vol. 10, Patras University Press, Patras, Greece, 2008.
- H. Weitzner and G. M. Zaslavsky, “Some applications of fractional equations. Chaotic transport and complexity in classical and quantum dynamics,” Communications in Nonlinear Science and Numerical Simulation, vol. 8, no. 3-4, pp. 273–281, 2003.
- J. L. Vazquez, “Nonlinear diffusion with fractional Laplacian operators,” Non-Linear Partial Differential Equations, vol. 7, pp. 271–298, 2012.
- E. Di Nezza, G. Palatucci, and E. Valdinoci, “Hitchhiker's guide to the fractional Sobolev spaces,” Bulletin des Sciences Mathématiques, vol. 136, no. 5, pp. 521–573, 2012.
- R. Chemmam, H. Mâagli, and S. Masmoudi, “On a new Kato class and positive solutions of Dirichlet problems for the fractional Laplacian in bounded domains,” Nonlinear Analysis. Theory, Methods & Applications, vol. 74, no. 5, pp. 1555–1576, 2011.
- H. Mâagli and M. Zribi, “On a new Kato class and singular solutions of a nonlinear elliptic equation in bounded domains of ,” Positivity, vol. 9, no. 4, pp. 667–686, 2005.
- R. Chemmam, H. Mâagli, and S. Masmoudi, “Boundary behavior of positive solutions of a semilinear fractional Dirichlet problem,” Journal of Abstract Differential Equations and Applications, vol. 3, no. 2, pp. 75–90, 2012.
- F. C. Cîrstea and V. Rădulescu, “Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach,” Asymptotic Analysis, vol. 46, no. 3-4, pp. 275–298, 2006.
- V. Marić, Regular Variation and Differential Equations, vol. 1726 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000.
- E. Seneta, Regularly Varying Functions, vol. 508, Springer, Berlin, Germany, 1976.
- S. Gontara, H. Mâagli, S. Masmoudi, and S. Turki, “Asymptotic behavior of positive solutions of a singular nonlinear Dirichlet problem,” Journal of Mathematical Analysis and Applications, vol. 369, no. 2, pp. 719–729, 2010.
- H. Mâagli, “Asymptotic behavior of positive solutions of a semilinear Dirichlet problem,” Nonlinear Analysis. Theory, Methods & Applications, vol. 74, no. 9, pp. 2941–2947, 2011.
- A. Ambrosetti, H. Brezis, and G. Cerami, “Combined effects of concave and convex nonlinearities in some elliptic problems,” Journal of Functional Analysis, vol. 122, no. 2, pp. 519–543, 1994.
- L. Boccardo, “A Dirichlet problem with singular and supercritical nonlinearities,” Nonlinear Analysis. Theory, Methods & Applications, vol. 75, no. 12, pp. 4436–4440, 2012.
- R. Chemmam, H. Mâagli, S. Masmoudi, and M. Zribi, “Combined effects in nonlinear singular elliptic problems in a bounded domain,” Advances in Nonlinear Analysis, vol. 1, no. 4, pp. 301–318, 2012.
- V. Rădulescu and D. Repovš, “Combined effects in nonlinear problems arising in the study of anisotropic continuous media,” Nonlinear Analysis. Theory, Methods & Applications, vol. 75, no. 3, pp. 1524–1530, 2012.
- S. Yijing and L. Shujie, “Some remarks on a superlinear-singular problem: estimates of ,” Nonlinear Analysis. Theory, Methods & Applications, vol. 69, no. 8, pp. 2636–2650, 2008.
- Y. Sun, S. Wu, and Y. Long, “Combined effects of singular and superlinear nonlinearities in some singular boundary value problems,” Journal of Differential Equations, vol. 176, no. 2, pp. 511–531, 2001.
- Z.-Q. Chen and R. Song, “Estimates on Green functions and Poisson kernels for symmetric stable processes,” Mathematische Annalen, vol. 312, no. 3, pp. 465–501, 1998.
- T. Kulczycki, “Properties of Green function of symmetric stable processes,” Probability and Mathematical Statistics, vol. 17, pp. 339–364, 1997.