Questions about partial differential equations of elliptic type. Often used in combination with the top-level tag ap.analysis-of-pdes.

learn more… | top users | synonyms

3
votes
0answers
13 views

Analytical solution of diffusion PDE with Robin boundary condition

I need to find the analytical solution of the time-independent diffusion equation with constant coefficients on the unit disk with subject to Robin boundary conditions. The formulation is as follows: ...
-1
votes
0answers
41 views

A fredholm index associated with two vector fields generating a 2 dimensional foliation

Let $M$ be a compact manifold and $X,Y$ be two independent vector fields on $M$ with $[X,Y]=0$. Let $\mathcal{F}$ be the 2 dimensional foliation associated with the distribution ...
-1
votes
0answers
26 views

Regularity of free boundary when the obstacle is a half ball

Define the obstacle function to be $\phi(x)= r^2-|x|^2$ when $|x|<r$ and $\phi=0$ when $|x|\geqslant r$. This is an obstacle in the whole $R^n$. Then I want to solve the following obstacle problem ...
0
votes
1answer
103 views

Green's function and eigenvalues with multiplicity

Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...
3
votes
0answers
74 views

significance of the Fučík spectrum

The Fučík spectrum seems to gain momentum among people working on spectral theory, with almost 300 articles published on this topic over the last 5 years, according to Google scholar. There exist ...
0
votes
0answers
113 views

Existence of solution?

I am sorry if this question is not at the MO level. But I have not found a reference so I would like ask it here. Follow this paper :http://www.math.ku.dk/~hugger/articles/CTAC2003.pdf Let ...
4
votes
0answers
133 views

What is the first eigenvalue of $p$-Laplacian on unit sphere $S^n$?

We know that the first eigenvalue of Laplacian on the Riemannian unit sphere $S^n$ is $n$, then what is the explicit expression for the first eigenvalue of $p$-Laplacian on $S^n$? The $p$-Laplacian ...
3
votes
1answer
164 views

Is this inequality true?

Let $\Omega$ be a bounded domain with smooth boundary. Let $$ S=\{u\in C^2(\overline \Omega): \frac{\partial u}{\partial n}=0 \text{ on } \partial\Omega \}.$$ Fix $\Phi\in S$ with $\Phi(x)>0$ for ...
0
votes
1answer
61 views

Analytic extension of the exterior Newtonian potential into the domain

I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain. Definition of Newtonian ...
2
votes
0answers
76 views

Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE

A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...
0
votes
0answers
68 views

Elliptic PDE-Fredholm PDE(Is there a contradictory situation)

Let $E$ be a smooth vector bundle on a closed manifold $M$. Assume that $D:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a diff. operator which is a fredhoolm operator, in the algebraic ...
0
votes
2answers
55 views

Solvability of quasilinear elliptic equations on closed manifolds

Is there any reference about solvability theory of quasilinear elliptic equations on closed manifolds? In particular, I am looking for solvability condition for function $f$ of following equation ...
4
votes
1answer
170 views

$C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular $C^0$ estimate for solutions of the Laplace equation with Neumann boundary conditions. More precisely, let $(M,g)$ be a ...
2
votes
1answer
116 views

Differentiability of Nemytskii operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator $$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$ is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
2
votes
0answers
119 views

numerical method (implicit , backward difference or forward difference) for nonlinear pde

$\newcommand{\lbar}{\underline{\lambda}}$ In this linear PDE: \begin{cases} B_t+b^Q(r,t)B_r+\frac{1}{2}d^2(r,t)B_{rr}+(\mu(\lambda,t)+\alpha \sigma (t))(\lambda -\lbar)B_{\lambda} \\ ...
6
votes
0answers
117 views

Local solvability of nonlinear elliptic boundary value problems

Malgrange proves the following statement regarding local solvability of (determined or underdetermined) nonlinear elliptic systems: Let $F_i(x,D^\alpha u)=0$ be a nonlinear elliptic system of order ...
1
vote
0answers
20 views

Differential operator with codimension 2 singularity in the domain

The soft version of the question is as follows: suppose I have a linear operator, and I know it is a 'nice' differential operator on its domain minus a singular set of codimension two. Does the ...
1
vote
1answer
73 views

Elliptic operator are unbounded [closed]

I am reading the book Index Theorem and the Heat Equation written by Peter.B.Gilkey. Here is my question: Let E be a hermitian vector bundle on a compact smooth manifold M. Let $D : ...
1
vote
1answer
90 views

2D semilinear elliptic PDE

