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

0
votes
0answers
45 views

Solve PDE system almost equal to the Ernst equation of general relativity

I am trying to find a solution to the following elliptic quasilinear system of PDEs that arises from a 1962 mathematical physics theory for which no solutions have ever been found:$$\Delta G+\nabla ...
0
votes
0answers
28 views

Dependence of weak solution of an equation on a parameter

For each $p \in [a,b]$, let $X_p$ be a Hilbert space with $Y_p \subset X_p$ a subspace and we are given a bilinear form $a_p(\cdot,\cdot):X_p \times X_p \to \mathbb{R}$. Given $u_p$ with $p \mapsto ...
0
votes
0answers
32 views

Showing existence of positive weak solution of a PDE by CoV

Given the following PDE $$ \begin{cases} -\Delta u+\alpha=u^q &x\in\Omega\\ u=0 &x\in\partial\Omega \end{cases} $$ where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, ...
2
votes
0answers
54 views

Analogous to a PDE but where independent variable is a function

Consider, as an example for my question, a density function $u(\boldsymbol{x},t)$ on a vector field $\boldsymbol{x}$ at some time $t$. The flow velocity vector of the density is given by ...
1
vote
0answers
60 views

Uniqueness of the solution of a nonlinear PDE [on hold]

Given the nonlinear PDE $$ \partial^2\phi+\phi^3=0 $$ I consider the characteristics $\xi=\kappa\cdot x$. Then I look for a solution in the form $$ \phi(x)=a\cdot\chi(\xi). $$ Then, provided ...
1
vote
0answers
37 views

Question on the local existence theory for the classical solution for the incompressible fluid dynamics equation

For the incompressible fluid dynamics system \begin{equation} \begin{split} &\nabla\cdot v=0,\\ &\dfrac{\partial v}{\partial t}+v\cdot \nabla v+\nabla p=A(S,D)v, \end{split} \end{equation} ...
0
votes
0answers
44 views

Linking theorem, elliptic pde

I am trying to solve some linear system of the form $$ \Delta \phi +p v(r)^{p-1} \psi = -f, \qquad \Delta \psi + qu(r)^{q-1} \phi =g $$ in $ \mathbb{R}^N$ where $ f,g$ are given and $ \phi,\psi$ are ...
12
votes
1answer
261 views
+300

Does the Legendre-Hadamard condition imply a generalized Gårding inequality?

For simplicity, we restrict to constant coefficients. Let $A^{ij}_{ab} \in \mathbb{R}$, $1 \le i, j \le n$ and $1 \le a, b\le m$, satisfy the Legendre-Hadamard condition: $$ ...
0
votes
1answer
68 views

Do constrained random walks converge weakly to the Wiener measure on the space of constrained paths (that corresponds to the heat equation)?

Let $U$ be an open subset of $\mathbb{R}^n$ such that $\partial \overline{U}$, the boundary of $\overline{U}$ is ''nice'' (for simplicity you can assume piecewise smooth). I also want to allow the ...
0
votes
0answers
30 views

Regularity of solutions of strongly elliptic system: how smooth must the boundary be?

Let $\Omega \subset \mathbb{R}^d$ be a bounded domain with the boundary of class $C^{1,1}$. Let $A$ be a selfadjoint operator acting in $L^2(\Omega;\mathbb{C}^n)$. The operator $A$ is given by the ...
3
votes
2answers
202 views

Heat equation and evolution of number of critical points

Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
7
votes
2answers
325 views

Surjectivity of curl

Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that $$ \int_{\mathbb R^3} v(x) dx=0. $$ Is it true that there exists a ...
0
votes
0answers
57 views

variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...
2
votes
0answers
62 views

long time existence of a nonlinear parabolic equation

