Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

learn more… | top users | synonyms

1
vote
1answer
103 views

What fails when we try to extend existence and unique for parabolic PDEs for 'PDEs which are 'parabolic in two components''?

What I have in mind is that on $(0,T)\times\Omega$, we have a parabolic pde operator $L$, we have unique solution to $Lu = f$ when f is Hoelder for some coefficient strictly between 0 and 1. This ...
1
vote
1answer
181 views

Harmonic function defined on a cone

It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone? ...
0
votes
2answers
119 views

Defining surface integral on boundary of $C^1$-domain

Let $\Omega$ be a bounded $C^1$ domain with bounded boundary $\partial\Omega$. Can someone point me to a reference where the surface integral of a measurable function $f\colon \partial\Omega \to ...
3
votes
2answers
249 views

Dirichlet energy of a harmonic function bounded above by the energy of the boundary function?

$\Omega$ is a domain in $R^2$ with sufficient smooth boundary. Given an absolutely continuous function f difined on $S^1$($[0,2\pi]$). Then there exists an unique harmonic function u defined on ...
1
vote
1answer
113 views

Pohozaev result for equations with weights

I am interested in nonnegative solutions of $-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$. Or instead the equation $ -\Delta u + ...
-1
votes
1answer
74 views

Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )

Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2. More generally, is it true that eigenfunctions ...
2
votes
1answer
81 views

Conditions for existence of $m$-th differentiable root of a non-negative definite matrix

In M.I. Friedlin's famous paper "On the Factorization of Non-Negative Definite Matrices", he shows that if a non-negative definite symmetric matrix $a(x)=\{a^{ij}(x)\}_{i,j=1}^n$ is in ...
4
votes
1answer
144 views

K-Theory of Algebra of Zeroth Order Pseudo differential operators

Any one knows a reference for computing K_0 of Algebra of zeroth order Pseudo's on a closed manifold in terms of explicit generators? Thanx!
1
vote
0answers
84 views

Reverse Holder Inequality and the higher integrability of the gradient of a solution to Euler's equation for a certain functional

In Giaquinta-Giusti's (1978) paper "Nonlinear Elliptic Systems with Elliptic Growth" (thm 1.1) they consider the following system: \begin{equation} \sum_{i, j=1}^{n}\sum_{\alpha, ...
0
votes
2answers
145 views

Interior Schauder estimates with weights

Suppose we have $u(x)\in H_2^{loc}(\Omega_{\rho})$, where $\Omega_{\rho}=\{x\in \mathbb{R}^n, |x|>\rho\}$, and in $\Omega_{\rho}$, $u$ satisfies the equation $$ \Delta u-V(x)u=0, $$ where $V$ is a ...
2
votes
1answer
111 views

Is Poisson's kernel integrable?

Let $E$ be a smooth domain. Green's function is defined as $G(x,y)=F(x,y)-\Phi(x,y)$ where $F$ is the fundamental solution to the Laplace equation. For a fixed $x\in E$, $\Phi(x,\cdot)$ is a harmonic ...
2
votes
0answers
66 views

Deduce global estimate from scaling-invariant local estimate

Let $(M,g)$ be a non-compact Riemannian manifold, with finite volume (or compactly exhausted, or any nice condition you would like, except for compactness). Suppose I have a tensor $T$ on $M$ of which ...
1
vote
1answer
131 views

If $f \in H^{\frac 12}$ and $\varphi$ is Lipschitz, is $f\varphi \in H^{\frac 12}$ (on a Lipschitz hypersurface)?

Let $M$ be a bounded hypersurface. Let $f \in H^{\frac 12}(M)$ and let $\varphi\colon M \to \mathbb{R}$ be a Lipschitz function. When $M=\Omega \subset \mathbb{R}^n$ an open domain, we know that the ...
2
votes
1answer
141 views

The centralizer of Lienard equation

Consider the lienard vector field $\cases{ x'=y -F(x) \\ y'=-x } $ in $\mathbb{R}^{2}$, where $F$ is a polynomial fuction with $F(0)=0$. Assume that $Y$ is a smooth vector field globally defined ...
1
vote
1answer
107 views

About a definition of quasi-conformal maps

A book I'm reading gives the following definition for quasi-conformal maps: If $f$ is a homeomorphism of a metric space X to itself, $f$ is K-quasi-conformal if and only if for all $z \in X$: ...
2
votes
0answers
80 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 ...
3
votes
1answer
286 views

About Aubin-Lions Lemma

