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
0answers
187 views

Numerical solution

Last time, I asked this question but after discussing with some friends, I have given up finding closed-form solutions. Now I have a simpler question.Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ ...
3
votes
0answers
381 views

kernel of the conformal Laplacian

Let $M$ be a smooth, closed manifold of dimension $n>2$. Let $L_g$ be the conformal Laplacian of the metric $g$. That is, $L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g$, where $R_g$ is the scalar ...
3
votes
0answers
388 views

PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field

Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases). Let $\nabla^{2}$ be the vector Laplacian. Let ...
3
votes
0answers
361 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 ...
3
votes
0answers
268 views

Controlling the Second Eigenvalue of a Schrödinger Operator

Consider a bounded domain $\Omega$ (with smooth boundary) in some Riemannian $n$-manifold $M^n$. Let $L$ be the operator $$ L=\Delta+V $$ where $\Delta$ is the Laplace-beltrami operator on $M$ (so is ...
3
votes
0answers
166 views

Generalizations of group algebras for arbitrary manifolds?

In the analysis of partial differential equations on Euclidean spaces, one of the most useful properties of the Fourier transform (and the related integral transforms) is that they take ...
2
votes
0answers
103 views

Concentration compactness on a compact setting

Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\varphi_k \in C^\infty(M)$ such that $\varphi_k$ satisfy the basic concentration compactness ...
2
votes
0answers
102 views

$L^\infty-L^1$ smoothing effect for the heat equation

Let $\Omega$ be a bounded domain in $\mathbb{R}^n$. Let $u \in L^2(0,T;V)$ be the weak solution of the heat equation $$u_t - \Delta u = 0$$ $$u(0) = u_0$$ where $u_0$ is bounded initial data. Here ...
2
votes
0answers
77 views

Heat kernel on manifold with boundary

Let $M$ be a Riemannian manifold with boundary, let $\mathcal{V}$ be a metric vector bundle over $M$ and let $L$ be a formally self-adjoint Laplace type operator, acting on sections of $\mathcal{V}$. ...
2
votes
0answers
80 views

A construction of the fundamental solution for Schroedinger equations

Does someone know some book or lecture notes useful for the reading of the paper "A construction of the fundamental solution for the Schrödinger equation", Fujiwara, Daisuke, J. Analyse Math. 35 ...
2
votes
0answers
88 views

A modification of Minty's trick?

I have the following result: $$0 \leq \int_0^T (a(t)- |w(t)|)(b(t) - g^{-1}(|w(t)|))\quad\forall w \in L^2(0,T)$$ where $a$ and $b$ are both non-negative. Does it follow that $b(t) = g^{-1}(a(t))$? ...
2
votes
0answers
33 views

Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
2
votes
0answers
32 views

Does the fast diffusion equation (or singular PME) on a manifold lose mass if the exponent is small enough?

Consider the singular porous medium equation $$u_t - \Delta (|u|^{m-1}u) = 0$$ $$u(0)=u_0$$ given $u_0$ bounded, where $m \in (0,1)$. When posed on $\mathbb{R}^n$, it is well known that mass is ...
2
votes
0answers
66 views

Regularity of $u$ in $u_t - \Delta \beta(t,u) = f$, can we get $u_t$ is a function?

I'm looking for reference discussing the regularity of the weak solution $u$ to the equation $$u_t - \Delta \beta(t, u) = f$$ $$u(0) = u_0$$ where $\beta(t,\cdot)$ is a nonlinear function depending ...
2
votes
0answers
54 views

Hypoelliptic pseudodifferential operators and Fredholm equations?

I read here the following: The parametrix is a useful concept in the study of elliptic differential operators and, more generally, of hypoelliptic pseudodifferential operators with variable ...
2
votes
0answers
36 views

elliptic regularity of Neumann problem on Square

I asked a similar question the other day, but I will be more precise now. Consider $ \Omega:=(0,1 ) \times (0,1)$ and consider $$ - u_{xx}(x,y) - u_{yy}(x,y) + a(x) u_x + b(y) u_y + u = f(x,y) ...
2
votes
0answers
70 views

elliptic regularity for Neumann BVP on square

I am interested in the regularity of ellitpic equations like $$ -\Delta u(x) +a(x) \cdot \nabla u(x) + C(x) u(x) =f(x) \quad \Omega$$ with $ \partial_\nu u =0$ on $ \partial \Omega$ where $ ...
2
votes
0answers
52 views

Using compactness method to prove the existence of a pathwise solution to an SPDE

For given initial data $u_0\in H^k$ for some $k$, I want to prove the existence of solution to some PDE with multiplicative white noise. I modify the SPDE by regularizing it and then use the ...
2
votes
0answers
58 views

Reference/proof for parabolic Holder spaces property

Suppose that a function $u:[0,1]\times[0,T]\to\mathbb{R}$ belongs to the parabolic Holder space $C^{2+\alpha,1+\alpha/2}$, for $\alpha\in(0,1)$. What can be said about $u_x=\partial_x u$? I am not ...
2
votes
0answers
19 views

Is this function $u\in SBV(\Omega)$ also belongs to $L^\infty(\Omega)$?

Some early discussion can be found here. My question: Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Also $\mathcal H^{N-1}(\partial\Omega))<\infty$. Let $u\in ...
2
votes
0answers
70 views