I am thinking about a geometric problem which boils down to the following parabolic equation: Suppose $u=u(r,t)$, $r$ is defined on $[0,1]$ and $t>0$ $$\begin{cases}\displaystyle \frac{\partial ...
6
votes
1answer
349 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an ...
2
votes
1answer
105 views

Local Biot-Savart law in $B(x_o,r) \subset \mathbb R^2$

Let $u: \mathbb R^2 \to \mathbb R^2$ and let $\omega = \text{curl } u$ be the 2D vorticity of $u$, where $u, \omega \in L^2(\mathbb R^2)$ and $\nabla \cdot u = 0$. The classical Biot-Savart law states ...
4
votes
0answers
57 views

A “gradient” weak Harnack inequality for quasilinear elliptic equations

Suppose we are in the following loosely described setting: we have a non-negative supersolution $h$ of the following elliptic equation: \begin{equation} \Delta h + \|\nabla h\|^2 + f(x) \geq 0 ...
4
votes
0answers
257 views

A vector space associated with a vector field on a symplectic manifold

Let $(M,\omega)$ be a $2n$ dimensional symplectic manifold and $X$ is a smooth vector field on $M$. Consider the following subvector space of $\chi^{\infty}(M)$: $$S(X)=\{Y\in ...
4
votes
0answers
85 views

Continuity of the curve-shortening flow with respect to the curve

The curve-shortening flow is an evolution equation for a smooth closed curve $\alpha$ inmersed in a Riemannian surface $M$. The version where $M$ is the Euclidean plane is illustrated for example in ...
0
votes
1answer
108 views

Implicit function theorem for elliptic partial differential equations

Consider the elliptic equation $-\Delta u=\alpha f(u)$ in $R^n$ and assume that for some $\alpha^* \in R$ it has a bounded smooth solution $u^*$ in $R^n$ ($f$ is a nice smooth function). Under what ...
4
votes
1answer
195 views

Schrodinger equation with magnetic vector potential

In many papers dealing with the Schrodinger equation with magnetic potential $$u_t=i(\nabla+iA(t,x))^2u$$ the authors say that this equation can be studied with Kato's methods for abstract evolution ...
0
votes
2answers
105 views

Friedrichs/Poincare inequality on $S_n \times (0,\infty)$?

Should I expect the following Friedrichs/Poincare inequality to hold for $u \in C^\infty(S_n \times (0,\infty))$ with $u(x,0) = 0$: $$\int_{S_n \times (0,\infty)}|u|^2 \leq C\int_{S_n \times ...
0
votes
1answer
144 views

Cauchy problem for an overdetermined system of PDE

This question is strictly related to this one. Let us consider the differential system with constant coefficients $$\left(\begin{array}{ccc} B_{11} & B_{12} & 0\\ ...
1
vote
1answer
89 views

Method of characteristics of a system of first order pdes

I asked the question on math.stackexchange.com, but didn't get any reply. So, I asked it again here. Any suggestion or hint is welcome, and thank you for your attention. Consider the system of first ...
5
votes
1answer
129 views

Elliptic operator on non compact manifolds with ends of the type $\Omega\times (r,\infty)\times\mathbb{R}$

A smooth manifold $M$ is a manifold with a cylindrical end if there exists a compact subset $K\subset M$ such that $M\backslash K$ is diffeomorphic to $\Omega\times (r,\infty)$ where $\Omega$ is a ...
1
vote
0answers
153 views

A integral equation with Discrete to result by inverse problem

Problem I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the ...
1
vote
1answer
128 views

Poincare inequality on balls to arbitrary open subset of manifolds

Let $M$ be an n-dim compact Riemannian manifold with $Ric \geqslant -(n-1)$, it's well known that the following Poincare inequality holds for any function $f\in W^{1,2}(M)$ $$ \frac{1}{m(B)}\int_B ...
1
vote
0answers
72 views

Frobenius-Perron operator leaving a function sub space invariant

I consider a linear subspace of $L^1(\mathbb R^n \to \mathbb R)$, $$ \mathcal S := \{ h: L^1(\mathbb R^n \to \mathbb R) \; | \; \int_{H^{-1}(\{y\})} h(x) \, dS = 0 \text{ for all } y \in \mathbb R\} ...
0
votes
0answers
48 views

global solution of free boundary problem

I want to solve the standard obstacle question $\Delta u=\chi_{\{u>0\}}$, that is type-A question in Petrosyan's book. If I have a solution u in the whole domain $R^{n}$, then we say it is a global ...
2
votes
0answers
67 views

Is logarithmic convexity of the heat kernel with complex time a general fact?

Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...
0
votes
0answers
15 views

Existence to an advection equation with level-set constraints

Let $f: \mathbb R^n \to \mathbb R^n$ be a sufficiently smooth vector field and let $h: \mathbb R^n \to \mathbb R$ a scalar field. We consider the following advection equation ...
1
vote
1answer
48 views

Regularity of solution to a hyperbolic pde

I have a question concerning 2nd order evolution equation of the form $u''(t)+A(t)u(t) = f(t)$ in $L^2(0,T;V^*)$, where $f\in\ L^2(0,T;H)$ holds. Under what assumptions is it possible, to guarantee a ...
1
vote
0answers
72 views

A bilinear estimate in Lp space

Let $\varphi(D)$ be a Fourier multiplier with symbol $\varphi(\xi) = \xi/(1+|\xi|^2)$. It's easy to prove that \begin{equation} \|\varphi(D)u^2\|_{H^s(R)}\lesssim \|u\|^2_{H^s(R)} \quad (*) ...
0
votes
1answer
91 views

Question on viscosity solution through stochastic differential equations

I have learned that for the equation $\partial_tu+a(u)\partial_xu=0$, the entropy solution could be obtained as the limit of the equation $\partial_tu+a(u)\partial_xu=\epsilon u_{xx}$ with ...
2
votes
0answers
125 views

Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$. I am ...
2
votes
0answers
86 views

Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem $$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...
4
votes
0answers
29 views

On a continuous extension of a linear 2nd order PDE

Consider an elliptic (hyperbolic) equation $A(x,y) u_{xx} + 2B(x,y) u_{xy} + C(x,y) u_{yy} = 0$ in a bounded open plane set $D$, with real-valued functions $A$, $B$, and $C$. Is it true that at least ...
2
votes
0answers
51 views

Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse. Does there ...
5
votes
1answer
449 views

Beginners Guide to Cartan for Beginners [closed]

I am working through parts of Cartan For Beginners by Ivey and Landsberg. Thankfully some exercises have solutions, but, we would benefit from some additional guidance. Question: I am seeking ...
3
votes
1answer
104 views

Application of Egorov's Theorem for Pseudodifferential Operators

Let $\;P_{0} \in OPS^{m}_{1,0}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})\;$, $\;A \in OPS^{1}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})$ and $S(t)$ the solution operator of the scalar hyperbolic ...
2
votes
2answers
187 views

