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

6
votes
0answers
108 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 ...
6
votes
0answers
116 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) ...
5
votes
0answers
270 views

Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...
5
votes
0answers
628 views

elliptic regularity on manifolds

Hello! I'm reading the book of T. Aubin Some nonlinear problems in Riemannian geometry. In chapter 3 he introduces elliptic operators on manifolds, but then he gives regularity results for elliptic ...
4
votes
0answers
142 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 ...
4
votes
0answers
264 views

Linearizing and solving a nonlinear PDE numerically

Im trying to solve the following (transport & diffusion) nonlinear PDE numerically (via finite volume on a cuboid region. Some Material gets cooled down, s.t. in some areas the material becomes ...
4
votes
0answers
314 views

Do there exist generalized conformal maps that preserve elliptic measure?

Let $D_1$ and $D_2$ be two bounded simply connected Jordan domains in $\mathbb{R}^2$. By Carathéodory's Theorem there exists a homeomorphism $f:\bar{D}_1 \to \bar{D}_2$ such that the restriction ...
3
votes
0answers
69 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 ...
3
votes
0answers
341 views

problem with non linear pde

I have the following pde which i cannot solve. any suggestions, tips on how to approach a solution? $$\left(1-x^3 \frac{\partial y}{\partial x} \partial_{y}\right) f(y(x))-1/4 \left(1-\frac{1}{x^3 ...
2
votes
0answers
104 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} \\ ...
2
votes
0answers
85 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
133 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
0answers
57 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 \, ...
2
votes
0answers
40 views

reference on existence result for nonlinear elliptic PDE

During my work, I came to the question of existence of weak solutions to the following elliptic equation $$\triangle u + \partial_{1} u + \partial_2(f(x_1,x_2,u)) = 0 \hbox{ in } \Omega$$ with ...
2
votes
0answers
89 views

slightly subcritical elliptic pde; the linearized equations

Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems $$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...
2
votes
0answers
81 views

Extra regularity of Poisson problem having nonzero Neumann boundary condition in convex domain

Let $\Omega\subset\mathbb{R}^2$ be a convex simply connected domain having piecewise smooth boundary, $f\in L^2(\Omega)$ and $g\in H^{\frac 1 2}(\partial\Omega)$. Grisvard in [1] among others prove ...
2
votes
0answers
78 views

A question about fractional integrals

I am starting from Theorem 3.4 in Struwe's book Variational methods. The authors proves an existence result for a problem with critical growth. I would like to replace the laplacian with the ...
2
votes
0answers
89 views

A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation

Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential ...
2
votes
0answers
92 views

Regularity of solution of nonlinear equation

Hi! Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball $B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$. Let $f\in C^{0,\alpha}(B_1)$ ...
2
votes
0answers
181 views

Core of divergence form operator with unbounded coefficient

Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of $$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$. I also assume that ...
2
votes
0answers
161 views

A first order ODE with Sobolev estimates

Suppose $f: {\mathbb R}\to {\mathbb R}$ is a continuous function satisfying $$f(s) = c_- >0,\forall s<-T; f(s) = c_+<0, \forall s>T.$$ (For simplicity we may even assume that $f$ is ...
2
votes
0answers
264 views

A free boundary problem by finite difference method

I wanna discretize the following free boundary problem Find $u$ and $\Omega$ such that $\Delta u=1-\delta_0$ in $\Omega$ with the conditions $u=|\nabla u|=0$ on $\partial \Omega$. I apply finite ...
2
votes
0answers
250 views

Is the complex harmonic extension of a $\mathcal{C^r}$ map from $S^1$ to $\mathbb{C}$ is smooth upto the boundary ?

Suppose we have a map $ h : S^1\to \mathbb{C} $ that we know is a $\mathcal{C^r} $ map ( in the sense of a map between 1-manifold ( or in the sense of a $2\pi$ periodic map from $\mathbb{R}\to ...
2
votes
0answers
288 views

Vanishing solution of the Poisson equation at infinity

Hi, I am interested in finding some vanish bahavior at infinity of the solutions of this kind of equations: $-\Delta\phi+a(x)\phi=b(x)$ where $a(x), b(x)\in L^{p}$ with $1\leq p\leq 3$. Besides ...
2
votes
0answers
273 views

Poisson problem with a “scaled” Laplacian.

Let $d_1$ and $d_2$ be positive constants. I'm considering a 2D Poisson-like problem of the form $$ d_1\frac{\partial^2 u}{\partial x_1^2} + d_2\frac{\partial^2 u}{\partial x_2^2} = f$$ in the ...
2
votes
0answers
217 views

Finer properties of a sequence of harmonic functions

This was a question that arose for me when I was thinking about how one proves strong unique continuation for elliptic equations. I never could come up with a satisfactory answer. Background: When ...
1
vote
0answers
29 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}$. According to the comment of Joonas on this ...
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
0answers
94 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
0answers
81 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
73 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 ...
1
vote
0answers
27 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 ...
1
vote
0answers
148 views

Bunimovich stadium bouncing ball

http://terrytao.wordpress.com/2008/07/07/hassells-proof-of-scarring-for-the-bunimovich-stadium/ I cannot relate how the eigenfunctions normalizaed correspond to the probabality distribution of the ...
1
vote
0answers
120 views

Result like Brezis-Kato Lemma for Biharmonic equation.

Is there any result for the 4th order elliptic pde,like we do have for 2nd order pde: Consider the equation,\ $\Delta^2 u = a(x)u$ and $a(x)\in L^{\frac{n}{4}}(\Omega)$, where $\Omega$ is bounded. If ...
1
vote
0answers
128 views

Compactness of solutions of elliptic equation

Consider the following nonlinear elliptic equation $$ -\triangle u + u + u^3 = g, \quad x \in R^3. $$ If $g \in L^2(R^3)$, then the set $Q$ of solutions of above equation is bounded in $H^2(R^3)$, and ...
1
vote
0answers
152 views

On explicit eigenfunctions

Given an algebraic surface $S$ defined by an algebraic equation such as $x^{4}+2y^{4}+3z^{4}=1$, how would one find the third smallest eigenvalue $\mu_{3}$ for the differential equation $\Delta ...
1
vote
0answers
195 views

References? Stability of the Cauchy problem for elliptic and backward-parabolic operators.

Dear community. I'm looking for survey articles about recent and old results about stability for the elliptic and backward-parabolic Cauchy problem. For example: Take $\partial_t u + ...
0
votes
0answers
63 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
0answers
70 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. ...
0
votes
0answers
35 views

reading request on linear elliptic systems of pdes, strong solutions

Does anyone have some references where I could find results on strong solutions to linear elliptic systems of pdes ? Regards
0
votes
0answers
75 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 ...
0
votes
0answers
54 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 ...
0
votes
0answers
103 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
0answers
78 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 ...
0
votes
0answers
85 views

Wave operator for focusing NLS

Consider the NLS equation \begin{equation} \left\{ \begin{array}{rl} iu_t + \Delta u+u|u|^{\alpha}=0\\ u(0) =\varphi\in H^{1}(\mathbb{R}^N), \\ \end{array}\right. \end{equation} where ...
0
votes
0answers
69 views

Mean value formula for high order elliptic operators

Weyl's lemma says any distributionally harmonic function $u\in L^1_{\text{loc}}$ is harmonic. One way to prove it is as follows. Take radially symmetric compactly supported and smooth approximation ...
0
votes
0answers
50 views

basic doubt in a free boundary problem for the p-Laplacian

I am studying the following article : http://hal.archives-ouvertes.fr/docs/00/12/87/60/PDF/fbpLaplacian.pdf In this article the author consider $K \subset \{ x \in R^n ; x_1 = 0 \}$ a smooth, ...
0
votes
0answers
30 views

Vanishing of non commutative ( Wodzicki) residue on pseudo differential projections

Its a known fact that the non-commutative (Wodzicki) residue of a pseudo-differential projection is always zero. My question is: Is it possible to get this result by looking at structure of the ...
0
votes
0answers
63 views

A density result for biharmonic functions

Let $U_1, U_2\subset\mathbb R^3$ open and homeomorphic to the open unit ball, with sufficiently smooth boundary, such that $\overline{U}_1\subset U_2$. Is is true that every biharmonic function $u$ ...
0
votes
0answers
226 views

Analytic solution of Poisson's equation

Consider Poisson's equation $\nabla^2 u = 1$ on a square of side-length 1 centered at the origin. Cut out a circle of radius 1/3 at the center of this square. Impose a von Neumann boundary condition ...