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

3
votes
1answer
159 views

(Ref req) Schrödinger heat kernel is a weak solution of parabolic Schrödinger equation

If we have nonnegative $V \in L^1_{\textrm{loc}}(\mathbb{R}^{n})$, then the operator $H = -\Delta + V$ can be defined on $L^{2}(\mathbb{R}^{n})$ via quadratic form methods. This is done by, for ...
0
votes
0answers
74 views

Dirichlet integral of harmonic functions on manifold controlled by radius?

M is an n($\ge2$)-dim Riemannian manifold with Ricci curvature bounded below. $\Omega$ is a domain in M. $$\Delta u=0, x\in \Omega;u=f ,x\in \partial \Omega$$ f is Lipschitz. Is there a constant c ...
0
votes
0answers
66 views

Harmonic/functional analysis question: Uniform bounds for $(1 - \varepsilon\Delta)^{-1}$ as $\varepsilon\to 0$?

Is there a space $X$, compactly embedded in $H^{-1}(R^2)$, such that the operators $(1 - \varepsilon \Delta)^{-1}$ are bounded from $L^1(R^2)$ into $X$, with operator norms that are in turn bounded by ...
5
votes
1answer
393 views

Do exist infinitely differentiable, compactly supported non zero solutions of the free Schrodinger equation?

I would like to get an answer for the following problem (and possibly be pointed to the relevant literature): given the one dimensional free Schrodinger equation $ i \, f_t + f_{xx}/2 = 0$ for the ...
0
votes
1answer
137 views

A Poincaré-type inequality with logarithmic function

For any function $f(x)$ we denote $\bar{f}:=\frac{1}{\Omega}\int_\Omega f(x)\,dx$. Let $\Omega\subset \mathbb{R}^n$ be a bounded smooth domain and $u(x)> 0$ be a smooth function defined on ...
1
vote
1answer
196 views

Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?

Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain. How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous? I define $H^{\frac 1 ...
1
vote
2answers
82 views

References for well-posedness of weak solutions to Stefan problem

Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)? ...
1
vote
1answer
65 views

Does replacing 'local' with 'global' in the definition of viscosity sub(super)solution change the definition?

Let $F(x,u,Du,D^2u)=0$ for $x\in\Omega$ be our equation of interest. One way of defining a viscosity subsolution is this: We say $u$ is a viscosity subsolution iff for any test function $\phi\in ...
1
vote
2answers
143 views

How to show this integral on boundary of Lipschitz domain is finite?

Sorry for asking a basic question but this did not get answered on M.SE. Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that $$\int_{\partial\Omega} ...
12
votes
0answers
6k views

Otelbayev's approach to Navier-Stokes [closed]

Recent news post that Mukhtarbai Otelbayev from Eurasian National University has shown existence of strong solutions of the Navier-Stokes equation in the article "Existence of a strong solution of ...
1
vote
1answer
110 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
199 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
139 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
267 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
126 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
79 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
85 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
151 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
151 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, ...
1
vote
2answers
160 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
123 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
70 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 ...
2
votes
1answer
141 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
149 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
116 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
87 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 ...
4
votes
1answer
358 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 ...
2
votes
2answers
150 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 ...
3
votes
0answers
85 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 ...
3
votes
1answer
115 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 ...
3
votes
2answers
172 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
120 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
207 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 ...
5
votes
0answers
268 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
129 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
265 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
301 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
113 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
43 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
734 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
171 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
174 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
78 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
117 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
95 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
168 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
397 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
68 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
59 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
86 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 ...