All Questions
13,944 questions
-1
votes
0
answers
94
views
Why define Schwartz by supremum rather than limit?
The Schwartz space is defined as the set of all indefinitely differentiable functions such that the supremum over the free variable of any (order) derivative times any (order) power is finite.
However,...
- 107
0
votes
0
answers
22
views
Has this notion of "variation along the diagonal of a not-necessarily-smooth function" been studied before?
I am interested in knowing whether something along the lines of the "diagonal variation" defined below has been studied before. In spirit, the basic idea is that it is a kind of ...
- 708
9
votes
5
answers
2k
views
Convexity of distance-to-boundary function
Let $\Omega\subset\mathbb{R}^{n}$ be an open,
bounded convex domain. Denote $d_{\Omega}:\Omega\rightarrow\mathbb{R}$
the distance-to-boundary function, that is,
$$
d_{\Omega}\left(x\right):=\inf\left\...
- 45k
11
votes
7
answers
1k
views
What are some interesting ways of making new metrics out of old metrics?
If $d(x,y)$ and $e(x,y)$ are metrics then $d(x,y)+e(x,y)$ and $\frac{d(x,y)}{1+d(x,y)}$ are metrics.
If $d_i(x,y)$ for $i=1,\dots,n$ are metrics then so is $\sqrt{\sum_{i=1}^n{d_i^2(x,y)}}$
Are ...
- 132
1
vote
1
answer
90
views
Sobolev inequality with weight in the case $1<n\leq p$
Assume that $1<n\leq p$. Does there exist a (non-negative) measure $\mu$ (preferably with some positive density function with respect to the Lebesue measure $dx$) and $q>p$ so that for all $f\in ...
- 6,476
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
- 109k
0
votes
1
answer
93
views
A question on finite Fourier series
Let $\mathcal F(N)$ denote the space of finite Fourier series up to frequency $N > 0$, i.e. $f\in \mathcal F(N)$ if and only if it can be written as
$$f(x) = \sum_{k=0}^N a_k\cos(kx+\theta_k)$$
for ...
- 6,476
3
votes
1
answer
307
views
Approximate square root of Dirac delta function on $\mathrm{SL}_2(\mathbb{R})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\AdS{AdS}$I hope to find a sequence of complex-valued functions $\{f_i(g)\}$ on the group element $g$ of a locally compact group $\SL(2,\mathbb{R})$ so ...
- 9,486
13
votes
2
answers
813
views
A dichotomy for everywhere differentiable eikonal functions
Let $f: \mathbb R^n \to \mathbb R$ be everywhere differentiable, with $|\nabla f| = 1$ almost everywhere. Is it true that $|\nabla f| = 0$ or $1$ everywhere?
- 2,155
3
votes
1
answer
198
views
Can gradient zero implies that a function is constant with Hörmander vector fields
Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by
$$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
CommunityBot
- 1
2
votes
1
answer
2k
views
Monge–Ampère operator
I'm studying the article of Bedford–Taylor "Fine topology, Šilov boundary…" but I don't
understand the proof of the following proposition.
Let $u$, $v$ be plurisubharmonic functions defined ...
CommunityBot
- 1
1
vote
1
answer
117
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
CommunityBot
- 1
0
votes
1
answer
71
views
Upper bound on higher order derivatives of $\frac{1}{v(t)}$
Suppose that $ v(t) >l>0$ and
$$
\vert v^{(k)}(t) \vert \leq c \frac{k!}{r^k}.
$$
Can we give an upper bound for
$$
(\frac{1}{v(t)})^{(k)}
$$
?
Attempt:
We first compute the first fourth order ...
- 128k
5
votes
0
answers
204
views
A proof for an $L^p$-$L^p$ inequality
This is a transfer of the question
https://math.stackexchange.com/questions/4996853/an-lp-lp-inequality
Let $a\in (0,1)$ and $1<p<\infty$ and use $L^{p}$ to denote the space $L^{p}([0,\infty))$ ...
CommunityBot
- 1
1
vote
1
answer
69
views
Exhausting sequences contain a $\pi$ lift of a subset with a $(1-\delta)$ factor
Let $\pi : Y \to X$ be a measurable map between the $\sigma$-finite measure spaces $(Y, \mathcal{B}, \nu)$ and $(X, \mathcal{A}, \mu)$. Suppose there exists $c \in (0, \infty)$ such that for all $A \...
CommunityBot
- 1
3
votes
1
answer
1k
views
Borel-Cantelli lemma for general measure spaces (those with infinite measure)
The Borel-Cantelli lemma is often stated for a probability space or spaces with finite measure.
But it seems to me that it still holds if the space $X$ is of infinite measure. I seem to be able to ...
CommunityBot
- 1
16
votes
1
answer
969
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 12.5k
-2
votes
0
answers
64
views
A Problem using Limits of Sequences of Functions
Suppose $\{f_n\}$ is a sequence of nonnegative extended real-valued functions on $X$ and $\lim_{n\to\infty}f_n=f$. Take a simple function $0\leq\varphi\leq f$. If $X_{\infty}=\{x\in X: \varphi(x)=a>...
- 1
0
votes
1
answer
169
views
Existence of a "universal" measure-preserving transformation on the unit interval
Let $I = [0,1]$ be the unit interval equipped with the Lebesgue measure $\lambda$. Let $\mathcal{M}$ be the set of all Lebesgue measure-preserving transformations $T: I \to I$. We say a transformation ...
- 23.2k
3
votes
2
answers
153
views
On nowhere differentiability of functions that just barely fail to be Lipschitz
By Rademacher’s theorem, Lipschitz functions are differentiable almost everywhere. I am wondering how badly this pointwise differentiability fails for functions that “just barely” fail to be Lipschitz....
3
votes
0
answers
95
views
Deeper reason for why classical orthogonal polynomials have simple generating functions?
Is there a known reason why all classical families of orthogonal polynomials have simple generating functions? I was wondering whether one could get an explanation using the connection with Sturm-...
- 312
0
votes
2
answers
148
views
Asymptotic behavior of the integral of Hermite functions/polynomials on half-lines
I would like to understand the asymptotic behaviour of the following integrals with fixed $x_0>0$:
$$J_m=\int^{+\infty}_{x_0}|H_m(x)|^2 e^{-x^2}dx,$$
where $H_m(x)$ is the $m-$th Hermite polynomial....
- 128k
4
votes
1
answer
227
views
Problem in Probability Theory and Functional Analysis
Let's consider the vector space V of bounded scalar functions, which includes the constant function 1. We assume that any uniform limit of a bounded monotonic sequence of functions from V also ...
7
votes
2
answers
394
views
Tangent space to infinite dimensional manifolds
In finite dimensional geometry, there is a single invariant of a vector space - its dimension. This characterizes finite dimensional manifolds as being glued from Euclidean balls.
This situation is ...
- 7,583
1
vote
1
answer
329
views
Hölder continuity of Radon transform of smooth function
Given an integrable function (e.g a probability density function) $f:\mathbb R^n \to \mathbb R$, let $R[f]$ be its Radon transform defined by
$$
R[f](w,b) := \int_{\mathbb R^n} \delta(x^\top w - b)f(x)...
CommunityBot
- 1
0
votes
0
answers
146
views
On the pointwise limit of a sequence of analytic functions
I have been confused with this problem for weeks now. Suppose I have Banach spaces $E$ and $F$ and a sequence of functions $f_{n}: U \subset E \to F$, where $U$ is open and nonempty. Let $x \in U$ be ...
0
votes
1
answer
431
views
Approximation of the product $(\bar{z} - a)^{-1} \cdot (z - b)^{-1}$
$\def\zbar{\smash{\overline z}\vphantom z}$I would like to construct an approximation of the product
\begin{equation}
f(z) = \frac{1}{\zbar-a} \frac{1}{z-b},
\end{equation}
where $a, b \in \mathbb{C}$,...
CommunityBot
- 1
1
vote
2
answers
117
views
If $f\in C([0,\infty))$, does $\delta>0$ and $g\in C^1((0,\delta))\cap C([0,\delta])$ s.t. $g\geq f$ on $[0,\delta]$ and $g(0)=f(0)$ exist?
The question is the following:
Suppose $f : [0,\infty) \rightarrow \mathbb{R}$ is a continuous function. Can I find $\delta \in (0,\infty)$ and a function $g : [0,\delta] \rightarrow \mathbb{R}$ such ...
- 128k
1
vote
0
answers
39
views
Hyperbolic equation without initial state
Consider the hyperbolic equation on a rectangular domain of the form $(0, L_x) \times (0, L_y)$:
$$
a^2 u_{xx} - b^2 u_{yy} = f(x, y),
$$
with Dirichlet boundary conditions on $u$.
By using the ...
- 617
0
votes
0
answers
55
views
reference request: conditions for pointwise and operator-norm convergence of kernel projections
At a very high level, I’m interested in the following question. Suppose $X$ is a (separable) Hilbert space, and $T_n : X \rightarrow X$ is a sequence of finite rank self-adjoint maps that converges (...
- 3,065
3
votes
3
answers
580
views
Approximate identities and pointwise convergence
I'm studying Fourier analysis and have a question about approximate identities.
Let $k_{\epsilon}$ be an approximate identity on $L^{1}(\mathbf{T})$. We know that $k_{\epsilon}*f\to f$ in $L^{1}$ as $...
2
votes
0
answers
82
views
The support of the functions in the closed span of the Rademacher functions in $L_1(0,1)$
Given a measurable function $f:(0,1)\to \mathbb{R}$, we denote by $M(f)$ the measure of the set $\{t\in (0,1) : f(t)\neq 0\}$.
It is not difficult to prove that if $(f_n)$ is a normalized sequence in $...
- 4,461
0
votes
1
answer
53
views
Exponentially weighted norms are not equivalent
Let $\|u\|^2_{L^2_\eta}$ be the exponentially weighted norm of the space of functions $u(x)$ for which $u(x)\mathrm{e}^{\eta\cdot x}$ with $\eta\in \mathbb{R}$ is in $L^2(\mathbb{R})$. How can I show ...
- 128k
21
votes
5
answers
18k
views
When is Sobolev space a subset of the continuous functions?
If we let $\Omega\subset\mathbb{R}^d$ with $d=1,2,3$ and define $\mathcal{H}^1(\Omega)=(w\in L_2(\Omega): \frac{\partial w}{\partial x_i}\in L_2(\Omega), i=1,...,d)$. My tutor has repeated several ...
- 18.7k
3
votes
2
answers
1k
views
Extensions of Urysohn's inequality
A version of Urysohn's inequality states that for a symmetric convex body $K \subset \mathbb{R}^n$, one has
$$
\left(\frac{\text{vol}(K)}{\text{vol}(B_2)} \right)^{1/n} \le \frac{1}{\sqrt{n}} E
\; \| ...
CommunityBot
- 1
0
votes
0
answers
50
views
Self-adjoint operators and index of quadratic form associated to it
Let $B$ a bounded self-adjoint operator on a real Hilbert space $H$ with an associated inner product $(\cdot,\cdot).$ Take $V=\operatorname{span}\{f_1, f_2, \ldots, f_n\}$ a finite dimensional ...
- 2,183
1
vote
0
answers
65
views
Fractional Sobolev embedding
Let $s\in (0,1)$ and $1<p<\infty$. Let $H^{s,p}(\mathbb{R}^n)=H^{s,p}$ the Bessel potential space, defined as the image of $L^p(\mathbb{R^n})$ by the Bessel potential. It is known that these ...
- 63.9k
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
1
vote
0
answers
86
views
Proof mistake of: $M_0A(G) = B(G)$ for a locally compact group
I am posting my question of mathstack exchange here. (see: My post on MSE)
Let $G$ be a locally compact group with Haar measure $\mu$, and $B(G),A(G),C_r^*(G),L(G)$ be its Fourier-Stieltjes algebra, ...
- 261
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 128k
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 128k
1
vote
1
answer
277
views
Intersection of the kernel with the interpolation space
$\DeclareMathOperator\Ker{Ker}$Given two Banach spaces $X$ and $Y$ with a continuous inclusion $X\subset Y$, and another couple $X’ \subset Y’$ with the same properties. Take $f : Y \longrightarrow ...
CommunityBot
- 1
1
vote
0
answers
127
views
Trace type convergence of the Laplacian on the box to the Laplacian on $\mathbb R^d$
Let $-\Delta \colon H^2(\mathbb R^d) \to \mathbb R^d$ be the (negative) Laplacian on the full space and $-\Delta_L$ the Laplacian acting on $L^2([-L,L]^d)$ with some boundary conditions making it self-...
- 61
2
votes
1
answer
78
views
Is there a relative projective tensor (cross-)norm for Banach $A$-algebras?
$\newcommand\norm[1]{\lVert#1\rVert}$I am interested in a relative version of the projective tensor product and projective tensor (cross-)norm for Banach algebras. Let $A$, $B$, $C$ be commutative (...
- 12.9k
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
CommunityBot
- 1
0
votes
1
answer
139
views
Existence of infinite rank compact operator
Given any separable Banach space $X$, we know that always there exists a Banach space $Y$ such that there is an injective compact operator from $X$ to $Y$. Can we show that given any infinite ...
- 109k
8
votes
1
answer
258
views
Sequential colimit of iterated quotients of Cauchy sequences
We work in constructive mathematics.
The sets and functions in the foundations form a Grothendieck topos, which means that all colimits exist, and in particular, that all sequential colimits exist. ...
CommunityBot
- 1
3
votes
0
answers
98
views
Square Roots of Non-Negative Even Functions
I'm trying to study properties of maps between quotients of representations of compact Lie groups and I stumbled upon the following problem. Suppose you have a smooth function $f:\mathbb{R}\to\mathbb{...
- 31
4
votes
1
answer
214
views
Characterisation of Sobolev spaces using their Lipschitz approximations
Let $f \in W^{1, p} (\mathbb R^n)$. A classical approximation theorem (see for instance, the book by Evans and Gariepy) says that we can approximate $f$ by Lipschitz functions, in the sense that for ...
- 498
4
votes
1
answer
175
views
Explicitly computing the absolutely minimising Lipschitz extension
Is there an analytical or even numerical way to find the Absolutely Minimizing Lipschitz extension of a given function?
I know that the extension exist and it is unique (by Aronsson et al).
I found ...
- 6,195