All Questions
4,446 questions with no upvoted or accepted answers
2
votes
0
answers
115
views
Application of Bishop-Phelps Theorem
Consider a real Banach space $X$ and its continuous dual $X^*$. The Bishop-Phelps Theorem states that the set
$$A^*=\{x^*\in X^* \mid x^* \text{ attains its supremum on } \text{ the unit ball } \...
- 193
2
votes
0
answers
40
views
Properties of infinite matrices of the form $A= \left ( \int_0^1 f(x)(x+k)^n \, dt \right )_{k,n \in \mathbb N_0}$
Let $f \in L^1(\mathbb{R})$ be an integrable function which does not vanish identically and let $n,k \in \mathbb N_0$. I'm working on a problem where an infinite matrix of the following form appears:
$...
- 173
2
votes
0
answers
73
views
Why does normality imply that a countable base $B$ contains at least one set $U$ whose closure is a subset of another set $V \in B$?
I'm reading Aliprantis and Border's excellent text, Infinite Dimensional Analysis: A Hitchhiker's Guide (PDF available at link, assuming I've done this properly), and I've reached an impasse in the ...
- 21
2
votes
0
answers
170
views
Equivalence of implicit function theorem and Peano existence theorem in ODEs?
I was recently reading a book about the implicit function theorem (IFT): The implicit function theorem: history, theory, and applications, and before that I learned that Peano's existence theorem can ...
- 181
2
votes
0
answers
122
views
Comparing the truncated $\ell^{1}$-norm of polynomial coefficients with the supremum norm on the unit disc
Let $p=a_{0}+a_{1}z+\ldots+a_{n}z^{n}$ be a polynomial. Consider the following truncated $\ell^{1}$-seminorm of the coefficients of $p$:
$$\|p\|_{\ell^{1},\text{trun.}}:=\sum_{k=1}^{n}|a_{k}|=\|p-a_{0}...
- 321
2
votes
0
answers
76
views
Fractional integration in Orlicz spaces
I am reading the paper "Fractional integration in Orlicz spaces" by R. Sharpley.
And I would like to understand one question:
Let $A,B, C$ are Young's functions. The spaces $L_A, L_B$ are ...
- 343
2
votes
0
answers
112
views
Is there a way to detect instantaneous states of a Feller Process from its infinitesimal generator?
I’m working with generators of Feller processes. If $C(E)$ is the space of continuous functions over $E$; with $E$ a compact metric space, I proved that an operator $G$ over $C(E)$ is the ...
2
votes
0
answers
216
views
Fourier transform of Dirac delta distribution
Let $f,g$ be Schwartz functions on $\mathbb R^4$, we denote them as $\mathcal S(\mathbb R^4)$, one can then define the transform $V$ mapping $f,g$ to a Schwartz function $\mathcal S(\mathbb R^8)$
$$ V(...
- 73
2
votes
0
answers
74
views
Distributions taking values in a TVS which is not locally convex
It seems to me that Schwartz's two seminal papers on vector-valued distributions only deals with distributions taking values in a locally convex Hausdorff topological vector space (LCS). Most other ...
- 21
2
votes
0
answers
85
views
Pullbacks of LCS-valued distributions
Suppose $X$ is a locally convex space. Since the distributions $\mathcal{D}'\!(M)$ ($M$ a manifold) are a nuclear space, there is a canonical meaning to the topological tensor product $X\,\widehat{\...
- 439
2
votes
0
answers
53
views
Orthonormal eigenspinors of the gauge-covariant dirac operator on $\mathbb{R}^4$, with extra conditions are possible?
Let $G$ be a simple Lie group, and $V$ a representation.
Consider $\mathbb{R}^4$ with its flat Euclidean metric. Let $P$ be the trivial $G$-bundle on $\mathbb R^4$ equipped with some (non-trivial) ...
- 3,477
2
votes
0
answers
268
views
Compactness of a nonlinear operator
Let $H^{1}_{0}(0;\pi)=\{f\in L^{2}(0; \pi): f^{\prime}\in L^{2}(0; \pi)\ \text{and}\ f(0)=f(\pi)=0 \} .$ equipped with the following norm $$\|f\|=\Big(\int_{0}^{\pi}|f'(x)|^2dx \Big)^{\frac{1}{2}}$$
...
- 39
2
votes
0
answers
140
views
Extracting block sequences from $\ell_p^n$-like sequences in isomorphic copies of $\ell_p$
One of the characterizing properties of the canonical bases of the $\ell_p/c_0$ spaces is their perfect homogeneity (Zippin), so that every normalized block sequence in these spaces behaves like the ...
- 81
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^\...
user139844
2
votes
0
answers
292
views
Covering/Bracketing number of monotone functions on $\mathbb{R}$ with uniformly bounded derivatives
I am interested in the $\| \cdot \|_{\infty}$-norm bracketing number or covering number of some collection of distribution functions on $\mathbb{R}$.
Let $\mathcal{F}$ consist of all distribution ...
- 93
2
votes
0
answers
81
views
An square root of the multiplicative operator on $\ell^1(\mathbb{Z}_n)$
Let us consider the finite group algebra $\ell^1(\mathbb{Z}_n)$. Let $x=(x_0,\cdots,x_{n-1})$ in $\ell^1(\mathbb{Z}_n)$ and define
$$M_x: \ell^1(\mathbb{Z}_n)\to \ell^1(\mathbb{Z}_n) : M_x(a)=a*x$$
...
- 4,058
2
votes
0
answers
39
views
Example when Lorentz-Shimogaki condition satisfied with a specific Young's function
Let $\Psi(t)=\int_0^t\psi(s)$ be a Young's function. Then, $\Psi$ satisfies the Lorentz-Shimogaki condition if
$$
\int_0^{\infty}\frac{\Psi(st)}{v(t)^2}\psi(t)dt< \infty.
$$
Denote $\rho_{\Psi}=\...
- 343
2
votes
0
answers
75
views
Dual space induced by a finer topology
Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two seminorms on a space $E$ such that $\|\cdot\|_2\geq\|\cdot\|_1$. Let further $E_i:=(E,\|\cdot\|_i)$ and
$$C_b(E_i):=\{f : E\rightarrow\mathbb{R}\mid f \ \...
- 463
2
votes
0
answers
61
views
Space of continuous paths up to strict reparametrization
Take a Hausdorff topological space $X$. Take two distinct points $x$ and $y$ of $X$. Consider a set $U$ of continuous paths $p$ from $[0,1]$ to $X$ equipped with the compact-open topology such that: $...
- 3,901
2
votes
0
answers
101
views
Concrete topological objects and notions in the category of locales
I have read Peter Johnstone's “The Point of Pointless Topology” and the idea that topological spaces are not quite the right abstraction for topology seems, at least philosophically, rather appealing. ...
- 121
2
votes
0
answers
155
views
Second differential of total variation
I am trying to give meaning to the notion of second differential of total variation.
For sufficiently regular $u:\Omega \subset \mathbb{R}^2 \to \mathbb{R}$ let the total variation be given by
$$TV(u)=...
- 319
2
votes
0
answers
94
views
Existing work on $\Delta u=c-h e^{u}$ on compact manifold with dimension n, I have read J.Kazdan's work, the condition $c > 0, n \ge 3$ is not solved
I'm reading Prof. Kazdan's lectures
At page 69, Prof. Kazdan describes the research on the $\Delta u=c-h e^{u}$ PDE on a compact $n$-dimensional manifold before 1983. (Here $c$ is a constant while $h$ ...
- 809
2
votes
0
answers
130
views
Attaching a 2-handle to a once-twisted unlink in the boundary of the 4-ball
Consider the 3-sphere $S_3$ with an unlink loop $L$ whose tubular neighborhood is identified with the solid torus $B_2\times S_1$ with one twist, i.e., such that the image of $x\times S_1$ (where $x$ ...
- 3,001
2
votes
0
answers
104
views
Relations between different "propagation of chaos" type results?
My questions come from the paper Logarithmic Sobolev inequalities for some
nonlinear PDE’s written by F. Malrieu (May 2001). The basic set-up is that we have a $N$-particle system $(X^{i,N}_t)_{1\leq ...
- 730
2
votes
0
answers
82
views
Is every first-countable symmetrizable space perfect?
Let us recall that a symmetric on a set $X$ is any function $d:X\times X\to[0,\infty)$ such that
for every $x,y\in X$ the following two conditions are satisfied:
$d(x,y)=0$ if and only if $x=y$;
$d(...
- 42k
2
votes
0
answers
206
views
Fourier transform of unbounded linear operator
I am trying to construct Fourier transform of a family of unbounded linear operators.
Here is the construction.
Fix $H$ a Hilbert space. Let $D\subset H$ be a fixed dense subset.
Denote by $L(H)$ some ...
- 523
2
votes
0
answers
150
views
Reference for weighted Sobolev spaces
I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
- 235
2
votes
0
answers
131
views
Eigenvalues of Witten Laplacian induced by log-concave probability measure on manifold
Let $M$ be a closed $n$-dimensional Riemannian manifold and let $\mu=e^{-V}d\mathrm{vol}_M$ be a log-concave probability measure on $M$, such that the pair $(M,\mu)$ verifies the so-called Bakry-Emery ...
- 6,853
2
votes
0
answers
173
views
Product of Heavisides: calculus vs Fourier transform vs wavefront set
I decided to ask this question here, since I did not get any answer from MSE and perhaps this topic is somewhat far from MSE's topics. I am following the paper here. I am trying to understand how to ...
2
votes
0
answers
196
views
Gauge invariance of a QFT path integral
If we consider the usual formal construction of a path integral over fields with gauge symmetries e.g as in Weinbergs "The Quantum Theory of Fields - Volume 2" the notion of gauge invariance ...
- 661
2
votes
0
answers
161
views
The Laplace transform and the Lagrange compositional inversion formula
I'm looking for references which derive the Lagrange inversion formula, given below (in bold), for the Taylor series coefficients of the compositional inverse of a function $f$ analytic at the origin ...
- 10.5k
2
votes
0
answers
130
views
Smoothness of Radon transform
Let $f:\mathbb R^n \to \mathbb R$ be density function (i.e nonnegative function which integrates to $1$), and consider its Radon transform $R[f]$ defined by
$$
R[f](w,b) := \int_{\mathbb R^n}\delta(x^\...
- 6,853
2
votes
0
answers
70
views
A distribution $\pi \propto \exp(-f)$ satisfies log-Sobolev inequality, does $\exp(-af)$ also satisfy LSI?
Assume a distribution $\pi \propto e^{-f}$ satisfies log-Sobolev inequality (LSI)
$$\forall \rho \in P(\mathbb{R}^n), \quad KL(\rho\| \pi) \le \frac{1}{2\lambda} I(\rho \| \pi)$$
with LSI constant $\...
- 21
2
votes
0
answers
57
views
spilt the sum of singular values of matrices
Let $A_{i} \in GL(d, \mathbb{R})$ for $i=1, 2, 3.$ For $q>0$, we denote $t_{3}^{q}=\sum_{i=0}^{3} \sigma_{1}^{q}(A_{i})\sigma_{2}^{q}(A_{i})\sigma_{3}^{q}(A_{i})$, $t_{2}^{q}=\sum_{i=0}^{3} \sigma_{...
- 1,043
2
votes
0
answers
119
views
What is the justification for using Wiener integrals to integrate over a space of differentiable functions?
In the literature on stiff/semiflexible polymer chains modelled as continuous chains rather than as discrete links, the partition function (among other things) is taken to be an integral over the ...
- 33
2
votes
0
answers
191
views
Approximation of zonoids
I have a question regarding the papers on approximating zonoids with zonotopes. I'll first write down the approximation problem and then state what my question is.
Problem of Approximating Zonoids. ...
- 640
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 ...
- 379
2
votes
0
answers
176
views
Projections in von Neumann algebra tensor product
Let $\mathcal M\subseteq B(\mathcal H)$ be a von Neumann algebra with normal faithful semifinite trace $\tau.$ Consider the von Neumann algebra $\mathcal N:=L_\infty([0,1])\overline{\otimes}\mathcal M$...
- 1,879
2
votes
0
answers
149
views
Polynomial entropy of topological dynamical systems
For a continuous mapping $\varphi: X \to X$ on a compact Hausdorff space $X$ we define the entropy as follows:
Given open covering $\mathcal{U}$, $\mathcal{V}$ of $X$, we call $\mathcal{V}$ a ...
- 467
2
votes
0
answers
122
views
Consistent approximation of weighted Radon transform of smooth probability density, using kernel density estimation
Let $X$ be a random vector in $\mathbb R^d$, with "sufficiently smooth" probability density function on $\rho$. For unit-vectors $w$ and $u$ in $\mathbb R^d$, and a scalar $b \in \mathbb R$, ...
- 6,853
2
votes
0
answers
149
views
A closed ideal in $L^1(T)$
Let $\mathbb{T}$ be the unit circle and consider the convolution group algebra $L^1(\mathbb{T})$. Let $I_n$ be the closed ideal generated by the polynomial $p_n(z)=z^n-1$ in $L^1(\mathbb{T})$.
Let $I=...
- 4,058
2
votes
1
answer
547
views
Shift-invariant spaces
We can define a shift-invariant space as
$$V_{\varphi}(\mathbb{Z}):=\left\{\sum_{k\in\mathbb{Z}}c_k\varphi({\cdot}-k):(c_k)\in \ell_2\right\},$$
where convergence of the series is taken to be in $L^2(\...
- 49
2
votes
0
answers
197
views
Trouble understanding Lax method for KDV equation for inverse scattering method
I am trying to learn the Lax pair condition on my own so that I can eventually learn the inverse scattering method. I am following a paper by Tuncay Aktosun ("Inverse scattering transform and the ...
- 21
2
votes
0
answers
76
views
Equilibrium for a game with mixed strategies on a compact ultrametric space
Let $(X,d)$ be a compact ultrametric space. Hartig and de Vink considered the following ultrametric on the set $P(X)$ of probability on $X$:
$$\hat d(\mu,\nu)=\inf\{r>0:\forall x\in X\;\;\mu(B_r(x))...
- 4,535
2
votes
0
answers
73
views
Separately continuous functions of the first Baire class
Problem. Let $X,Y$ be (completely regular) topological spaces such that every separately continuous functions $f:X^2\to\mathbb R$ and $g:Y^2\to \mathbb R$ are of the first Baire class. Is every ...
- 4,535
2
votes
0
answers
93
views
Finite approximations to the Kuratowski/Fréchet embedding
Let $(X,d)$ be a compact doubling metric space with doubling constant $C>0$. Let $\{\mathbb{X}_n\}_{n=0}^{\infty}$ be a sequences of finite subsets of $X$ with
$$
\left\{B\left(x_k,\frac1{n}\right)...
- 195
2
votes
0
answers
172
views
Distributions whose derivatives are Radon measures
It is not difficult to show that if $f\in L^{loc}_1(\mathbb{R})$ and its derivative $Df$ (as an element of $\mathcal{D}'(\mathbb{R})$)is a Radon measure in $\mathbb{R}$ with finite total variation, ...
- 271
2
votes
0
answers
76
views
Maps defined on the set of Turing degrees
Let $\mathcal{D}$ be the collection of Turing degrees. Are there nontrivial maps $\phi:\mathcal{D}\to \mathcal{D}$ which is natural to consider? For instance, I wonder whether maps which are ...
- 4,459
2
votes
0
answers
166
views
Green's function for elliptic PDE with potential
$\newcommand{\div}{\operatorname{div}}$Suppose I have an elliptic operator $\mathcal{L} u = -\div (A \nabla u) $ on some open set $\Omega \subseteq \mathbb{R}^d$ where here $A$ is uniformly elliptic ...
2
votes
0
answers
369
views
Components of the complement of a compact set
Suppose $K$ is a compact subset of $\mathbb{R}^m$ ($m>1$), and $0<r<R$ are fixed numbers. Let $A$ be the set of points having a distance $<R$ and $>r$ from $K$. My questions are
If $K$ ...
- 411