Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
48 views

Question about higher order mean field equation $\left(-\Delta_{g}\right)^{m} u+\lambda=\lambda \frac{e^{2 m u}}{\int_{M} e^{2 m u} d \mu_{g}}$

I'm reading Dr.Luca Martinazzi's paper Existence of solutions to a higher dimensional mean-field equation on manifolds which proves that for $m \geq 1$, there is an existence result for the equation $$...
5 votes
1 answer
630 views

Uniqueness of Kantorovich potentials?

$\newcommand{\R}{\mathbb R}$Take $\Omega\subset \R^d$ bounded, convex, and smooth. Consider the optimal transport problem with cost $c(x,y)=\lvert x-y\rvert^2$, leading to the quadratic Wassersein ...
0 votes
0 answers
98 views

Reference request: subspace-based generalisation of weak* convergence

Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
0 votes
0 answers
66 views

Reference request: Integrability condition on measures

Let $(\mathcal{C}, \|\cdot\|)$ be a (non-locally compact) Banach space with Borel $\sigma$-algebra $\mathcal{B}$. Given a probability measure $\mu : \mathcal{B}\rightarrow[0,1]$, I'm interested in ...
3 votes
0 answers
135 views

Holmgren's theorem on the boundary

Consider $\Omega$ a bounded Lipschitz domain, with $\gamma \subseteq \partial \Omega$ a $C^2$ manifold. I am interested in proving the following. Let $u: \Omega\times [0,T]\rightarrow \mathbb{R}$ be ...
4 votes
1 answer
225 views

Asymptotics of integral representation of distribution

I initially posted this question at MSE (here), but I have gotten no response, so I figured I would ask it to this community. Background: I am studying the PDE $$\,\,\,\,\,\,\,\,\,\,\,\,i\partial_t \...
2 votes
0 answers
94 views

Existing work on $\Delta u=c-h e^{u}$ on compact manifold with dimension n, I have read J.Kazdan's work, the condition $c > 0, n \ge 3$ is not solved