I have a question about Aubin-Lions Lemma, the standard Aubin-Lions lemma need those Banach Space be reflexive spaces, are there any version of Aubin-Lions without reflexivity? Standard ...
0
votes
2answers
124 views

property of local sobolev space

The local Sobolev space,defined as $W^{k,p}_{loc}(\Omega)$, is the space such that for any $u \in W^{k,p}_{loc}(\Omega)$ and any compact $V\subset \Omega$, $u \in W^{k,p}(V)$. I am just wondering if ...
2
votes
0answers
71 views

Linear heat equation with initial condition of generalized function

I am consider a very simple heat equation over the interval $[0, 1]$ with a Neumann BC and a very bad initial condition, written as: $\partial_tu(t, x) = \partial^2_xu(t, x) + a(t, x)u(t, x)$, for ...
2
votes
1answer
104 views

An interpolation type inequality

Let $u(x),x\in R_+$ be a non-negative decreasing smooth function with compact support $[0,L]$, I want to know the following inequality is true? $a\in (0,1)$ $$\int_0^\infty \frac{1}{1+x}u^{1+a}dx \le ...
2
votes
2answers
158 views

Sobolev spaces on boundaries

Consider the Sobolev space $W^{s,2}=H^s$ for $s=\frac{1}{2}.$ Let $\Omega \subset \mathbb{R}^n$ be an open set with boundary $\partial\Omega$. I have seen two definitions of the space ...
1
vote
1answer
112 views

If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?

Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$ where $w'$ means the weak ...
3
votes
3answers
201 views

Parametrised Hilbert spaces; can we put a norm on the following space of Hilbert spaces?

For each $s \in [0,\infty)$, let $H(s)$ be a Hilbert space. Let us suppose for simplicity that $H(s) = L^2(\Omega_s)$, where $\Omega_s$ is some nice domain that depends on $s$ in a nice way. Define ...
4
votes
0answers
259 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 ...
1
vote
0answers
107 views

Comparison principle for partial differential equation with singular coefficients

How (or if) a comparison principle works in the case of equations singular at some point? For example, I am analyzing a partial differential equation $$ ...
4
votes
1answer
211 views

What's wrong with the Courant nodal domain theorem

