DOI: https://doi.org/10.1007/s00209-024-03432-9
تاريخ النشر: 2024-02-16
المؤلف: Sitong Chen وآخرون
الموضوع الرئيسي: المعادلات التفاضلية الجزئية غير الخطية
نظرة عامة
تبحث هذه الورقة البحثية في وجود حلول طبيعية لنظام شرويدنجر-بواسون تحت قيد $L^2$، المميز بمعلمات $\mu > 0$ و$\lambda \in \mathbb{R}$، والتي تعمل كمضاعف لاغرانج. تظهر غير الخطية المعنية نموًا أسيًا حرجًا من نوع ترودينجر-موزر. من خلال وضع شروط صريحة على مستوى الطاقة $c$، يحدد المؤلفون هندسة الحد الأدنى المحلي وبنية الحد الأدنى المرتبطة بالوظيفة الطاقية، مما يؤدي إلى إثبات وجود حلين متميزين: أحدهما كحد أدنى محلي والآخر كحل من نوع ممر الجبل.
للحصول على حل ممر الجبل، يقترح المؤلفون تقديرات حادة لمستويات الطاقة، مقدّمين عتبة جديدة من التجميع ضمن إطار قيد $L^2$. يبني هذا العمل على ويعزز النتائج التي توصل إليها سينغولاني وجينجان (2019)، والتي ركزت على غير الخطية القوية، تحديدًا $a|u|^{p-2}u$ لـ $a > 0$ و$p > 4$. يقدم النموذج الحالي تحديات جديدة بسبب التفاعل المعقد بين إمكانات الالتفاف اللوغاريتمي والحدود غير الخطية، مما يمثل تقدمًا كبيرًا في دراسة الحلول الطبيعية في هذا السياق.
مقدمة
في هذه الورقة، نحقق في معادلة شرويدنجر-بواسون المستوية مع قيد $L^2$، المعطاة بواسطة
\[
-\Delta u + \lambda u + \mu \log | \cdot | * u^2 u = e^{u^2 – 1} – u^2 u، \quad x \in \mathbb{R}^2، \quad \int_{\mathbb{R}^2} u^2 \, dx = c،
\]
حيث $\mu > 0$، $c > 0$، و$\lambda \in \mathbb{R}$ هو معلمة لاغرانج. تحتوي هذه المعادلة على غير خطية ذات نمو أسي حرج، وهو أمر مهم في سياق مشاكل مقيدة بـ $L^2$. نعرف الحلول الطبيعية على أنها تلك التي لها معيار $L^2$ محدد، والتي تهم بشكل خاص في الفيزياء بسبب خصائصها الثابتة. يضيف وجود إمكانات الالتفاف اللوغاريتمي تعقيدًا إلى التحليل، حيث إنه غير محدود ويغير الإشارة.
يبني نهجنا على الأعمال السابقة التي أنشأت أطرًا تباينية لمعادلات مماثلة، خاصة في الأبعاد الأعلى. نوسع هذه الطرق إلى الحالة ثنائية الأبعاد، حيث تكون الخصائص التباينية أقل وضوحًا بسبب الإمكانية اللوغاريتمية. نثبت وجود حلول طبيعية متعددة للمعادلة، مع التركيز على نموذج غير خطي محدد مستوحى من الأدبيات الموجودة. تتطلب التحديات التي تطرحها التفاعل بين الحد اللوغاريتمي ونمو الأسي الحرج تطوير تقنيات جديدة، خاصة في تحليل التجميع، وهو أمر حاسم لإثبات وجود الحلول. تسهم نتائجنا في فهم الهيكل الهندسي للوظيفة الطاقية المرتبطة ووجود الحد الأدنى المحلي في هذا السياق.
النتائج
في هذا القسم، يقدم المؤلفون نتائج أولية تتعلق بالأشكال الثنائية المتماثلة المعرفة على الدوال القابلة للقياس \( u, v: \mathbb{R}^2 \to \mathbb{R} \). يقدمون ثلاثة أشكال محددة:
1. \( A_1(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(2 + |x – y|) u(x)v(y) \, dx \, dy \)،
2. \( A_2(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(1 + 2|x – y|) u(x)v(y) \, dx \, dy \)،
3. \( A_0(u, v) = A_1(u, v) – A_2(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(|x – y|) u(x)v(y) \, dx \, dy \).
يشير المؤلفون إلى أن التكاملات معرفة بشكل جيد في المعنى اللبجي. يطبقون عدم المساواة هاردي-ليتل وود-سوبوليف على إثبات أن \( |A_2(u, v)| \leq C_0 \|u\|_{4/3} \|v\|_{4/3} \) لبعض الثوابت \( C_0 > 0 \). بعد ذلك، يعرفون الوظائف الطاقية \( I_1, I_2, \) و \( I_0 \) بناءً على هذه الأشكال الثنائية، تحديدًا \( I_1(u) = A_1(u^2, u^2) \)، \( I_2(u) = A_2(u^2, u^2) \)، و \( I_0(u) = A_0(u^2, u^2) \)، والتي تعمل كعناصر أساسية لتحليلهم.
المناقشة
في هذا القسم، يناقش المؤلفون الشروط اللازمة لوجود الحد الأدنى المحلي والنقاط الحرجة من نوع ممر الجبل في سياق المشاكل التباينية. الشروط $c \in (0, c_1)$ و $c \in (0, c_0)$ حاسمة لضمان هندسة الحد الأدنى المحلي وبنية الحد الأدنى، على التوالي. يتم تعريف الوظيفة الطاقية L2-بوهوزايف $P(u)$، ويظهر أنه أي حل للمعادلة المرتبطة يحقق الهوية $P(u) = 0$. يحدد المؤلفون استراتيجيتهم لإثبات النظريتين 1.1 و 1.2، مع التأكيد على بناء هندسة الحد الأدنى المحلي وحدود تسلسلات التخفيف.
تشمل الخطوات الرئيسية إثبات وجود حد أدنى محلي $m(c)$، وإظهار أنه يتم تحقيقه، وضمان حدود تسلسلات المعنية. يبرز المؤلفون الفروق في نهجهم مقارنة بالأعمال السابقة، خاصة في كيفية تعاملهم مع بنية الحد الأدنى وآثار الإمكانية اللوغاريتمية. كما يقدمون مخططًا تفصيليًا لبنية الإثبات، بما في ذلك استخدام نظريات النقاط الحرجة وتقديرات الطاقة، والتي تعتبر أساسية للتغلب على التحديات المرتبطة بالحدود غير الخطية الموجودة في المشكلة. يختتم القسم بالإشارة إلى إمكانية توسيع طرقهم إلى مشاكل أخرى مقيدة بـ L2 مع نمو أسي حرج.
DOI: https://doi.org/10.1007/s00209-024-03432-9
Publication Date: 2024-02-16
Author(s): Sitong Chen et al.
Primary Topic: Nonlinear Partial Differential Equations
Overview
This research paper investigates the existence of normalized solutions for a Schrödinger-Poisson system under an $L^2$-constraint, characterized by parameters $\mu > 0$ and $\lambda \in \mathbb{R}$, which serves as a Lagrange multiplier. The nonlinearity involved exhibits critical exponential growth of the Trudinger-Moser type. By establishing explicit conditions on the energy level $c$, the authors identify a local minimum geometry and a minimax structure for the associated energy functional, leading to the proof of two distinct solutions: one as a local minimizer and the other as a mountain-pass type solution.
To obtain the mountain-pass solution, the authors propose sharp estimates of energy levels, introducing a new threshold of compactness within the $L^2$-constraint framework. This work builds upon and enhances the findings of Cingolani and Jeanjean (2019), which focused on power nonlinearity, specifically $a|u|^{p-2}u$ for $a > 0$ and $p > 4$. The current model introduces novel challenges due to the complex interaction between a logarithmic convolution potential and nonlinear terms, marking a significant advancement in the study of normalized solutions in this context.
Introduction
In this paper, we investigate the planar Schrödinger-Poisson equation with an $L^2$-constraint, given by
\[
-\Delta u + \lambda u + \mu \log | \cdot | * u^2 u = e^{u^2 – 1} – u^2 u, \quad x \in \mathbb{R}^2, \quad \int_{\mathbb{R}^2} u^2 \, dx = c,
\]
where $\mu > 0$, $c > 0$, and $\lambda \in \mathbb{R}$ is a Lagrange parameter. This equation features a nonlinearity with critical exponential growth, which is significant in the context of $L^2$-constrained problems. We define normalized solutions as those with a prescribed $L^2$-norm, which are of particular interest in physics due to their stability properties. The presence of a logarithmic convolution potential adds complexity to the analysis, as it is unbounded and changes sign.
Our approach builds on previous work that established variational frameworks for similar equations, particularly in higher dimensions. We extend these methods to the two-dimensional case, where the variational characterization is less straightforward due to the logarithmic potential. We demonstrate the existence of multiple normalized solutions for the equation, focusing on a specific nonlinear model inspired by existing literature. The challenges posed by the interplay between the logarithmic term and the critical exponential growth necessitate the development of new techniques, particularly in compactness analysis, which is crucial for establishing the existence of solutions. Our findings contribute to the understanding of the geometric structure of the associated energy functional and the existence of local minima in this context.
Results
In this section, the authors present preliminary results involving symmetric bilinear forms defined on measurable functions \( u, v: \mathbb{R}^2 \to \mathbb{R} \). They introduce three specific forms:
1. \( A_1(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(2 + |x – y|) u(x)v(y) \, dx \, dy \),
2. \( A_2(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(1 + 2|x – y|) u(x)v(y) \, dx \, dy \),
3. \( A_0(u, v) = A_1(u, v) – A_2(u, v) = \int_{\mathbb{R}^2} \int_{\mathbb{R}^2} \log(|x – y|) u(x)v(y) \, dx \, dy \).
The authors note that the integrals are well-defined in the Lebesgue sense. They apply the Hardy-Littlewood-Sobolev inequality to establish that \( |A_2(u, v)| \leq C_0 \|u\|_{4/3} \|v\|_{4/3} \) for some constant \( C_0 > 0 \). Subsequently, they define energy functionals \( I_1, I_2, \) and \( I_0 \) based on these bilinear forms, specifically \( I_1(u) = A_1(u^2, u^2) \), \( I_2(u) = A_2(u^2, u^2) \), and \( I_0(u) = A_0(u^2, u^2) \), which serve as foundational components for their analysis.
Discussion
In this section, the authors discuss the conditions necessary for the existence of local minima and critical points of mountain-pass type in the context of variational problems. The conditions $c \in (0, c_1)$ and $c \in (0, c_0)$ are crucial for ensuring the geometry of local minima and the minimax structure, respectively. The L2-Pohozaev functional $P(u)$ is defined, and it is shown that any solution to the associated equation satisfies the identity $P(u) = 0$. The authors outline their strategy for proving Theorems 1.1 and 1.2, emphasizing the construction of a geometry of local minima and the boundedness of minimizing sequences.
Key steps include establishing the existence of a local minimum $m(c)$, demonstrating that it is attained, and ensuring the boundedness of sequences involved. The authors highlight the differences in their approach compared to previous works, particularly in how they handle the minimax structure and the implications of the logarithmic convolution potential. They also provide a detailed outline of the proof structure, including the use of critical point theorems and energy estimates, which are essential for overcoming challenges associated with the nonlinear terms present in the problem. The section concludes by indicating the potential for extending their methods to other L2-constrained problems with critical exponential growth.