This is the simplest equation arising from a fascinating (to me) and obscure vector field theory of mathematical physics first developed in 1962, and for which no solutions have ever been found. ...
4
votes
2answers
206 views

A question on certain elliptic PDE

Consider the elliptic PDE "CR" $$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$ And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$. Somehow, these equations are similar to the Cauchi ...
2
votes
1answer
124 views

Lp estimate for resolvent of Laplace operator

Consider for $1<p<\infty$ operator $A_p:L_p(0,1)\to L_p(0,1), \ D(A_p)=\{u\in W^2_p(0,1): u'(0)=u'(1)=0\}, \ A_pu=u''$, i.e. $L_p$-realisation of the Laplace operator with Neumann bcd on the ...
3
votes
1answer
67 views

Reference for Elliptic PDE on $\mathbb{R}^d$

Could anyone suggest a textbook, article, or lecture notes that covers elliptic PDE theory (existence, uniqueness, regularity) on all of $\mathbb{R}^d$, as opposed to the Dirichlet or Neumann problem ...
1
vote
1answer
76 views

W^{2,∞} regularity of solutions of Poisson's equation if the right hand side is in L^{∞}

Let $u$ be solution of $-\Delta u = f$ in $\Omega$ and $\frac{\partial u}{\partial n} = 0$ on $\partial \Omega$. Is it true that if $f \in L^{\infty}(\Omega)$ then $u \in W^{2,\infty}(\Omega)$? ...
0
votes
0answers
72 views

inequality involving gradient of two harmonic functions

My question is about the last inequality in the case i) of the proof of lemma 2.3 of this paper: Existence of classical solutions to a free boundary problem for the p-Laplace operator, (I) by A. ...
1
vote
0answers
134 views

Stokes operator without dirichlet boundary condition

Let $\Omega$ be a domain, then the following stokes operator is quite well known : $\mathcal{H} \rightarrow \mathcal{V}_{\sigma} $ $f \rightarrow u$ such that $ - \Delta u = f $ where $ ...
1
vote
1answer
159 views

Interior gradient estimate for uniformly elliptic equations

I am struggling with a problem like this: In dimension $n\geq 3$, For the following uniformly elliptic equation, do we have interior gradient estimates? $$a^{ij}(x)u_{ij}(x)+u_{nn}=0.$$, where ...
-2
votes
2answers
114 views

Lack of parabolicity of PDE due to invariancy under diffeomorphisms? [closed]

Let a nonlinear differential equation is invariant under all diffeomorphisms, then we get lack of parabolicity?
1
vote
1answer
54 views

Estimate for elliptic problem on continuous functions

For an elliptic operator $$ Lu = (a^{ij} D_iD_j + b^i D_i + c)u = f,$$ with suitable assumptions on the coefficients, one usually has Schauder estimates of the form $$ \|u\|_{C^{2, \alpha}} \leq ...
0
votes
0answers
79 views

Estimate for an integral of a function of the solution to a PDE

Let $\Omega \in \mathbb{R}^3$ be a bounded smooth domain. Assume that smooth functions $\sigma_1,\sigma_2$ satisfy $\sigma_1-\sigma_2 \in C_0^\infty(\Omega)$ and $\lambda\leq \sigma_1, \sigma_2 \leq ...
2
votes
0answers
87 views

Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$

Let me consider the following subset of probability measures in $R^d$ $$ \mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\} ...
2
votes
0answers
137 views

Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$

The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to $$ -\Delta u=f\hspace{3cm}(1)? $$ I'm of ...
2
votes
1answer
101 views

Implicit function theorem for operator

I am reading the paper of Convergence of the Yamabe flow for arbitrary initial energy I am stuck by one part of the paper. Suppose $u_\infty>0$ is a smooth function on $(M, g_0)$ and ...
0
votes
0answers
56 views

mixed Dirichlet Neumann regularity for an elliptic equation

Here is a problem which may be easy for some of you but not for me. Statement of the problem: Denote $\Omega := \{ (x,y) \in (0, \infty) \times (-\infty,\infty) \}$. Let $f \in L^2(\Omega)$ then by a ...
1
vote
0answers
84 views

On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...
1
vote
0answers
75 views

Limit Toward Discontinuous Point of Dirichlet Boundary Value

The question arises from a paper on Schwarz's domain decomposition method (click here). We consider a bounded domain in $\mathbb{R}^2$ and a curve splits it into two, see the figure below. Now we ...
3
votes
1answer
71 views

What can we say about the left inverse of the Green's function?

