Skip to main content

All Questions

61 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8 votes
0 answers
349 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
Steven Heilman's user avatar
7 votes
0 answers
619 views

Lavrentiev Phenomenon

Does there exist a (onedimensional) integral functional of calculus of variations $$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt
 $$ such that not only $$ \inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
Carlo Mantegazza's user avatar
6 votes
0 answers
220 views

Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized

Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
Feng's user avatar
  • 517
5 votes
0 answers
168 views

Sobolev extension from a discrete set of points

Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define $$...
Ceka's user avatar
  • 501
5 votes
0 answers
913 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
juan rojo's user avatar
  • 103
4 votes
0 answers
174 views

Techniques for showing non-degeneracy results (PDE)

Motivation: Consider the equation, $$-\Delta u = u^p$$ in $\mathbb{R}^n$ for $n\geq 3$ and $p=2^*-1.$ Then we know that this equation has unique positive solutions given by functions of the form $U_{a,...
Student's user avatar
  • 537
4 votes
0 answers
126 views

Relationship between three different definitions of solutions for ODE with irregular coefficient

What is the difference between the notions of Regular Lagrangian flow Filippov solution Caratheodory solution of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
Riku's user avatar
  • 839
4 votes
0 answers
170 views

Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$

Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user avatar
3 votes
0 answers
124 views

Estimating a solution to Euler-type ODE #2

This is a similar question to this but with a different ODE. Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer, $R&...
Laithy's user avatar
  • 969
3 votes
0 answers
111 views

Complex interpolation of Fourier-Lebesgue spaces and Lebesgue spaces

The complex interpolation of Lebesgue spaces $L^{p_0}$ and $L^{p_1}$ are well-known, that is, $[L^{p_0}, L^{p_1}]_\theta = L^p$, where $(1-\theta)/p_0+1/p_1 = 1/p$ for some $\theta \in [0,1]$. Now I ...
heppoko_taroh's user avatar
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\|\...
W.J.'s user avatar
  • 379
3 votes
0 answers
223 views

Sobolev space under Mellin transform

The Mellin transform is known to be an isomorphism see wikipedia between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$ where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user avatar
3 votes
0 answers
146 views

Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
k3thomps's user avatar
  • 516
2 votes
0 answers
138 views

Sufficient initial conditions for "non-local" PDE

I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
DerGalaxy's user avatar
2 votes
0 answers
206 views

Failure of Calderón–Zygmund inequality at the endpoints

$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
Marc's user avatar
  • 457
2 votes
0 answers
201 views

Green function of a 2D exterior domain

Consider solutions of the laplace equation \begin{equation} \begin{split} -\Delta u=f, \ \ u|_{\partial D}=0, \end{split} \end{equation} where the domain $D\subset \mathbb{R}^2$. If $D$ is bounded ...
W.J.'s user avatar
  • 379
2 votes
0 answers
64 views

Scaling limit of ODE with double-well potential

Let us consider the ODE $$ \frac{d}{dt}x_\epsilon(t) = -\frac{1}{\epsilon} W'(x_\epsilon(t)) $$ where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the ODE reads $$...
Riku's user avatar
  • 839
2 votes
0 answers
117 views

Bounding integral expression with BV norm of integrand

Consider the following integral expression: $$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$ for $\epsilon>0$, $f \in L^\...
user avatar
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 ...
W.J.'s user avatar
  • 379
2 votes
0 answers
73 views

Question about Gidas-Ni-Nirenberg result

Background: So I know that the Euler Lagrange equation associated with the Sobolev inequality takes the following form, $$-\Delta u = u^p$$ where $p=2^*-1$ and here we assume that $u>0$ on $\mathbb{...
Student's user avatar
  • 537
2 votes
0 answers
84 views

Method of characteristics and explicit formula for an IBVP for the transport equation

Let us assume $c:(0,1) \to (\epsilon,+\infty)$ and consider the PDE $$ \begin{cases} u_t+c(x)u_x = 0, \\ u(0,x) = g(x) \\ u(t,0) = f(t) \end{cases} \qquad (t,x) \in (0,T)\times(0,1) \label{1}\tag{$\...
Riku's user avatar
  • 839
2 votes
0 answers
162 views

$\int_{\mathbb{R}^{N}\setminus\Omega}\vert x-z\vert^{-N-\alpha} dz = c \ \forall x\in\partial U$ implies $dist(x,\partial\Omega)=c, x \in \partial U$?

Let $\alpha \in \mathbb R_+$, $\Omega \subset \mathbb R^N$ and $U \subset \Omega$. Is it true that if $$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-\alpha} dz = \text{constant} \quad \text{for all ...
user175203's user avatar
2 votes
0 answers
162 views

Explicit computation of a norm in context of operator-semigroups and differential equations

I am interested in the explicit calculation of the following norm $\vert \cdot \vert$. Let $X$ a Banach space with norm $\Vert \cdot \Vert$ and $(T(t))_{t \geq 0}$ a strongly continuous one-parameter ...
kumquat's user avatar
  • 185
2 votes
0 answers
175 views

Boundary terms in integration by parts for the fractional Laplacian

Let $u,v \in C^\infty(\Omega)$ and assume that $v$ is compactly supported inside a domain $\Omega$. Is it true that $$ \int_\Omega v (-\Delta)^su \, d x = \int_\Omega (-\Delta)^{s/2}v(-\Delta)^{s/2}u \...
user173196's user avatar
2 votes
0 answers
162 views

Bochner's formula for fractional Laplacian

Is there an analogue of the classical Bochner formula $\frac{1}{2} \Delta |\nabla u|^2 = |\nabla^2 u|^2$ for harmonic functions that holds for $s$-harmonic functions?
Zac's user avatar
  • 161
2 votes
0 answers
42 views

Analysis of coefficients for quickly vanishing analytic vector field

Let $u = (u_1, u_2, u_3): \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a divergence-free analytic vector field for $n =3$ or $n =4$, i.e., $u_i : \mathbb{R}^n \rightarrow \mathbb{R}$ are analytic ...
tobias's user avatar
  • 749
2 votes
0 answers
71 views

Example of BV vector field $c$ without bounded divergence such that $u$ is bounded where $u_t + div(cu) = 0$

What is an example of vector field $c: \mathbb R_+ \times \mathbb R^N \to \mathbb R^N$ with $c \in L^1(\mathbb{R}_+, BV(\mathbb R^N))$ without bounded divergence $div_x c$ but such that there exists a ...
Riku's user avatar
  • 839
2 votes
0 answers
61 views

Uniqueness of solution to Cauchy problem with quadratic nonlinearity

Consider the non-linear differential operator $$\mathfrak{L}: \ C^2((0,T)\times\mathbb{R}^2)\ni\varphi\equiv\varphi(t,x,y) \, \mapsto \, \partial_x^2\varphi + (\partial_x\varphi)^2.$$ For $U\subset\...
cts12's user avatar
  • 51
2 votes
0 answers
445 views

Lax Milgram for non coercive problem?

I obtained the variational form of my problem. and the bilinear form is below. Bilinear Form Let $\Omega\subset\mathbb{R}$ be an open set. For $u,v\in H^1_0(\Omega)$. I have $$a(u,v)=\int_\Omega u(t)...
user786's user avatar
  • 55
2 votes
0 answers
149 views

Off-diagonal estimates for Poisson kernels on manifolds

Let $(M,g)$ be a complete Riemannian manifold, $\Delta$ its Laplace-Beltrami operator and $T_t = (e^{t \Delta})_{t \geq 0}$ the associated heat semigroup. We can define the subordinated Poisson ...
Adrián González Pérez's user avatar
2 votes
0 answers
126 views

On the infimium of a functional

Let $(M^n,g)$ be a closed Riemannian manifold. Define $$\lambda(g)=\inf\{\mathcal{F}(g,f),\;0<f\in C^{\infty}(M),\; \int_Mf^2\;d\nu=1\},$$ where $$\mathcal{F}(g,f)=\int_M\left(|\nabla f|^2+ af^2\...
user162551's user avatar
2 votes
0 answers
683 views

Laplace problem with Robin boundary condition on a wedge

I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let \begin{equation*} \Omega = ...
Maximilian Bernkopf's user avatar
2 votes
0 answers
64 views

The continuity of $L^2$ gradient on moving domain

I post this on MSE too. Sorry for this short cross posting. But I stuck in this problem for a while... I don't know what the right tool should be used to handle the moving domain problem... Let $I:=(...
JumpJump's user avatar
  • 679
2 votes
0 answers
87 views

1D inhomogeneous linear Schrodinger equation

I have the following problem: $iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...
Sriram Nagaraj's user avatar
2 votes
0 answers
82 views

Properties of a Sobolev bound

I am interested in computing $$ A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2} $$ where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound. ...
rrr's user avatar
  • 193
2 votes
0 answers
142 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 $\...
Craig's user avatar
  • 539
2 votes
0 answers
190 views

A contradiction to do with continuity? (involves chain rule)

Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE $$\frac{d}{dt}D^0_t(\cdot) = V(D^...
studentX's user avatar
1 vote
0 answers
100 views

N-wave solution of conservation law $u_t + (u - u^2)_x = 0$

How can we compute the "N-wave" source-solution of the conservation law $$u_t + (u - u^2)_x = 0, $$ that is, the entropy solution of this conservation law with the initial data $u(0,\cdot) = ...
Riku's user avatar
  • 839
1 vote
0 answers
47 views

Scaling limit of transport equation with double-well potential

Let us consider the transport PDE $$ u^\epsilon_t + u^\epsilon_x= -\frac{1}{\epsilon} W'(u^\epsilon) $$ where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the PDE ...
Riku's user avatar
  • 839
1 vote
0 answers
59 views

Identification of a limit point of a sequence of solution of ODE

Let $v^0$ and $v^1$ be the following vector fields over $\big(\mathbb{R}_+^*\big)^3$: for $x\in\big(\mathbb{R}_+^*\big)^3$ and $1\leq i\leq 3$, \begin{align*} & v^0_i(x)=x_i(x_{i-1}-x_{i+1}) \\ &...
G. Panel's user avatar
  • 449
1 vote
0 answers
72 views

Initial-boundary value problem for transport equation with $W^{1,p}$ velocity

Let us consider $v:\mathbb R_+ \times \mathbb R \to \mathbb R_+$ such that $v \in L^1(0,\infty, W^{1,p}(\mathbb R))$ and the transport equation $$ \begin{cases} u_t + v(t,x) u_x = 0 \qquad & (...
user175203's user avatar
1 vote
0 answers
94 views

Obtaining identity from Pokhozhaev formula

From the classical Pokhozhaev formula, how can I obtain that the following identity holds for $u,v \in C^2(\bar \Omega)$? $$ \int_\Omega (\Delta u(x,\nabla v) + \Delta v(x,\nabla v)) dx = \int_{\...
Lao's user avatar
  • 217
1 vote
0 answers
257 views

Cut-off function and fractional Laplacian

Is there a smooth function $u$ such that $u = 1$ in $B_r(0)$, $u=0$ in $\mathbb R^N \setminus B_{2r}(0)$, and $$ |\nabla u| \le Cr^{-1}, \quad |\Delta u |\le Cr^{-2}, \quad |(-\Delta)^s| u \le Cr^{-2s}...
user173196's user avatar
1 vote
0 answers
144 views

Liouville theorem for elliptic equation with advection term

How can one prove that any $L^2$ solution of $$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$ is zero if $a(x)$ is a divergence-free vector field such that $\int |\...
user173196's user avatar
1 vote
0 answers
130 views

Fractional Sobolev embedding theorem

Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds $$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
user173196's user avatar
1 vote
0 answers
177 views

A consequence of De Giorgi oscillation lemma

The following lemma is true (see DeGiorgi oscillation lemma) Let $u$ be a subsolution of $$\mathrm{div}(A(x)\nabla u) = 0,$$ where $A$ is bounded, measurable and uniformly elliptic ($C^{-1}\...
Riku's user avatar
  • 839
1 vote
0 answers
183 views

Trace theorem for boundary value problem

Consider the inhomogeneous boundary value problem on the infinite strip $(x,y)\in \mathbb{R}\times [0,1]$ defined by $$\begin{cases}\partial_{x}u + \partial_{y}v=f & {(x,y)\in \mathbb{R}\times (0,...
Matt Rosenzweig's user avatar
1 vote
0 answers
105 views

compactness of sequence of harmonic functions

Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$). ...
Math604's user avatar
  • 1,385
1 vote
0 answers
86 views

Asymptotics of a elliptic pde when exponent gets large

I am interested in the following pde $$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball $...
Math604's user avatar
  • 1,385
1 vote
0 answers
129 views

persistence of regularity for nonlinear Klein-Gordon equation

I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" (...
Inquisitive's user avatar
  • 1,051