I'm reading Prof. Kazdan's lectures At page 69, Prof. Kazdan describes the research on the $\Delta u=c-h e^{u}$ PDE on a compact $n$-dimensional manifold before 1983. (Here $c$ is a constant while $h$ ...
-1 votes
1 answer
79 views

A question about the commutator $[J^s,u]\partial_x u$

I am studying the use of the commutator for finding the estimate of energy. During my looking through many papers I found that this paper contains a possible typo. Here is the archive version which ...
7 votes
2 answers
641 views

Decay of solutions to Schrodinger equation with local minimum in potential

Consider the one-dimensional Schrodinger operator on the real line $\mathbb{R}$ given by $$ L = - \partial_x^2 + V $$ where $V$ is a potential with the following properties: $V$ is non-negative, and ...
2 votes
0 answers
104 views

Relations between different "propagation of chaos" type results?

My questions come from the paper Logarithmic Sobolev inequalities for some nonlinear PDE’s written by F. Malrieu (May 2001). The basic set-up is that we have a $N$-particle system $(X^{i,N}_t)_{1\leq ...
0 votes
1 answer
380 views

How to solve the integral equation $f(x)=\frac{\lambda\int_{x}^1 \sqrt{1+(f(t))^2}dt+c_1}{\int_{x}^1 \sqrt{1+(f(t))^2}dt+c_2}$?

Recently, I have asked a question about variational analysis (First moments of uniform distribution on a curve from (0,0) to (1,1) in two-space). Such the question can be addressed in some cases by ...
2 votes
0 answers
150 views

Reference for weighted Sobolev spaces

I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
3 votes
1 answer
454 views

Duality argument

$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$Throughout my studying for some papers, in particular, the proof of localized Strichartz estimates, I encountered a use of the ...
5 votes
1 answer
487 views

Fokker-Planck: equivalence between linear spectral gap and nonlinear displacement convexity?

In a smooth, bounded and convex domain $\Omega\subset \mathbb R^d$ consider the usual linear Fokker-Planck equation with Neumann (some would say Robin) boundary conditions \begin{equation} \label{FP} \...
3 votes
0 answers
130 views

Is the range of the exterior covariant derivative closed in $L^{2}$?

Let $(M,g)$ be a compact Riemannian manifold. Given a tensor bundle $\mathbb{E}$, let $\nabla:\Gamma(\mathbb{E}) \rightarrow \Gamma(T^{*}M\otimes \mathbb{E})$ be the canonical connection induced by ...
-1 votes
1 answer
77 views

Applications and motivations of resolvent for elliptic operator

Let $ A(x)=(a_{ij}(x)):\mathbb{R}^d\to\mathbb{R}^{d\times d} $ be a matrix satisfying ellipticity condition, that is \begin{align} \mu^{-1}|\xi|^2\geq \sum_{i,j=1}^da_{ij}(x)\xi_i\xi_j\geq\mu|\xi|^2 \...
0 votes
0 answers
171 views

Explanation of a step in a preprinted work

I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct. I do not ...
1 vote
1 answer
203 views

Explanation of a step in a work by C. E. Kenig and A.D. Ionescu

I am studying the work Ionescu, A. D.; Kenig, C. E., Local and global wellposedness of periodic KP-I equations, Bourgain, Jean (ed.) et al., Mathematical aspects of nonlinear dispersive equations. ...
3 votes
0 answers
190 views

$C^1$-regularity of solution of a Dirichlet problem

I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
5 votes
1 answer
224 views

Spectral theory of infinite volume hyperbolic manifolds

I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
5 votes
1 answer
281 views

de Rham theorem for tempered distributions

I am wondering if the following statement holds. If $u\in \mathscr{S}'$ satisfies $\left< u,\Phi\right>=0$ for all $\Phi \in \mathscr{S}$ with $\mathrm{div}\, \Phi=0$, then there exists $p\in \...
59 votes
9 answers
10k views

Motivation for and history of pseudo-differential operators

Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
2 votes
1 answer
145 views

Estimate for an oscillatory integral of the first kind

I am confused in finding the right bound for the following oscillatory integral $$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$ Where $\psi(2^{-k} \xi)$ is a smooth ...
3 votes
0 answers
324 views

Would you help me to find this expression?

I'm studying a paper, which I'll include a small piece here. And I'm struggling to calculate $$C_n\|u_{m,n}\|^{\left(\frac{2*}{2}\right)^k\frac{2*-q}{(r_k)^k}}_{L^{2*}(\Omega)}$$ Where $\Omega$ is an ...
2 votes
1 answer
246 views

Change of variable and boundary data for Laplace equation

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ \begin{cases} -\Delta u = 0 & x \in \Omega \\ u = 1 & x \in \partial \Omega \end{cases} $$ Does it make ...
1 vote
0 answers
152 views

Poisson Kernel and solution formula for fractional elliptic problem

$$ k (-\Delta)^s u + u = 0, \qquad x \in U, \\ u(x) = f(x), \qquad x \in \mathbb R^n \setminus U, $$ with $f \in L^\infty(\mathbb R^n)$, $k>0$, and $(-\Delta)^s$ is the singular integral ...
4 votes
1 answer
343 views

Conditions for the existence of a solution to a semilinear second-order PDE with a-priori bounds

Consider the general semilinear elliptic second-order PDE $$ u_t-\mathcal L u=f\left(t,x,u,\nabla u\right) $$ where $\mathcal L$ is an elliptic linear operator (like minus the Laplace operator), $t \...
0 votes
0 answers
83 views

Partial derivative of the Bessel's operator

Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that $$\...
2 votes
0 answers
66 views

Existence of saddle points under a $C^0$-perturbation of a continuous function

Let $f:\mathbb{R}\to \mathbb{R}$ be a continuous function and has a strict maximum point $a$ and strict minimum point $b$. Define $g(x,y)=f(x)+f(y)$ and $h_\varepsilon(x,y)$ be a family of continuous ...
1 vote
0 answers
597 views

What is $T T^*$ argument?

During my studying of many papers, some authors used what so-called $T T^*$ argument. I have no clue about this concept (or mathematical tool). Could you please enlighten me with some explanations or/...
4 votes
3 answers
1k views

Using Galerkin method for PDE with Neumann boundary condition?

I am wanting to show existence of solutions to $$u_t +L(u) = f \;\;\text{on}\;\; \Omega$$ with initial condition $u|_{t=0} = u_0$ and Neumann boundary condition $\nabla u\cdot \nu = 0$ on ${\partial\...
4 votes
2 answers
242 views

Sharp Dirichlet heat kernel estimates in exterior domains?

I am right now working on some linear parabolic problems studying the behaviour of its solutions for large initial data. To do this, I have needed to use some estimates of the Dirichlet and Neumann ...
3 votes
1 answer
741 views

About radial Sobolev inequality (Strauss Lemma)

As shown in Strauss: Existence of solitary waves in higher dimensions, Strauss introduces the Stauss lemma. Precisely speaking, we have the following theorem: Theorem Let $N \ge 2$, every radial ...
0 votes
0 answers
57 views

Existence of measure-preserving Lagrange flow for inhomogeneous transport equation

I asked this question on stackexchange: Let us consider the Cauchy problem for the transport equation $$ \partial_t \varphi + b\cdot \nabla \varphi= f \text{ in } (0,T)\times\mathbb{R}^3,\\ \varphi(0,...
1 vote
1 answer
250 views

Moser/Schauder estimates for coercive boundary conditions

Consider the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on $(0, \infty) \times \Omega$, where $\Omega \subset \mathbb{R}^n$ is an open bounded domain with smooth boundary, and $L$ is a ...
17 votes
1 answer
1k views

Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates \...
3 votes
1 answer
261 views

The continuous dependence of the Green's function on a domain

Let $\Omega\in\mathbb{R}^2$ be a smooth bounded domain and $G(x,y)$ be the Green's function of $-\Delta$ in $\Omega$ with zero Dirichlet condition. Clearly $G(x,y)=-\frac{1}{2\pi}\ln|x-y|-h(x,y)$, ...
3 votes
0 answers
84 views

A weighted $W^{2,p}$ estimates

Let $\Omega$ be a bounded smooth domain and $u\in W^{2,p}(\Omega)\cap H^1_0(\Omega)$. By the classical $L^p$ theory of second order elliptic equation, we have $$ \|\nabla^2u\|_{L^p(\Omega)}\leq C\|\...
1 vote
0 answers
57 views

How to show the solution map of NLS is not smooth?

Let $u(\delta, t)$ satisfy $$iu_t +\Delta u+ |u|^{2k}u=0, \quad u(0)=\delta v_0$$ Note that the mapping: $$\delta v_0\mapsto u(\delta, t)= S(t)(\delta v_0)-i\int_0^tS(t-\tau)(|u|^{2k}u)(\tau)d\tau $$ ...
2 votes
2 answers
631 views

Decomposition of a positive definite matrix

Let $K(x)_{n\times n}$ be a positive definite matrix defined on $x\in D$ and $K_{i,j}(x)\in C^2(D)$ (or generally $C^k$) for any $1\le i,j\le n$. Of course for any $x$, there exists a invertable ...
1 vote
0 answers
93 views

$H^s$ norm of dispersive semigroup

The Bourgain space is $X^{s,b} := X^{s,b}(\mathbb R \times \mathbb{T}^3)$ is the completion of $C^\infty (\mathbb R; H^s(\mathbb{T}^3))$ under the norm $$\| u\|_{X^{s,b}}:= \|e^{- i t \triangle} u(t,x)...
1 vote
0 answers
74 views

Reference request: normal trace and the conormal derivative associated to the operator $Div (A \nabla)$ for a symmetric positive definite $A$

Let $A$ be a $3\times 3$ symmetric positive definite matrix. I am looking for a reference where I could find in which sense the normal trace $\gamma$ and conormal derivative $\gamma_n$ associated to ...
1 vote
1 answer
189 views

The semigroup of Laplace-Beltrami operator on 3-flat torus

I am studying a recent paper in which the author worked on the rectangular, flat 3 tori. It can be realized, the author explained, as $\mathbb{R}^3 \over (L_1 \mathbb Z \times L_2 \mathbb Z \times L_3 ...
3 votes
0 answers
159 views

$L^\infty-L^\infty$ bounds for heat semigroups constructed from the Dirichlet Laplacian

Let $D \subset \mathbb{R}^n$ be a bounded domain with Lipschitz boundary, and let $\Delta$ be the Laplace operator with the Dirichlet boundary condition on $D$. Let $e^{t\Delta}$ be the corresponding ...
5 votes
1 answer
765 views

Weak convergence in $W^{1,p}_0$

Note from the answerer : this question stems from this article. I ask this question in https://math.stackexchange.com/questions/1206617 I have a bounded sequence $(u_n)$ from $W^{1,p}_0(\Omega)$ so ...
11 votes
2 answers
478 views

$x f'$ bounded by $x^2f $ and $f''$?

Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$ I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
2 votes
1 answer
196 views

Support of functions in Fourier domain

Let $\mathcal F$ be the Fourier transform. I would like to understand whether being in a Sobolev space implies that the Fourier transform of a function is necessarily supported on a compact ball up to ...
2 votes
1 answer
129 views

Spectral analysis for nonlocal elliptic operator

Suppose $\Omega\subset\mathbb{R}^3$ is a bounded domain with smooth boundary. We note by $(-\Delta)^{-1}$ the inverse Laplacian i.e. $f\mapsto u$ where $u$ is the unique solution to $$-\Delta u=f,\...
2 votes
0 answers
166 views

Green's function for elliptic PDE with potential

$\newcommand{\div}{\operatorname{div}}$Suppose I have an elliptic operator $\mathcal{L} u = -\div (A \nabla u) $ on some open set $\Omega \subseteq \mathbb{R}^d$ where here $A$ is uniformly elliptic ...
3 votes
0 answers
170 views

A version of the Nash-Moser inverse function for unbounded domains?

Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...

1
4 5
6
7 8
27