The Courant nodal domain theorem (for Neumann boundary conditions) says that the $n$-th eigenfunction has at most $n$ nodal domains (connected components where the eigenfunction has the same sign. ...
5
votes
2answers
256 views

If a PDE have a unique classical solution, must it have a unique viscosity solution?

If a PDE have a unique classical solution, must it have a unique viscosity solution? The particular problem I am interested in is parabolic, but I would be interested in the general case. A short ...
1
vote
1answer
110 views

Differences between parabolic operators of second order and higher order

Properties of parabolic operators of second order have been extensively studied, such as the existence or uniqueness theorem. In higher order case ($u_t-P(D)u$, where $P$ is a $2m$ order uniformly ...
1
vote
0answers
42 views

Rational homogenous functions

I'm interested in the set $\mathcal{S}$ of rational functions $F \colon \mathbb{R}^3 \to \mathbb{R}$ verifying: \begin{align} \Delta F=0 \quad \text{et} \quad F(\lambda x)= \lambda^d F(x) \quad d \in ...
17
votes
1answer
713 views

The origin of Discrete `Liouville's theorem'

It is known that discrete Liouville's theorem for harmonic functions on $\mathbb{Z}^2$ was proved by Heilbronn (On discrete harmonic functions. - Proc. Camb. Philos. Soc. , 1949, 45, 194-206). If ...
3
votes
0answers
166 views

Reference on a Monge-Ampère-like equation

We recently realized that a geometric questions of interest to us is strongly related to the regularity of solutions of the following simple equation on the unit disk in $R^2$: $$ \det(Hess(w))=1~, $$ ...
4
votes
2answers
157 views

First order Elliptic operator

Assume that there exists a first order elliptic operator $D$ acting on functions from $\mathbb{R}^n$ to some vector space $V$. What can we conclude about $V$? For example, is the dimension of $V$ ...
2
votes
0answers
71 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 ...
3
votes
2answers
111 views

Maximum of the solution of a parabolic PDE

Let $u:\mathbb{R}\times [0, \infty) \rightarrow \mathbb{R}$ be defined by $u_{xx} + u_x - u_t = u(u - 2)(u - 1)$ with $u \rightarrow 0$ as $|x| \rightarrow \infty$ and $u(x,0) = 3e^{-x^2}$. Now, let ...
3
votes
0answers
70 views

Subordination identity and heat operator

I was reading the so-called subordination identity that allows one to derive estimates on the Poisson operator $e^{-t\sqrt{-\Delta}}$ from estimates on the heat diffusion operator $e^{t\Delta}$. I am ...
2
votes
1answer
155 views

Proof of regularity for bounded elliptic problem

We consider the boundary value problem for potential in the form: $$-\Delta u(\boldsymbol{x})=0,\quad \boldsymbol{x}\in \mathbb R^3\smallsetminus S,$$ with boundary conditions $$\nabla ...
1
vote
1answer
355 views

Precise versions of “differential operators are unbounded but closed linear operators”

I am trying to understand to what extent the following result of Hille is an extension of the usual theorems on differentiation under the integral sign. Theorem (Hille). Let $(\Omega,\Sigma,\mu)$ ...
2
votes
0answers
60 views

What's a good resource for Hormander symbols of type (1/2, 1/2)?

I'm currently working with some pseudodifferential operators of Hormander class $L^{m}_{\frac{1}{2},\frac{1}{2}}$ and unfortunately many of the usual tools break down, due to difficulties with their ...
1
vote
0answers
57 views

Existence of harmonic maps between loops

Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy ...
3
votes
0answers
79 views

$L^2$ bounds for the gradient of subsolutions to parabolic equation

Suppose we have the differential inequality $$ |\partial_t{u}+\Delta{u}|\leq C(|u|+|\nabla u|) $$ in $\mathbb{R}^n\backslash B_R\times[0,1]$, where $B_R=\{x\in\mathbb{R}^n,|x|\leq R\}$. Then do we ...
0
votes
1answer
198 views

solving elliptic system of first-order linear PDE's

I am a physicist and while solving linearized Einstein's equations, have come across a system of linear PDE's with $7$ dependent variables and $2$ independent variables. There is a subsystem which ...
2
votes
1answer
196 views

Spectrum of the Laplace-Beltrami operator on $L^p$: where is it?

On a noncompact Riemannian manifold $M$, the $L^2$-spectrum of the Laplace-Beltrami operator $\Delta$ sits inside $\mathbb{R}$ (by self-adjointness), either to the left or to the right of $0$ ...
5
votes
1answer
284 views

Influence of Yau's solution to the Calabi Conjecture on the field of PDEs

I remember reading a long time ago(I can't recall where, unfortunately) that Yau's solution of the Calabi-Yau conjecture introduced new techniques that were very important for the field of partial ...
-2
votes
1answer
148 views

A Poincare inequality for the Laplace-Beltrami operator [closed]

Suppose $w \in C^2 (S^{n-1}), \Lambda$ is Laplace-Beltrami operator on the sphere $S^{n-1}$, How can I prove follow Poincare inequality : $\int_{S^{n-1}} w\Lambda w d\sigma \leq (1-n) \int_{S^{n-1}} ...
1
vote
0answers
68 views

Analyticity of one-dimensional PDE solutions with respect to the space variable

Let $n>1$ and $u$ be a solution of a linear PDE with constant coefficients $$ u_t-\sum_{k=0}^n a_k \partial_x^k u=0,\quad a_k\in \mathbb C,\quad a_n\ne0, $$ in some neighborhood of a point ...
2
votes
0answers
175 views

Alternative representations of Sobolev space

Is there a way to represent a Sobolev space as the image of a fractional integral operator over an $L^p$ Lebesgue space? Yes, as it was comment, there is an answer for that in the book "Singular ...
2
votes
1answer
238 views

traces of sobolev spaces under additional assumptions

Let $p\in [1,\infty]$, $\Omega$ an open bounded domain with (smooth, if necessary) boundary $\partial \Omega$. Is there a subspace $X\subset L^p(\Omega)$ - a simply describable space, ideally a ...
1
vote
2answers
167 views

A general inequality about spherical mean of a function

suppose $\overline u(r)=\frac{1}{\omega_{n-1}}\int_{S^{n-1}}u(r,w)dw,0<r<1,$ is the average of $u(r,w)$ on sphere $S^{n-1}$,where $(r,w)$ are the polar coordinates in $R^n$. My question is ...
5
votes
1answer
125 views

On a conjecture of Lions for the wave equation

In Control of Distributed Singular Systems p 236, JL Lions makes the conjecture : Let $\Omega$ be a domain in $\mathbb{R}^n$, $Q = \Omega \times ]0,T[$ and consider $\phi'' - \triangle \phi = F$ ...
7
votes
0answers
137 views

Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$. C.D. Sogge proved that we have the ...