All Questions
12,823 questions
0
votes
0
answers
29
views
Linear and non-linear intersection to solve ODE
Consider a linear operator $$L(u(t)) = \dfrac{d}{dt}u(t)+p(t)u(t)$$ for known function $p(t)$. It is well known the homogeneous equation $$L(u) = 0 ~~\text{or}~~\dfrac{d}{dt}u(t)+p(t)u(t)= 0$$ has ...
1
vote
0
answers
31
views
Explicit rate of decay of the positive standing wave of the subcritical nonlinear Schrödinger equation
Consider the following semilinear problem:
$$
\begin{cases}
- \Delta u + u = u |u|^{p - 2}
&\text{in} ~ \mathbb{R}^N;
\\
u (x) \to 0 &\text{as} ~ |x| \to \infty,
\end{cases}
$$
where $N \geq 2$...
-3
votes
0
answers
68
views
Exercise generalizing (related to) Hölder's inequality
I came across this exercise and feel absolutely stuck:
Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
2
votes
0
answers
104
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
0
votes
0
answers
65
views
$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable
Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported.
I am wondering if we can ...
4
votes
1
answer
274
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
-1
votes
0
answers
115
views
Stability of flow map
$\DeclareMathOperator\Diff{Diff}$Setting:
Let $(M,g)$ be a compact and connected $C^{\infty}$-Riemannian manifold. Let $d_g$ denote the induced shorted path metric and equip $C^{\infty}(M)$ with the ...
0
votes
1
answer
104
views
If $u \in H^2(\mathbb{R}^3)$, does $r^{-1} u \in H^{\alpha}(\mathbb{R}^3)$ for some $\alpha > 0$?
Let $u$ belong to the Sobolev space $H^1(\mathbb{R}^3)$. We have the classical Hardy inequality
\begin{equation*}
\int_{\mathbb{R}^3} \frac{|u|^2}{|x|^2} dx \le 4\int_{\mathbb{R}^3} |\nabla u(x)|^2 dx,...
3
votes
0
answers
91
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
3
votes
0
answers
82
views
+50
Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps
Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function
$$
m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)},
$$
where $\lambda_{\max}$ denotes the largest eigenvalue....
2
votes
0
answers
77
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
2
votes
0
answers
225
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
12
votes
1
answer
394
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
3
votes
0
answers
67
views
Effective action of unbounded operators on subspaces outside their domains of definition
Consider a densely defined, self-adjoint operator
$$
H: \mathcal{D} \rightarrow \mathscr{H}.
$$
Assume for simplicity that $H$ is nonnegative.
We want to effectively restrict this operator $H$ to a ...
0
votes
1
answer
157
views
Weak convergence of $f(x,e^{itx})$
This is the desired result (what I want to prove):
$$f(x,e^{itx})\overset{t\to\infty}{\rightharpoonup}\frac{1}{2\pi i}\oint_{|z|=1}\frac{1}{z}f(x,z)dz \tag{1}$$
Given that $f\in C([a,b]\times\{e^{i\...
9
votes
1
answer
292
views
What are the points of the algebra of polynomial functions on an arbitrary vector space?
Let $V$ be an arbitrary vector space over some field $\mathbb{K}$ (UPD: of characteristic 0), $V^*=\mathrm{Hom}(V,\mathbb{K})$ its linear dual. Let $\mathrm{Sym}_\mathbb{K}(V^*)$ be the free ...
0
votes
0
answers
46
views
Amenability of locally convex algebras
Let $A$ be an amenable Banach algebra, and let $A_w$ denote $A$ with the weak topology. Clearly, $A_w$ is a Hausdorff locally convex algebra (l.c.a.).
Q0: Is $A_w$ amenable as a l.c.a. in the sense ...
1
vote
0
answers
85
views
Density of a subset of Schwartz space in the fractional Sobolev space
It is known that the Schwartz space $\mathcal{S}(\mathbb{R}^N)$ is dense in the fractional Sobolev space $H^s(\mathbb{R}^N)$, (where $0<s<1$), as $C_{c}^{\infty}(\mathbb{R}^N) \subset \mathcal{S}...
0
votes
0
answers
34
views
Existence and uniqueness of heteroclinic solution of Allen–Cahn on $\mathbb R$ with driving-damping term
The Allen–Cahn equations on $\mathbb R$ are $u'' = u^3 - u$. It is well-known that all the solutions of this equation which satisfy the asymptotic boundary conditions $\lim_{x \to \pm \infty} u\left(x\...
1
vote
1
answer
151
views
Is smoothness preserved under an isometric isomorphism?
Let $(X, \|.\|_1)$ is isometrically isomorphic to $(X, \|.\|_2)$ and $\|.\|_2\leq \|.\|_1$. Assume that $x_0$ is a smooth point of $(X, \|.\|_1)$ and $\|x_0\|_2=1$. According to the definition of a ...
2
votes
0
answers
62
views
Bessel spaces and Triebel Lizorkin
It is known that bessel potential spaces $H^{s,p}$ coincide with Triebel-Lizorkin spaces $F^{s}_{p,2}$ for $s\in \mathbb{R}$ and $1<p<\infty$. Im wondering what can be said por $p=1$ and $p=\...
1
vote
0
answers
58
views
duality of sobolev spaces. Representation of elements in the dual
I'm trying to understand $(W_0^{1,p} (Ω))^*=W_0^{-1,p^*} (Ω)$, and what a proper representation of its elements is. I understand the basics such as: if $f∈L^{p^*} (Ω)⇒f∈W_0^{-1,p^*}(Ω)$ and the ...
0
votes
0
answers
42
views
questions on stochastic kernels and pushforward operator
Let $f:X \rightarrow \Delta (Y)$ and $g:X \rightarrow \Delta (X)$ be two kernels. For any bounded measurable function $h_Y:Y \rightarrow \mathbb{R},$ define $F(h_Y):X \rightarrow \mathbb{R}$ such that ...
2
votes
0
answers
70
views
+50
When is a first-order delay differential equation equivalent to a higher-order ordinary differential equation?
The proportional delay differential equation
$$
xf'(x)+2xf'(x/2)+C+4f(x/2)-5f(x)=0
$$
with initial condition $f(0)=C$ expresses that Simpson's rule exactly integrates $f$ over any interval $[0,x]$ and ...
4
votes
0
answers
90
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
0
votes
0
answers
90
views
How to show a point is a weak* -weak continuous for the identity map on $X_1^*$ or on $X_1^{**}$?
I am trying to understand the Remark 3.2 mentioned in the paper titled as "On Weak*
-Extreme Points in Banach Spaces" written by S. Dutta and T. S. S. R. K. Rao (http://library.isical.ac.in:...
0
votes
1
answer
124
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
0
votes
0
answers
71
views
Fourier decay implies what kind of regularity
We consider a function $f:\mathbb R^2 \to \mathbb C$ that is compactly supported and bounded. In addition, we know that
$$\lim_{\vert x\vert \to \infty} \vert x \vert^2 \vert \hat{f}(x)\vert =0,$$
...
1
vote
0
answers
146
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
2
votes
0
answers
63
views
Lipschitz retraction constant of $B^+$ into $S^+$ in $L^2([0,1])$
In Hilbert space modeled by $L^2([0,1])$ we can define a set $B^+=\{x\in B(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ and $S^+=\{x\in S(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ where where $B(...
0
votes
1
answer
239
views
Are ALL linear functionals on $C[0,1]$ generated by measures? [closed]
Consider derivative of the convolution of a given function $f(\cdot)$ with a fixed $C^\infty$ function $s(\cdot)$, evaluated say at $1/2$. Is there a measure which generates the functional so defined?
4
votes
0
answers
101
views
There is only one reasonable $\sigma$-algebra on the space $\mathcal D'$ of distributions
Consider the space $\mathcal D'(M)$ of distributions on a manifold $M$.
Is there a ready reference for the fact that the Borel $\sigma$-algebra (for the strong dual topology) coincides with the weak ...
0
votes
1
answer
74
views
Singularities at the circle of convergence: generalization of Cauchy-Hadamard theorem
Consider a series $\sum a_n z^n$ with finite radius of convergence $R$. Cauchy-Hadamard theorem gives $1/R = lim\ sup |a_n|^{1/n}$.
Q: Suppose for some reason (e.g. numerical) we know that there is ...
0
votes
1
answer
115
views
Fourier transform of exponential over torus
I found the following formula for the Fourier transform on a flat 2-torus, but I don't quite know how to derive it. We have a variable $q=(q_x,q_y) \in [0,2\pi)^2$ and by considering it in polar ...
1
vote
0
answers
48
views
What makes the generalized projection different than metric on a Banach space?
I have came across the notion of generalized projection in Banach spaces, introduced by Ya. Alber and has seen many iterative algorithms being solved by using this projection. It helps in finding the ...
0
votes
0
answers
53
views
Spectral theory of compact operator for quasi-Banach spaces
Let $X$ be a Banach space and let $Y\subset X$ be a quasi-Banach space (with compact inclusion). Suppose $T:X\to X$ is a compact operator such that $1$ is not its eigenvalue and $T|_{Y}:Y\to Y$ is ...
7
votes
1
answer
160
views
When is a non-linear first-order ODE equivalent to a linear second-order ODE?
The Riccati equation $y'(x)+y(x)^2=f(x)$ is non-linear, but can be transformed into the linear equation $-u''(x)+f(x)u(x)=0$ via $y(x)=\frac{u'(x)}{u(x)}$.
Is there a general statement known about ...
0
votes
1
answer
77
views
When is Laplace transform of a function power-law and relation to the behavior of the function near zero?
I want to see when the Laplace transform of a non-negative function $f$ defined on $[0, +\infty)$ is a power function in the loose sense, i.e.,
$$g(s) = \mathcal L\{f\}(x) = \int_0^\infty f(x) e^{-sx} ...
0
votes
0
answers
77
views
Nice formula for powers of modified Bessel function
Let $K_\nu(z)$ be the modified Bessel function of second kind. I am looking the geometric series
$$1+aK_v+(aK_v)^2+(aK_v)^3...$$
I know there are formula for product of two such functions. I would ...
8
votes
1
answer
437
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
3
votes
0
answers
158
views
Gowers' dichotomy for quotients
Gowers' dichotomy establishes that every infinite dimensional Banach space contains a closed infinite dimensional subspace that has an unconditional basis or it is hereditarily indecomposable.
A ...
2
votes
0
answers
194
views
Functions such that the *integral* of the Fourier transform is non-negative?
Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that
$$\int_{-\infty}^x \widehat{f}(t) dt \...
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
0
votes
1
answer
169
views
Is the evolution family self-adjoint?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
\newcommand{\qtext}[1]{\quad\text{#1}}
\newcommand{\qtextq}[1]{\quad\text{#1}\quad}
$
I am reading Roland Schnaubelt's survey ...
1
vote
1
answer
59
views
Embedding of domain of fractional power of Laplacian into Sobolev space for cylindrical domains
On a bounded domain $\Omega \subset \mathbb R^d, d\geq 2$ with smooth boundary, it is well known that for the Dirichlet Laplacian $\Delta_D$, $D((-\Delta_D)^\frac12) = H^1_0(\Omega)$.
I'm interested ...
1
vote
0
answers
84
views
Does sets of positive capacity rule out constant functions?
Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by
\begin{align*}
\text{Cap}_{p}(K, U) :=
\inf \left\{
\int_U |\...
3
votes
1
answer
128
views
Comparing two different principles of premeasure-to-measure extension
It is well-known that a premeasure $\mu_0$ (possibly taking infinite values) on a ring of subsets $\Omega_0$ of a set $X$ can be extended to a complete measure space $(X, \Omega_C, \mu_C)$ ($C$ for ...
2
votes
1
answer
236
views
Self-adjointness of generator and semigroup of an SDE
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
0
votes
0
answers
55
views
Compactness and Leray-Schauder degree
What's the relationship between compactness of solutions in partial differential equations (PDEs) and the Leray-Schauder degree?
1
vote
0
answers
100
views
Prove or disprove that $|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$
$|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$.
I had this conjecture for a long time. I tried various methods and techniques but they all failed. It might also be wrong ...