Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
1 answer
380 views

Lavrentiev phenomenon between $C^1$ and Lipschitz

Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere) $$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt
 $$ such that $$ \inf_{y\in Lip([a,b])}F(y)<\inf_{...
Carlo Mantegazza's user avatar
5 votes
2 answers
459 views

Backward heat equation and forward perturbed heat equation well posed?

I consider the following scenario. Let $I$ be a compact interval in space and $f$ a nice function in the space $C^{\infty}(I)$. In the following we consider a self-adjoint realization of our operators ...
Sascha's user avatar
  • 536
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
1 answer
997 views

Derivative and Jacobian determinant of solution of ODE [closed]

Let $\Phi$ be the unique solution of $$\begin{cases} \frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\ \Phi(x,0) = x \quad x \in \mathbb{R}^N \end{cases}$$ where we have assumed $f$ smooth. ...
user avatar
12 votes
1 answer
1k views

Proof of Green's formula for rectifiable Jordan curves

$\newcommand{\Ga}{\Gamma}$ I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
Iosif Pinelis's user avatar
7 votes
2 answers
682 views

Hölder continuity for operators

Let $x,y$ be positive real numbers then $$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$ we obtain $1/...
user avatar
6 votes
3 answers
1k views

Orthonormal basis in $W^{1,2}([0,1])$

Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
Pablo's user avatar
  • 63
5 votes
2 answers
358 views

Linear transport equation with unbounded coefficients

Consider the PDE $$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$ with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$ I am wondering then if $q$ and all its ...
Pritam Bemis's user avatar
4 votes
1 answer
266 views

Prove $\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx dist(x,\partial \Omega)^{-s}$, $s \in (0,2)$

Let $\Omega \subset \mathbb R^N$ and $s \in (0,2)$. Under what assumptions on $\partial \Omega$ do we have $$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx \mathrm{dist}(x,\partial \...
Jun's user avatar
  • 303
4 votes
1 answer
222 views

A continuous bi-Lipschitz shrinking of a domain into a compact subset

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. My main problem/question is: (1) Show there exist a sequence of bi-Lipschitz (i.e injective Lipschitz function with Lipschitz inverse) maps $F_n ...
Ben Ciotti's user avatar
1 vote
1 answer
193 views

Quantitative finite speed of propagation property for ODE (cone of dependence)

Consider the following ODE initial value problem \begin{align*} &\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\ &\Phi(0,x) = x, & x \in \...
Riku's user avatar
  • 839
0 votes
2 answers
387 views

Derivative of fractional Laplacian is the fractional Laplacian of the derivative

Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x u(x))?$$
user avatar
0 votes
1 answer
125 views

Bounding integral expression with Sobolev 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
0 votes
1 answer
140 views

Singular integral bounded by Dirichlet form?

We define for some fixed $L$ $$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$ in particular $x_1,x_2 \in \mathbb R^2.$ Let $f \in C_c^{\infty}(\Omega)$, then I am ...
António Borges Santos's user avatar