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
1answer
122 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
230 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
108 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
158 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\\ ...
2
votes
1answer
123 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
139 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 ...
2
votes
0answers
211 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
130 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 ...
2
votes
0answers
72 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
17 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
53 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
110 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
135 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
95 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
35 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
62 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
458 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
116 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
196 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
119 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
215 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
103 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
138 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
65 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
80 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
171 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
86 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
100 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 ...
0
votes
0answers
42 views

Regularity of solutions to $u' + Au = f$ for nonlinear monotone operator $A$

Consider the equation $$u' + Au = f$$ $$u|_{\partial \Omega} = 0$$ $$u(0) = u_0$$ where $A:L^p(0,T;W^{1,p}_0) \to L^q(0,T;W^{-1,q})$ is some monotone nonlinear operator (with additional assumptions). ...
1
vote
1answer
44 views

Point moving inside smooth domain?

Let $U \subset \mathbb{R}^2$ be a domain im $\mathbb{R}^3$ with smooth boundary. Let a point move inside $\mathbb{R}^3$ along the smooth curve $x(t)$. We denote by $\mbox{dist}(x(t), \partial U)$ the ...
3
votes
0answers
94 views

Continuously dependent on parameters [closed]

How do we check whether the solution is continuouly dependent on parameters? Let $\Omega$ be a domain with smooth boundary. Say $f$ and $h$ are smooth. Assume that for each $\theta\in (0, 1]$, the ...
0
votes
1answer
94 views

Complex transport equation

Consider an n dimensional Riemannian manifold with boundary. Let $\Phi$ be a complex valued smooth function defined in M. Does there exist a NONE VANISHING complex valued function $u$ that solves the ...
9
votes
1answer
238 views

applications of C$^*$-algebras in the field of PDEs

I know only a little bit about C$^*$-algebras and I want a to know if you know a nice apllication or the influence of them in the field of partial differential equations (it is better that it is ...
6
votes
2answers
140 views

Is there a maximum principle for stress in continuum mechanics?

I'm working with the equilibrium equations in linear elasticity, which I have not worked with in the past. My engineering colleagues seem to "know" that the maximum Von Mises stress occurs on the ...
2
votes
1answer
62 views

Dichotomy for global existence or blow up for solutions of evolution problems

Consider the problem (Nonlinear Schrödinger equation) \begin{equation} \left\{ \begin{array}{rl} iu_t + \Delta u\mp u|u|^{\alpha}=0\\ u(0) =\varphi\in H^{1}(\mathbb{R}^N), \\ ...
1
vote
0answers
37 views

ABP estimates for semiconvex functions [closed]

Referring to the classical ABP Estimate (Gilbarg-Trudinger Lemma 9.2) I am looking for if such an estimate can be generalized to semiconvex functions. In an article of Trudinger (Comparison Principles ...
1
vote
0answers
32 views

Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)? I am thinking of eg. ...
1
vote
0answers
24 views

Is it classical that the solution to an hyperbolic equation equation is Lipschitz -continuous $[0,\infty)\to L^1(\mathbb{R})$?

Recently I am reading a paper "Global solution and smoothing effect for a non-local regularization of a hyperbolic equation" published on J.E.E, 2004. In the proof, the authors write "It is classical ...
3
votes
1answer
109 views

Surfaces with specific types of second fundamental form

Given a three dimensional Riemannian manifold $(M,g)$ and a surface $\Sigma \subset M$ can one categorize surfaces where the second fundamental form of $\Sigma$ is a scalar multiple of the induced ...
5
votes
2answers
173 views

Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
4
votes
1answer
120 views

PDEs on torus $\mathbb T$

(Hope this question is o.k. for MO) I have been learning PDE(non linear dispersive equations) techniques, mainly using harmonic analysis(kind of Strichartz estimates, estimates for unimodular ...
5
votes
2answers
249 views

Poincare-like inequality on compact Riemannian manifolds

I am looking for a Poincare Inequality on balls but instead of euclidean space, I have a compact Riemannian manifold without boundary. The inequality I am looking for is the equivalent of $$ ...
0
votes
1answer
125 views

Equivalence of two definitions of Sobolev spaces

Good morning, I am looking for a reference about the following fact that seems to be folklore. Define the Sobolev (Beppo Levi?) space $$ D^{1,p}(\mathbb{R}^N) = \left\{ u \in L^{p^*}(\mathbb{R}^N) ...
4
votes
1answer
119 views

Minimal surfaces + Semi-Geodesic Coordinates

Let $(M,g)$ be a three dimensional smooth Riemannian manifold and suppose that $\Gamma$ is an embedded minimal surface in $M$. Define the Fermi or semigeodesic coordinates around this surface through ...
3
votes
2answers
179 views

Reconstructing density from integrals along specific manifolds

Let $\Phi_t : \mathbb R^n \to \mathbb R^n$ be the time-$t$-map associated to an ODE $\dot{x}=F(x)$ and let $H: \mathbb R^n \to \mathbb R$. Let $F$ and $H$ be sufficiently smooth (e.g. $C^k$ or ...
3
votes
2answers
200 views

Isothermal-related functions in higher dimensions

I am interested in getting some geometrical or analytical perspective in studing the following complex pde. I would appreciate any help. Consider $ (M,g)$ to be a 3 dimensional Riemannian manifold ...
0
votes
2answers
176 views

Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question: Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...
0
votes
0answers
118 views

Notion of solution of pde

Let's consider the following Schrodinger equation $$iu_t+\Delta u+F(u)=0$$ in $\mathbb{R}^n$. In Cazenave's book, "Semilinear Schrodinger equation", he defines $H^1$-weak solution as $u\in ...
3
votes
0answers
131 views

Strong solution to $u_t - \Delta_p u = f$

For $p > 1$, consider the equation $$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$ $$u(0) = u_0$$ $$u|_{\partial\Omega} =0$$ for all $v \in ...