Let $\mathbb{D}$ be an self-adjoint elliptic operator of a compact manifold and $G(x,y)$ the Green's function of $\mathbb{D}$. By definition $G(x,y)$ is the right inverse of $\mathbb{D}$ in the sense ...
1
vote
1answer
98 views

Is Green's function of an elliptic operator always symmetric?

Let $D$ be an elliptic operator of a compact Riemannian manifold and $G(x_0,x_1)$ the Green's function of $D$. Is $G$ always symmetric in variables $x_0$ and $x_1$, i.e. $G(x_0,x_1)=G(x_1,x_0)$? If ...
2
votes
2answers
118 views

Let $\mathrm{div}\,(A\,\mathrm{grad}\,u) + b u = f$. Is $(A\,\mathrm{grad}\,u)$ weakly differentiable?

Let us consider the basic linear elliptic PDE $$ \mathrm{div} (A\,\mathrm{grad}\,u) + bu = f, $$ with $f\in L^p,$ $A,b$ uniformly bounded. Do we have, for a weak solution $u\in W^{1,p}(\Omega')$, $$ ...
2
votes
1answer
89 views

When does $\{u\in H^1_0: \Delta_{\mu}u\in L^2\}=H_0^1\cap H^2$.

Let $(M,\mu)$ be a weighted Riemannian manifold. In Grigor’yan's book, he proves that the Dirichlet Laplacian $\Delta_{\mu}$ is self-adjoint on the set $u\in\{u\in H^1_0(M): \Delta_{\mu}u\in L^2\}$. ...
2
votes
1answer
156 views

Gradient elliptic estimate

Consider the half space $\Omega=\{x=(x_1,...,x_N)\in\mathbb{R}^N:x_N>0\}$. Let $u\in C^2(\Omega)\cap C(\overline{\Omega})$ a positive bounded solution of $$ \begin{eqnarray*} \Delta u+f(x_N,u)=0, ...
0
votes
0answers
104 views

positive eigenfunction on complete Riemannian manifold

Let $(M^n,g)$ be a complete(non-compact) Riemannian manifold. Consider the positive solution to the equation $$ \Delta u = u $$ where $\Delta=\nabla_i \nabla_i$ is negative semi-definite. Is there ...
0
votes
1answer
88 views

Harmonic extension in a ball $B(x, r) \subset \mathbb R^n$

I have recently been trying to understand the theory regarding harmonic extensions in $\mathbb R^n$. I have, however, had some difficulties to find the kind of results I am looking for. For that ...
4
votes
0answers
145 views

introduction books for Dynamic systems of discrete Schrodinger operator for beginner

In this semester, I study in a class of dynamic system. recently the French professor turn to the dynamic system of discrete operator. I find it is difficult to find a book in English. (I have found ...
3
votes
0answers
74 views

Hopf Lemma for strong solutions

The Hopf lemma still holds for strong solutions? Let $u\in W^{2,p}(\Omega)\cap W_0^{1,p}(\Omega)$ with $p>n$ such that $\Delta u + c(x) u\le 0$. If $u(x)>0$ for all $x\in\Omega$ and ...
8
votes
3answers
391 views

How to define the square root of $1-\Delta $?

If $M$ is a Riemannian manifold with $\Delta $ its Laplacian, how can we define $(1-\Delta)^{1/2}$? The book I am reading says that $(1-\Delta)^{1/2}$ is an invertible first-order pseudo-differential ...
6
votes
0answers
117 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
2
votes
0answers
60 views

Integrability of $D^2u$ for $\infty$-harmonic function $u$?

Consider infinity harmonic functions; that is, functions satisfying $\Delta_\infty u = 0$ with $$\Delta_\infty u = \langle Du, D^2 u \, Du \rangle = \sum_{i,j} \frac{\partial^2 u}{\partial x_i \, ...
0
votes
0answers
83 views

Heat equation with heterogeneous heat conduction

I'm trying to discretize and a heat conduction/diffusion problem using finite differences and I was wondering how to use a discrete heat conduction coefficient defined per cell (instead of per ...
1
vote
0answers
28 views

Constructing a family of domains for application of method of continuity in optimal transportation

Anyway can help me about this paper? http://arxiv.org/pdf/math/0601086v4.pdf I want to ask page 20, The author want to construct a family of subdomain for using method of continuity. But I can't ...
2
votes
2answers
381 views

Elliptic theory on compact manifolds

Maybe this is silly. On a bounded set $\Omega\subset\mathbb{R}^n$ consider the equation $$ \Delta u=f \quad\text{ in $\Omega$}$$ $$ u=0\quad\text{ on $\partial\Omega$}.$$ One has the following ...