System of linear first order PDE with constant coefficients

recently in my researches I've come across the following operator $$L\left(\begin{array}{c} a_1\\ \vdots\\ a_n \end{array}\right)=M_1\left(\begin{array}{c} ...
2
votes
1answer
117 views

Well-posedness of heat equation with distributional right hand side

The question is about well-posedness of heat equation $$ \frac{\partial\Theta}{\partial t}=\alpha^2\Delta\Theta+p(t)\delta(x-u(t))\delta(y-v(t)),~~ (x,y,t)\in\Omega\times[0,T], $$ subjected to ...
4
votes
1answer
207 views

Uhlenbeck's theorem novelty

This link provides a short introduction to the contributions of Uhlenbeck about regular gauge fixing. However, I feel quite puzzled about it and I do not understand the real novelty apported by this ...
2
votes
1answer
98 views

Is the on-diagonal heat kernel “local” with respect to the metric?

Question Let $X$ be a manifold, and $\mu_A$, $\mu_B$ two Riemannian metric on it which agree on an open subset $U\subset X$, i.e. $\mu_{A\,|U} = \mu_{B\,|U}$. Let $K_A(t;z,w)$ resp. $K_B(t;z,w)$ be ...
0
votes
2answers
133 views

Frobenius condition

Suppose X and Y are two unit length vector fields on a Riemannian manifold which are orthogonal at each point. Is it true that the lie bracket of X, Y belongs to the span of the vector fields at each ...
0
votes
0answers
64 views

How to prove it is uniformly bounded?

Let $\Omega$ be a bounded domain with smooth boundary. Say $\theta\in(0, 1]$. Let $u(x, \theta)$ be a solution to the problem $\Delta u-\theta u=g(x)$ subject to Neumann boundary condition. Suppose ...
1
vote
0answers
76 views

Free Endpoint of Minimization Problem

Consider the following minimization problem $$\inf \left\{ \int\limits_{-\infty}^0 \left[ (\psi')^2 + m(y)(\psi - F)^2 \right]\; : \; \psi \in H^1(\left(-\infty,0\right]) \right\}$$ where $m(y) > ...
4
votes
1answer
160 views

Extension of solutions of PDEs with constant coefficients

Let $\mathcal L$ be a differential operator with constant coefficients and $\mathcal{L} f=0$ for some $f\in C^{\infty}(\mathbb{R}^n).$ Under what conditions on $\mathcal {L}$ the function $f$ extends ...
2
votes
2answers
85 views

Estimates on a heat process with fixed boundary data and zero initial conditions

Consider the following heat process: For a given (say, smooth) domain $\Omega$ on a closed manifold $M$ we construct $p(t,x):\mathbb R_+ \times \bar\Omega \rightarrow [0,1]$, so that $$ \partial_t ...
0
votes
1answer
97 views

Prove a function, defined by integration of a harmonic function, is log-convex [closed]

Let $u$ be a harmonic function and we define $$ q(r)=\int_{\partial B(0,r)}u^2(x)\,dx $$ The question is about to prove that $q(r)$ is log-convex, i.e., I want to show $\log q(r)$ is convex function ...