All Questions
173 questions
2
votes
0
answers
139
views
Existence of solution of a variational inequality
Let $K\subseteq \mathbb{R} ^n$ be closed and convex, and let $F:K \to \mathbb R^n $ be a continuous function. If for every $x,y \in K$ we have $$(x-y)^T(F(x)-F(y))\ge \alpha ||x-y||^2 \, ;\quad \...
2
votes
0
answers
185
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
1
vote
3
answers
207
views
Existence of solution to linear fractional equation
We consider the equation
$$ \sum_{j=1}^n \frac{\lambda_j}{x-x_j} =i$$
where $\lambda_j>0$ and $x_j$ are real distinct numbers.
I want to show that if $\lambda_k$ is small compared to the ...
1
vote
2
answers
213
views
How much "room" in inequality $\displaystyle \int_a^b \varphi' ov ~\mathrm{d}x \leq 0$
Let $[a, b]$ be a nonempty interval, $o \in C^1([a, b])$ be such that $o>0$ and $o'<0$ and assume we found some $v \in L^\infty(\mathbb{R})$ such that
\begin{equation}\tag{1}\label{1}
\int_a^b \...
1
vote
1
answer
134
views
If $f \circ u \in BV$ and $f$ is strictly monotone, then is $u \in BV$?
Let $f: \mathbb R \to \mathbb R$ be a Lipschitz strictly monotone (so, in particular, invertible) function. Let $u: \mathbb R \to \mathbb R$. If $f \circ u \in BV$ can we conclude that $u \in BV$?
1
vote
1
answer
319
views
Is $(f \ast K)'' \in L^1(\mathbb R)$ for $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$?
Is it possible to deduce that $$(f \ast K)'' \in L^1(\mathbb R)$$ if $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$? What I can prove is that $(f \ast K)' \in L^1 \cap L^\infty$. Is ...
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
1
vote
2
answers
923
views
Spectrum of Mathieu equation
I have the differential equation $-f''(x)-q \cos(x) f(x) = \lambda f(x)$ and I want to find all the eigenvalues of this equation analytically on $[0,2\pi]$ that satisfy the boundary condition $f(0) = ...
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
1
vote
1
answer
259
views
Are separable, continuous, monotonic and scale invariant real-valued functions everywhere differentiable?
Consider a function $f:\mathbb{R}_+^2\rightarrow\mathbb{R}$ of two non-negative real variables (or more generally of several real variables) that is increasing in each argument, continuous, additively ...
1
vote
1
answer
185
views
Interpolation of $L^p$ spaces
Let $\Omega_x$ and $\Omega_y$ be sets of finite Lebesgue measure.
We can then look at the space $X_1:=L^2(\Omega_x \times \Omega_y).$
This space is contained in the larger space
$$X_0:=L^2(\...
1
vote
2
answers
292
views
specific improper integral involving erf
I have encountered an integral, and kindly ask for help with a solution. It is beyond my own capabilities, and neither Maple nor Mathematica were of any help:
$$
\int_{1}^{\infty} \left[\mathrm{erf}\...
1
vote
1
answer
136
views
Construction of the Lipschitz function with a given Lipschitz constant and given two values
Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c$ and $|f(b)| = c$. Is there a Lipschitz function $g$ such that $|g| \geq c,$ $g(a)=f(a),$ $ g(b)=f(b)$ and Lipschitz ...
1
vote
1
answer
125
views
Functions such that $ \Vert\tfrac{d^4}{dx^4}f\Vert_{L^2(0,1)} < \sqrt{2} \Vert f \Vert_{L^1(0,1)}$
Is there a (non-constant) function $f \in C^4((0,1))$ that is zero in an interval $(a,b) \subset (0,1)$ and such that the inequality
$$\Vert\tfrac{d^4}{dx^4}f\Vert_{L^2(0,1)} < \sqrt{2}\Vert f \...
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
1
vote
1
answer
111
views
How to show such result for generalized $ O(|x|^{-1/2}) $ function?
Assuming that $ \chi\in C_c^{\infty}([-2,2]) $ is a cutoff function such that $\text{supp }\chi\subset[-2,2]$, $\chi\equiv 1 $ in $ [-1,1] $, and $ 0\leq\chi\leq 1 $, suppose that $ f\in C^{\infty}(\...
1
vote
2
answers
155
views
Construct suitable cutoff function
Let $\bar x \in \mathbb R$. Is there a cut-off function such that $\phi_\epsilon \in C^\infty(\mathbb R)$, $0 \le \phi \le 1$, and
$$\phi_\epsilon(x) = \begin{cases}
1 &\text{ if } |x - \bar x| \...
1
vote
1
answer
131
views
Fractional Laplacian problem on half-line
Is it possible to obtain an explicit solution for the following fractional problem on the half-line?
$$(-\Delta)^\alpha u(x) + M u'(x) + K u(x) + C = 0 \quad \text{ in } (0,\infty)$$
$$u(x) = a, \quad ...
1
vote
1
answer
385
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
1
vote
1
answer
210
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
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}) \\
&...
1
vote
0
answers
99
views
Estimate on integral with logarithmic weight
Let $f:\mathbb R^n \to \mathbb R$. What (minimal) assumptions are needed, in addition to $f \in L^1 \cap L^\infty$, to have
$$
\int_{\mathbb R^{2n}} \frac{|f(x)-f(y)|}{(|x-y|+\epsilon)^{n+1}} \, dx \, ...
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}...
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 |\...
1
vote
0
answers
76
views
Existence of a `right' sequence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a sequence of bounded variation functions such that there exists $C>0$: $|f_n| < C$ for every $n$ and, as $n \to \infty$, for $...
1
vote
0
answers
237
views
On the bound of the Stein-Wainger oscillatory integral
Let $\lambda\in \mathbb{R}$, $\phi\in C^\infty(\mathbb{R})$. We define the Stein-Wainger oscillatory integral by
$$I=p.v.\int_\mathbb{R} e^{i\lambda\phi(t)}\frac{dt}{t}.$$
Stein-Wainger [1] showed ...
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$).
...
1
vote
0
answers
86
views
Least restrictive condition such that $-y''(x)+q(x)y(x)=\lambda y(x)$ has two solutions
Let $\lambda \in \mathbb{R}$ and consider some function $q$ on the interval $[0,1].$
What is known to be the least restrictive condition on $q$ such that there are two linearly independent $H^2$ ...
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))?$$
0
votes
1
answer
148
views
Total variation of composition of BV function and diffeomorphism [closed]
Let $f:\mathbb R \to \mathbb R$ be a $BV$ function and $g:\mathbb R \to \mathbb R$ be a diffeomorphism. What is the total variation of $f \circ g$?
My guess is
$$
TV(f\circ g) \le TV(f) \Vert (g^{-1})'...
0
votes
4
answers
1k
views
Does the Leibniz (product) rule hold for the spectral fractional Laplacian?
Does the Leibniz (product) rule hold in some sense for the spectral fractional Laplacian (at least in 1 dimension)?
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
0
votes
1
answer
139
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 ...
0
votes
1
answer
325
views
Domain of the fractional Laplacian operator
If $u:\mathbb R^n \to \mathbb R$ satisfies $$\int_{\mathbb R^n}\int_{\mathbb R^n}\frac{|u(x)-u(y)|^2}{|x-y|^{n+2s}} dxdy < \infty,$$
but $u$ is not in $L^2(\mathbb R^n)$, is $(-\Delta)^su$ well-...
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
0
votes
1
answer
185
views
Meromorphic solutions to Legendre's equation
I just saw the following question that was asked yesterday on math overflow on meromorphic solutions to ODEs
Although, I understand the answers and comments to the questions, I did not understand how ...
0
votes
1
answer
905
views
Hölder continuity of uniform limit of piecewise constant functions
Consider a piecewise constant function $v: [a,b] \rightarrow \mathbb{R}$ defined by a finite partition $a=t_0 < t_1 < t_2 < ... < t_s=b$ of the interval $[a,b]$, and constants $m_1,m_2,...,...
0
votes
1
answer
245
views
Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e
The Riemann-Liouville integral is defined by
$$
I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t
$$
where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
0
votes
1
answer
124
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^\...
0
votes
1
answer
417
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
0
votes
1
answer
116
views
Fractional Laplacian and support
Let $u:\mathbb [-1,1] \to \mathbb R$ such that $\mathrm{supp}(u) \subset B_{1/2}(0)$. Under what assumptions on $u$ does it hold $$\mathrm{supp}\Big((-\Delta)^s u\Big) \subset B_{1/2}(0),$$
where $(-\...
0
votes
2
answers
238
views
Fractional Laplacian of $(a-x)_+^\alpha$ in $(0,1)$
How can I compute the spectral fractional Laplacian of $(a-x)_+^\alpha$ on $\Omega = (0,1)$?
Here the operator is defined as $$(-\Delta)^s u = c_{N,s} \int_0^\infty (e^{t\Delta_N}u(x) - u(x)) t^{-1 - ...
0
votes
1
answer
120
views
Density property fractional heat kernel
Let us consider $$p_t^{(n+2)}(\tilde x) , $$
where $x = (x_1, \ldots, x_n) \in \mathbb R^n$, $\tilde x = (x_1, \ldots, x_n, 0, 0) \in \mathbb R^{n+2}$, and $p_t^{(n)}(x)$ is the heat kernel for $(-\...
0
votes
1
answer
236
views
Estimate on total variation of composition of functions
Let $f \in BV(\mathbb R)$ and $g: \mathbb R \to \mathbb R$ be Lipschitz. How can I estimate the total variation of $f\circ g$, that is
$$
\int_{\mathbb R} \left|\frac{d}{dx}f(g(x))\right| dx \ ?
$$
...
0
votes
1
answer
86
views
Kolmogorov entropy of a subset of $L^1$
How can we estimate the Kolmogorov $\epsilon$-entropy
$$H_\epsilon (A,L^1(\mathbb R))$$
where
$
A = \{f:\mathbb R \to [0,K] \text{ s.t. $f \in L^1$ and has total variation $TV(f) \le M$}\}
$?
0
votes
1
answer
218
views
Heat semigroup dissipative
Consider the heat semigroup on $L^1(\mathbb{R}).$ I would like to know if the generator of this semigroup is dissipative in the sense of this definition.
On $L^2$ it would be completely trivial, but ...
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...