Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
5 votes
0 answers
428 views

Is there an appropriate weighted Sobolev space to include exponential map and projection map?

Observe that given a non negative function $\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted $L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions $f: \...
Ritwik's user avatar
  • 3,245
4 votes
1 answer
636 views

Existence of a smooth compactly supported function

Let $U$ be a bounded domain in $\mathbb R^n$. Does there exist a smooth function $f$ with compact support in $U$ such that: $$ \| f\|_{W^{k,\infty}(U)} \leq (k!)^{2-\epsilon},$$ for some $\epsilon>...
Ali's user avatar
  • 4,143
4 votes
2 answers
364 views

Nontrivial invariant transformations for heat equations

It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by $$ v(r,\theta) = u(\frac{1}{r},\theta)$$ is also harmonic for $r>0$. Note that the Kelvin ...
Ali's user avatar
  • 4,143
4 votes
1 answer
128 views

On the domain of functionals in measure with singular kernels

this post is concerned with functionals defined in measures. Consider the following functional $$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$ were we define $-\log\...
Julio Valencia'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
2 answers
3k views

Chain rule for fractional laplacian

Does anyone know a formula of chain rule for fractional laplacian? say we take the fractional laplacian of order a on function $g(U(x))$ $x\in \mathbb{R}^2$, $U \in \mathbb{R}$, $g \colon \mathbb{R} \...
Grant's user avatar
  • 41
4 votes
1 answer
379 views

A constant ratio of integrals? Part I

Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$. For $0<r\leq1$, consider the average of its Dirichlet integral $$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
T. Amdeberhan's user avatar
4 votes
1 answer
377 views

Differential inequalities under which a flat function must be identically zero

Let $f:\mathbb{R}\to \mathbb{R}$ be a smooth function which is flat at $0\in \mathbb{R}$. That is $f^{(k)}(0)=0,\; k=0,1,2,\ldots $. Assume that $|f''(x)|\leq M|f(x)|\quad \forall x\in \mathbb{R}$ ...
Ali Taghavi's user avatar
4 votes
1 answer
221 views

Is a specific product function orthogonal to all harmonic functions

Suppose $\Omega=[-1,1]^3$. Let $f:[-1,1]\to \mathbb R$ and $g:[-1,1]^2\to \mathbb R$ be smooth functions and suppose that given any harmonic function on $\Omega$ (i.e. $\Delta u =0$ on $\Omega$), with ...
Ali's user avatar
  • 4,143
4 votes
1 answer
168 views

Method of characteristics beyond the Lipschitz setting

I have come across the following easy-looking problem that is driving me mad. I have a family of measures (on the real line $\mathbb R$) $\{\mu_t\}_{t>0}$ which is uniformly bounded (the measures ...
user111164's user avatar
4 votes
1 answer
366 views

Dissipative operator on Banach spaces

An operator $A$ is called dissipative if for all $x \in D(A)$ and $\lambda >0$ $$ \left\lVert (A-\lambda)x \right\rVert \ge \lambda \left\lVert x \right\rVert.$$ On a Hilbert space this is ...
Zinkin's user avatar
  • 501
4 votes
1 answer
446 views

Is the uniform limit of "almost eikonal" maps eikonal?

Let $f_n: \mathbb R^d \to \mathbb R$ be continuously differentiable functions with $f_n \to f$ uniformly for some $f$. Suppose that $|\nabla f_n| \to 1$ uniformly. Is it true that $f$ is $C^1$ with $\...
Nate River's user avatar
  • 6,215
4 votes
1 answer
565 views

Decay estimate on wave equation

In this paper here it is claimed in (1.3) that it is classical and immediate from the explicit solution of the wave equation in 3D $$(\partial_t^2 -\Delta )u(t,x)=0$$ with $u(0,x)=0$ and $u_t(0,x)=g(x)...
VegardA's user avatar
  • 41
4 votes
1 answer
279 views

Schroedinger operator in 2 dimensions with singular potential

Consider the Schroedinger operator $$H = -\Delta + \frac{c}{\vert x \vert^2}$$ in two dimensions with $c >0$ This operator has a self-adjoint realization, since it is a positive symmetric operator ...
António Borges Santos's user avatar
4 votes
1 answer
145 views

Power series in functions other than monomials

I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example. Consider the interval $[-\pi,\pi]$ let's say. ...
Sascha's user avatar
  • 536
4 votes
1 answer
700 views

Is $L^1(\Omega)$ continuous embedded in the dual of $H^m(\Omega)$ $(m>\frac{d}{2})$?

Let $\Omega$ be a bounded domain of $R^d$ with Lipschitz boundary. If $m>\frac{d}{2}$, such that $H^m(\Omega)$ is continuously embedded in $L^\infty(\Omega)$. Is $L^1(\Omega)$ continuously embedded ...
Jane's user avatar
  • 43
4 votes
1 answer
269 views

Real analysis on vector-valued spaces, $L^{p}(\mathbb{R}^N,E)$ ,$H^{s}(\mathbb{R}^N,E)$

I am dealing with some vector-valued Sobolev spaces $H^{s}(\mathbb{R}^N,E)$ where $E$ is a Banach space. I am looking for references about results for the scalar case $H^{s}(\mathbb{R}^N,\mathbb{C})$...
Coffee's user avatar
  • 601
4 votes
1 answer
317 views

Taylor coefficients of Hadamard product

I imagine this to be a very classical question in complex analysis: Consider the Hadamard product $$g(\mu) = \prod_{n=1}^{\infty}E_1(\mu z_n),$$ where $E_1(z):=(1-z)e^z$ is the first elementary ...
Guido Li's user avatar
4 votes
1 answer
201 views

Spectrum Cauchy-Euler operator

A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations We consider the operator $$(Lf)(x) = \...
Sascha's user avatar
  • 536
4 votes
1 answer
267 views

Scaled Harnack inequality $\sup_{B_r} v \le c\,(1-r)^{-p}\, \inf_{B_r} v$

Where can I find a proof of the following scaled version of Harnack inequality? Let $v$ be a non-negative solution of ${L}u = 0$ in $B_1$, with $L$ a uniformly elliptic operator. Then, for $r<1$,...
Riku's user avatar
  • 839
4 votes
1 answer
166 views

Compute $ \partial_t\int_{\{u(t,\cdot) >0\} } 1\, dx$ in the sense of distributions where $u$ solves a PDE

Let $u:\Omega\subset \mathbb R^N \to \mathbb R$ be bounded function that solves an evolution PDE $\partial_t u(t,x)= L(u(t,\cdot))(x)$, where $L$ is some elliptic operator. How can I compute the ...
Jay's user avatar
  • 109
4 votes
1 answer
202 views

Removable set for Sobolev space

It is well known that if $\Omega\subset\mathbb{R}^{N}$ open, $F\subset\Omega$ closed, such that $\mathcal{H}^{N−1}(F)=0$,where $\mathcal{H}^{N−1}$ denotes (N-1) dimensional Hausdorff measure, then $W^{...
Math777's user avatar
  • 43
4 votes
1 answer
1k views

Density argument with Schwartz functions?

I was wondering whether the Schwartz functions are also dense in $$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$ ...
Leroy's user avatar
  • 129
4 votes
1 answer
172 views

Existence of a domain with simple Dirichlet eigenvalues

Let $g$ be a smooth Riemannian metric on $\mathbb R^3$ that coincides with the Euclidean metric outside a compact set $K$. Does there exist some domain $\Omega$ with smooth boundary such that $K \...
Ali's user avatar
  • 4,143
4 votes
1 answer
346 views

Energy estimates for nonlinear wave type equation

Consider the following wave-type equation, $$u_{tt}-\frac{2}{t}u_t-\Delta u=g(t,x)$$ where $(t,x)\in [\epsilon, 1]\times \mathbb{R}^3$ for some $\epsilon>0.$ Furthermore assume that $(u,u_{t})=(0,0)...
Student's user avatar
  • 537
4 votes
1 answer
213 views

Mapping properties of backward and forward heat equation

In a previous question on mathoverflow, I asked about the following: Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. The ...
Sascha's user avatar
  • 536
4 votes
1 answer
216 views

Finding super(sub)-harmonic functions for an elliptic operator

I am looking for a super(sub) harmonic function for an elliptic operator. Let $n$ be a positive integer. We denote by $(\cdot,\cdot)$ and $|\cdot|$ the standard inner product and norm on $\mathbb{R}^n$...
sharpe's user avatar
  • 721
4 votes
1 answer
1k views

Convergence of semi convex functions

Definition. Let $u:\Omega \rightarrow \mathbb{R} $. A function $u$ is called semiconvex if $u=v+w$ for some $v\in C^{1,1}(\Omega)$ and a convex function $w$. Note. Saying that $u$ is semiconvex is ...
Giovanni Febbraro's user avatar
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
4 votes
1 answer
597 views

Meaning of Alberti rank-one theorem

Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$? Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
user avatar
4 votes
1 answer
2k views

A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument: Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...
Gawin's user avatar
  • 175
4 votes
1 answer
241 views

Is a function $u\in \mathrm{SBV}(\Omega)$ with these additional properties essentially bounded?

Some related earlier discussion can be found here. Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary, $\mathcal H^{N-1}(\partial\Omega)<\infty$ and $u\in SBV(\Omega)$. Then $$ ...
JumpJump's user avatar
  • 679
4 votes
2 answers
206 views

How to find an ODE with prescribed terminal values?

Let us consider an ODE $$\frac{dx_t^y}{dt}=g(x_t^y),$$ where y is the initial condition i.e. $x_0^y=y$. Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...
Liviana Palmisano's user avatar
4 votes
1 answer
261 views

Minimizing action squared versus action

I have a very basic question in the calculus of variations: Suppose I want to minimize the functional $$A[r, r'] = \int_\Omega L(r, r') dx $$ When is it possible to say that extremals of $A$ agree ...
user avatar
4 votes
1 answer
755 views

Bounds for associated Legendre polynomials

I am trying to analyze the behaviour of the Associated Legendre polynomials $P_{n}^{m}$ on $[0,1]$. More specifically, I am trying to get upper bounds for $P_{n}^{m}$ on $[0,1]$. Bernstein's ...
April's user avatar
  • 399
4 votes
2 answers
220 views

existence of a special conformal mapping

Sorry I don't know how to give an appropriate title. In the complex plane, suppose there is a graph $x+if(x)$ separating the plane into two unbounded components, where $f(x)$ is smooth and bounded, ...
qingtang's user avatar
4 votes
1 answer
185 views

Reference: Hardy space regularity of the Jacobian determinant

I'm looking for a reference, expository in nature, for the proof of the following theorem of Coifman, Lions, Meyer and Semmes. Theorem: For all $u\in W^{1,n}(\mathbb{R}^n;\mathbb{R}^n)$, $\...
user53221's user avatar
4 votes
0 answers
180 views

Approximation by gaussian mollification in Sobolev spaces

I have been trying to find a good estimate on the constant in the inequality (in dimension $d=3$ to simplify) $$\label{0}\tag{0} \|(1-e^{t\Delta})f\|_{L^{5/3}(\Bbb R^3)} \leq C_0\,t^{2/5}\, \|\nabla \...
LL 3.14's user avatar
  • 230
4 votes
0 answers
318 views

Integral representation of solution of an elliptic PDE in divergence form

Suppose we have a second order elliptic differential operator $$ L(v) = -\text{div}(A(x) \nabla v) $$ $A(x)$ is a bounded and strictly positive definite matrix with Hölder continuous entries. And ...
Harish's user avatar
  • 261
4 votes
0 answers
135 views

Zygmund class, Schwartz class and Littlewood-Paley projection operators

I'm studying Littlewood-Paley theory in harmonic analysis, where I encountered the following problem related to the Zygmund class of functions: Consider the Zygmund class of functions defined as ...
pureorapplied's user avatar
4 votes
0 answers
151 views

Estimating the size of $\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}$

Let $\Omega$ be a bounded domain in $\Bbb R^n$. Define $$ \Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}, $$ i.e. it the ring of thickness $r$ at the boundary of $\Omega$. Intuitively, ...
BigbearZzz's user avatar
  • 1,245
4 votes
0 answers
220 views

A metric $w$ on a Kahler manifold is extremal if and only if the gradient vector field of the scalar curvature is holomorphic

I am trying to understand the calculation in An introduction to Extremal kahler metrics. On the fourth line of page 55 the author calculated that $\int_{M} - 2 S R^{\bar k j} \partial_{j} \partial_{\...
qwe's user avatar
  • 91
4 votes
0 answers
747 views

Maximum Principles in Parabolic PDE with Neumann Condition

I am looking for some maximum principles and comparison results for parabolic equations. The most complete book I've found on this subject is: Murray Protter, Hans Weinberger - Maximum Principles in ...
Bogdan's user avatar
  • 1,759
4 votes
0 answers
127 views

Anderson Localization and Homogenization theory

I originally asked this on Mathematics Stack Exchange but realized it might be better to ask it here. The question is mostly related to homogenization theory in mathematical physics. $\textbf{...
Sanchit's user avatar
  • 81
4 votes
0 answers
159 views

inverse of sobolev riemannian metric still sobolev?

Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
X-Naut PhD's user avatar
4 votes
0 answers
174 views

Constant in trace theorem for balls

Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$ The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
user avatar
4 votes
0 answers
144 views

Asymptotic expansion of a Gaussian integral and heat kernel

When considering the heat kernel of a Schr\"odinger operator $$- \Delta + V(x) $$ where $\Delta$ is the standard Laplacian on ${\mathbb R}^n$ and $V$ is a nonnegative potential function that has ...
Guangbo Xu's user avatar
  • 1,207
4 votes
0 answers
131 views

Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$

Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
Timothy's user avatar
  • 355
4 votes
0 answers
500 views

Properties of the solution of the heat equation

Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention. Note 2: This is my research problem, but the original problem ...
JumpJump's user avatar
  • 679

1 2
3
4 5
12