Parametrices for the wave equation on manifolds with boundary

I am trying to understand parametrices for the solution operator $G_t = \sin(t\Delta)/\Delta$ to the wave equation $$(\partial_{tt} + \Delta)u_t=0, ~~~~~~~ u_0 =0, ~~~~~~\partial_tu_0 = f$$ on a ...
2
votes
0answers
181 views

One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = ...
2
votes
0answers
192 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
2
votes
0answers
82 views

What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?

Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$. How big can the set ...
2
votes
0answers
125 views

Complex sum of squares of vector fields (hypoelliptic operators)

Consider a compact $M$ of dimension $n$. Consider real smooth vector fields $X_0, X_1, X_2,..., X_n$ on $M$ and consider the differential operator $\mathcal{L}_1 = \sum_{i = 1}^n X_i^2 + X_0.$ Now, by ...
2
votes
0answers
41 views

Hess-Schrader-Uhlenbrock inequality for non-symmetric operators

Let $M$ be a (compact, let's say) Riemannian manifold, $\mathcal{V}$ a vector bundle over $M$ with covariant derivative $\nabla$ and a fiber metric. Let $L = - \mathrm{tr}(\nabla^2) + V$ with some ...
2
votes
0answers
89 views

Find $U \in H^1(\Omega \times (0,\infty))$ such that $\nabla E(u-\bar u)\nabla U \geq 0?$ (PDE harmonic extension)

Let $\Omega$ be a bounded smooth domain. Given $u \in H^{\frac 12}(\Omega)$ with mean value $\bar u = 0$, let $Eu = v \in H^1(\Omega \times (0,\infty))$ solve $$\int_0^\infty\int_\Omega \nabla v\nabla ...
2
votes
0answers
150 views

Sobolev space for manifold with boundary

For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...
2
votes
0answers
72 views

How analyze the following fully nonlinear equation

Now I want to consider the following pde $u_t(x,t)=\sigma(x,t)(1+|D_xu(x)|^2)^{1/2}$, with initial condition $u(x,0)=g(x)$ which is analytic, and on domain $D\times \mathbf{R}^{+}$, $D\subset ...
2
votes
0answers
105 views

Uniqueness of solution of elliptic equation with exponential nonlinearity

Consider the following equation $$\Delta v + p(r)e^v = 0$$ on $\mathbb{R}^n$ where $p(r)$ is a polynomial in $r = |(x_1,..., x_n)|$. I want to understand when equations like these have unique ...
2
votes
0answers
73 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 ...
2
votes
0answers
105 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 ...
2
votes
0answers
228 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 ...
2
votes
0answers
84 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 ...
2
votes
0answers
175 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
145 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 ...
2
votes
0answers
106 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 ...
2
votes
0answers
50 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. ...
2
votes
0answers
127 views

Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?

Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$. Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in ...
2
votes
0answers
132 views

Reference request: functional analysis results used in Taubes paper (1980)

I'm studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I'm looking for a reference of three following theorems: Let $f(x)$ be a convex funtional ...
2
votes
0answers
82 views

Properties of solutions of Parabolic type equations

Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation $$ \partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\ u(0)=u_{0}. $$ with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...
2
votes
0answers
87 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}$.It is a real analytic vector field on $S^{2}$ which ...
2
votes
0answers
136 views

Is Laplacian a surjective operator?

For a closed manifold the laplacian is almost surjective operator since the index of $\Delta$ is zero and there is no a non constant harmonic function. So the codimension of the image ...
2
votes
0answers
76 views

Solve a PDE related to free boundary problem

I would like to solve the following system for my problem: $$\max\Big(\frac{1}{2}u_{ss}+u_l\delta(s-s_0), F(l)-\lambda(s)-u(s,l)\Big)=0.$$ where $u=u(s,l): R\times R_+\to R$ is the unknown function ...
2
votes
0answers
135 views

Newtonian potential for continuous $f$

Suppose $f(x)$ is a continuous compactly supported function in $ R^N$ where $N \ge 3$. Consider the Newtonian potential of $f$ (at least I think this is what it is called) $$ v(x)=\int_{R^N} ...
2
votes
0answers
66 views

Approximating a superharmonic function, by smooth superharmonic functions

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic). The standard ...
2
votes
0answers
108 views

Variant form of the gronwall inequality

I know the following statement for gronwall inequality: Given $f$ non negative and absolutely continuous on $[0;T]$ and $\phi \in L^1(0;T)$if we have, $f' \leq \phi f$ and $f(0)=0$ then $f=0$ Now is ...
2
votes
0answers
81 views

Holder continuity of Poisson equation with divergence free drift

I am interested in the following PDE. Suppose $u_m$ is a smooth solution of a elliptic equation of the form $$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on ...
2
votes
0answers
120 views

Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...
2
votes
0answers
161 views

Showing $\langle \frac{\partial b(v)}{\partial t}, v \rangle_{H^{-1}(\Omega), H^1(\Omega)} = \frac{d}{dt}\int_{\Omega}\Psi^*(b(v))$

Let $b$ be continuous and increasing with $b(0) = 0$. Define $\Psi(t) = \int_0^t b(s)\;ds$ and $\Psi^*(s) = \sup_{r \in \mathbb{R}} (sr-\Psi(r))$. (Note $\Psi^*(b(s)) + \Psi(s) = sb(s)$). Let $v ...