1
$\begingroup$

Consider the Schrödinger type equation in $\Bbb R^2$: $$ \Delta f(x,y)+c(x,y)f(x,y)=0 $$ where $c(x,y)$ is a positive (!) function everywhere analytic on the plane, and $\Delta$ is the Laplace operator. What could one say about the solvability of the respective Dirichlet problem (finding a solution with prescribed boundary data) in a smoothly bounded (even analytic, if it helps) simply-connected domain? I mean: existence and uniqueness/non-uniqueness?

I have found existence and uniqueness results applicable here in the case when $c(x,y)$ is nonpositive. However, nothing useful in the positive case. And I have a counter-example for uniqueness for one particular case (1-dimensional space of solutions with the zero boundary data).

Thanks in advances for any ideas!

$\endgroup$
2
  • 5
    $\begingroup$ Your $c$ is a bounded, smooth function, then basically your problem reduces to the Fredholm Alternative. (See, e.g. L.C. Evans' PDE textbook, Chapter 6.) In a certain sense, for generic $c$ the Dirichlet problem has unique solution. $\endgroup$ Commented Sep 5, 2023 at 13:33
  • $\begingroup$ Formally, the "Wick rotation" $x=i\xi, y=i\eta$ turns the present problem into a standard eigenvalue problem in the variables $\xi, \eta$. If you have results for the standard problem in the analytic setting, these should pass over to the present problem. Just a formal observation, don't take it too seriously. $\endgroup$ Commented Feb 3 at 13:57

1 Answer 1

0
$\begingroup$

This is more a long comment rather than a complete answer.

I think existence/uniqueness depends so much on $V$, the domain $\Omega$ and the boundary datum $g:\partial \Omega \to \mathbb{R}$ that it's impossible to give a unified overview on if/when existence/uniqueness holds. I will outline a simple method that solves some cases and shows a bit the interaction between $V, \Omega$ and $g$.

I will assume $V \in L^\infty(\Omega)$ is smooth, $V>0$ and $g \in C^1(\partial \Omega)$. Let $\lambda_1(\Omega)>0$ be the first Dirichlet eigenvalue of the Laplacian in $\Omega$ and $w$ be the harmonic extension of $g$ in $\Omega$. We want to solve $$ \cases{-\Delta u = V(u+w) \:\: in \: \Omega \,, \\ u=0 \: on \:\:\partial \Omega \,.} $$ If we can do so then $f:=u+w$ solves $-\Delta f = Vf $ as you want and has boundary datum $g$. Finding solutions is equivalent to finding critical points of $$ J(u):= \int_{\Omega} |\nabla u|^2 - \int_{\Omega} V(u+w)^2 \,. $$ By the Poincaré inequality $$ \int_{\Omega} V(u+w)^2 \le \frac{2\|V\|_{L^\infty}}{\lambda_1(\Omega)} \int_\Omega |\nabla u|^2 + 2\|V\|_{L^\infty} \int_\Omega w^2 \,, $$ hence $$ J(u) \ge \left(1-\frac{2\|V\|_{L^\infty}}{\lambda_1(\Omega)} \right) \int_\Omega |\nabla u|^2 - 2\|V\|_{L^\infty} \int_\Omega w^2 \,.$$ This means that if $2\|V\|_{L^\infty} < \lambda_1(\Omega)$ then $J$ is coercive and one can find a solution by direct minimisation. Note that this is a condition on both $V$ and $\Omega$. To avoid trivialities let me assume $g$ is not identically zero so that $w\not \equiv 0$ and $\int_\Omega w^2 >0$. By the direct method you find there exists a minimiser $u_0$ of the problem, and this is not identically zero since $u_0 \equiv0$ does not solve our PDE. Then $u_0+w$ solves the problem you want.

Nevertheless, I have no good reasons to believe the minimiser is unique (let alone that there is only one critical point) even in this case, since the functional is not convex.

A further comment on existence. There are extremely effective ways of proving the existence of one (or many) solution coming from variational methods/min-max theorems, but every theorem is tailored on some specific types of problems and it's hard to give one that works in general. If you look on books they kind of look like the same but they are all a bit different. Every time you are in the position to say that a Palais-Smale sequence is bounded (one of such conditions is what I do above), then your specific functional satisfies the Palais-Smale condition and you can try some variational method.

If you have some more informations on $V$, $\Omega$ and the boundary datum $g$ I could try my best to see if I can show you the existence of one critical point.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .