All Questions
13,927 questions
0
votes
1
answer
222
views
Bounding near the boundary for a Sobolev function.
Let $f: \Omega\rightarrow \mathbb{R}$ where $\Omega\subset\mathbb{R}^d$ is bounded with lipschitz smooth boundary. Further suppose that $f\in\mathcal{H}^{\tau}(\Omega)$, $\tau>\frac{d}{2}$ (i.e. $f$...
- 3,217
0
votes
1
answer
137
views
Connectedness of a union regading a proximity
Let δ is a proximity.
I will call a set A connected iff for every partition {X,Y} of the set A holds X δ Y.
Question: Let A and B are sets with non-empty intersection. Let both A and B ...
- 765
0
votes
1
answer
127
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\...
- 4,115
0
votes
1
answer
99
views
A question about G-Hewitt spaces
In the paper linked below, S. A. Antonyan gives the following proposition without proof (in fact all results are given without proof). I need a proof of this theorem. If anyone has information on this ...
- 1,367
0
votes
1
answer
119
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 107
0
votes
1
answer
188
views
Does the second Bourgain–Delbaen space belong to C_p?
The second Bourgain–Delbaen space $Y$ is a separable $\mathcal{L}_\infty$ space such that $Y$ contains no copy of $c_0$ or $\ell_1$. The dual space is isomorphic to $\ell_1$.
An operator $T:X\to Y$ ...
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 ...
user545331
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 ...
0
votes
1
answer
99
views
Is every subgroup closed in this complete, nondiscrete topological group?
Another question on Mathoverflow (here: Complete topological groups in which all subgroups are closed) asks if there exists a complete, nondiscrete topological group $G$ such that all subgroups of $G$...
- 361
0
votes
1
answer
114
views
Geometric interpretation of a Grammian-like function
Let $\mathbf{v}, \mathbf{w} \in \mathbb{R}^n$ and consider the following function $f : \mathbb{R}^n \times \mathbb{R}^n \rightarrow \mathbb{R}$:
$$
f(\mathbf{v},\mathbf{w}) = \|\mathbf{v}\|\|\mathbf{w}...
- 6,351
0
votes
1
answer
89
views
Monto functions (multiply onto functions)
This is an improvement over Hereditary property of bionto (bi-onto) functions.
Let $\,\ X\,\ Y\ $ be topological spaces. Set $\ A\subseteq X\ $ is said to be clopen in $\ X\ $ iff both $\ A\ $ and $\ ...
- 4,786
0
votes
1
answer
150
views
When are infimal convolutions contractions?
Let $X$ be a separable Fréchet space and $\varphi,\psi:X\to \mathbb{R}$ be a lower semi-continuous and convex function with $\psi$ bounded below and coercive. Consider the infimal convolution
$$
\...
- 364
0
votes
1
answer
127
views
Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w) < \infty$?
Let $f\in L^p(\Bbb R^n)$ and $S^{n-1}$ be the Unit sphere.
Why
$\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w)<\infty$ when $1<p<2$.
$\hat{f}$ is the Fourier transform fora function f.
- 9
0
votes
1
answer
97
views
Extracting each field operator as Wightman fields from a set of time-ordered products satisfying Eckmann-Epstein axioms
The paper by Eckmann-Epstein proves that Schwinger functions at "coinciding points" uniquely defines "time-ordered products".
In physics, these "time-ordered products" ...
- 3,477
0
votes
1
answer
163
views
Counterexample wanted: Banach space but not BK-space
What is an example of a Banach space that is not a BK-space?
A normed sequence space $X$ (with projections $p_n$) is a BK Space if $X$ is Banach space and for all natural numbers $n$, $p_n(\bar{x}) = ...
- 1
0
votes
1
answer
80
views
Orthogonal space of polynomials
Let $f \colon [0,+\infty) \to \mathbb R$ be a continuous function. Assume that for any non-negative integer $n$, the function $f(t) t^n$ in integrable in $(0,+\infty)$ and
$$
\int_0^{+\infty} f(t) t^n ...
0
votes
1
answer
126
views
Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections
I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
0
votes
1
answer
90
views
For any $p, q \in [1,\infty]$ and $s \in (0,\infty)$, can we find some $f \in L^q - W^{s,p}$?
Sobolev inequalities show us when we can embed a Sobolev space into another.
However, I wonder if these inclusions are always proper.
More specifically, let $\Omega \subset \mathbb{R}^n$ be a bounded ...
- 3,477
0
votes
1
answer
100
views
Projection on a countable union of linear subspace
For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
- 31
0
votes
1
answer
135
views
Local embedding and disk in domain perturbation
Consider say $M=(\mathbb{S}^1\times\dotsb\times \mathbb{S}^1)-q$ ($n$-times). Assume that $B$ is an $n$ disk in $M$ (for instance, thinking of $\mathbb{S}^1$ as gluing $-1$ and $1$, the cube $B=[-\...
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 434
0
votes
1
answer
140
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
253
views
Reference request: log Sobolev inequality for uniform measure (uniform distribution over discrete set)
Suppose that $N \in \mathbb N_+$ is fixed and denote by $\mu = (\mu_0,\ldots,\mu_N)$ the uniform distribution on the set $\{0,1,\ldots,N\}$ (i.e., $\mu_n = \frac{1}{N+1}$ for each $0\leq n\leq N$). I ...
- 730
0
votes
1
answer
243
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
- 297
0
votes
2
answers
287
views
Distinguishable under manifold topology but indistinguishable under the Alexandrov topology
Take the time-oriented Lorentzian spacetime $(M, g)$ that is not strongly causal.
In such case it is shown that the Alexandrov topology and the Manifolds topology deviate such that the manifold ...
- 612
0
votes
1
answer
118
views
For any smooth function $f$ on $[0,1]$, do we have $\lVert P_N f \lVert_{1} \leq \lVert f \rVert_1$ for $P_N$ defined by Fourier expansion?
Let $C^\infty[0,1]$ be the space of periodic smooth functions on $\mathbb{R}$ with the period $1$. It is well-known to be a Frechet space with the uniform convergence of all derivatives.
Also, $\{ e^{...
- 3,477
0
votes
1
answer
165
views
For $\mu$-a.e. $x \in X$, the sequence $(f_n(x, \cdot))_n$ is Cauchy in $L^1 (Y)$. Then $(f_n)$ is Cauchy in $L^1 (X \times Y)$
Below we use Bochner measurability and Bochner integral. Let
$(X, \mathcal A, \mu)$ and $(Y, \mathcal B, \nu)$ be complete $\sigma$-finite measure spaces,
$(E, | \cdot |)$ a Banach space,
$S (X)$ the ...
- 825
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 463
0
votes
1
answer
241
views
Norm functions induced by convex bodies
Given a centrally symmetric convex body $K$ in the plane (with smooth boundary), it is easy to see that there exists a norm function $g:\mathbb{R}^2\to \mathbb{R}_{\geq 0}$ for which $K$ is the unit ...
- 191
0
votes
1
answer
51
views
Convergence of Gaussian measures $\{ d\mu_a \}$ whose variances depend smoothly on the index $a$
Let $f: \mathbb{R} \to \mathbb{R}$ be a smooth function such that $f(x)$ is positive in a small punctured neighborhood of $x=0$ but $f(0)=0$.
Now, define a collection of centered Gaussian measures on $...
- 3,477
0
votes
1
answer
138
views
Smoothness of a Hilbert space under an equivalent norm
Let us take the Hilbert space $l_2$ with an equivalent norm
$\Vert x \Vert = \max \{2 \Vert x \Vert_1, \Vert x \Vert_2 \}$, where $\Vert x \Vert_1 =( \sum_{n=2}^\infty x_n^2 )^{\frac{1}{2}}$ and $\...
- 85
0
votes
1
answer
156
views
Finding weak LUR property of $C[0,1]$ with an equivalent norm
On the space $X=C[0,1]$, define a norm $||| f |||^2=\Vert f \Vert_{\infty}^2 + \Vert f \Vert_2^2$, where $\Vert \cdot \Vert_\infty$ is the sup norm on $C[0,1]$ space and $\Vert \cdot \Vert_2$ is the $...
- 85
0
votes
1
answer
209
views
Derivative with respect to a Hilbert-Schmidt operator
Let $X,Y$ be real separable Hilbert space, and let $HS(X,Y)$ be the space of Hilbert-Schmidt operators from $X$ to $Y$, endowed with the Hilbert-Schmidt norm. Let $x\in X$ and $y\in Y$. I am ...
- 503
0
votes
1
answer
44
views
Identify maxima for 2-Dimensional Function without knowing cross-derivative
I am trying to proof the uniqueness of a maximum for a two-dimensional function (well behaved, twice differentiable, domain $R^2$, etc.), yet cannot compute the exact derivatives or the Hessian.
I ...
- 103
0
votes
2
answers
166
views
Asymptotics of the unique root of a polynomial equation defined as a sum of rational expressions
Let $\lambda_1\ge \ldots \ge \lambda_n \gt 0$. Define a function $F:\mathbb R_+ \to \mathbb R_+$ by
$$
F(t) = t^2\sum_{i=1}^n\frac{\lambda_i^2}{(\lambda_i + t)^2}.
$$
It is clear that $F$ is strictly ...
- 6,853
0
votes
1
answer
161
views
Let $X^n$ be a collection of smooth functions so that their $\alpha$-Holder norms are uniformly bounded
Let $X^n$ be a collection of smooth functions so that their $\alpha$-Holder norms for $\alpha \in (1/3,1/2)$ are uniformly bounded - that is $\sup_n \|X^n\|_\alpha<\infty$. Define the standard ...
- 1,914
0
votes
2
answers
182
views
Show that the set of strictly stationary, mean zero and finite variance stochastic processes is closed (or not)
Let $\mathcal{P}$ be the set of real-valued and strictly stationary processes with expectation zero and finite variance, i.e.:
\begin{equation}
\mathcal{P}:=\left\{ X = (X_t)_{t \in \mathbb{Z}} \, ...
- 135
0
votes
1
answer
278
views
A reproducing kernel Hilbert space
A functional Hilbert space $\mathscr H=\mathscr H(\Omega)$ is a Hilbert space of complex valued functions on a (nonempty) set $\Omega$, which has the property that point evaluations are continuous i.e....
- 1,154
0
votes
1
answer
225
views
Does contractible imply homologically locally connected?
Spanier mentions that locally contractible implies homologically locally connected but I'm wondering whether contractible implies homologically locally connected?
Definition of homologically locally ...
0
votes
1
answer
272
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
0
votes
1
answer
296
views
When can a convolution be written as a change of variables?
Suppose $X$ is a random variable with a density $f(x)$ such that $f(x)$ is a convolution of some density $g$ with some other density $q$:
$$
f = g\ast q.
$$
Under what conditions does $X=h(Y)$, where $...
- 5
0
votes
1
answer
137
views
Examples of b-connected sets?
B is a b-open set if $B\subset Cl(IntB) \cup Int(ClB)$
A topological space $X$ is b-disconnected if it can be expressed as a union of two disjoint non-empty b-open sets. Otherwise, $X$ is said to be ...
0
votes
1
answer
473
views
Empty spectrum of an operator
Recently, I was studying the spectrum of an operator $T$ on a normed
linear space $X$. In order to ensure that the spectrum is non-empty, one
needs to assume that $X$ is a complex Banach space. But ...
0
votes
2
answers
263
views
Finite sheeted covering of the complement of a finite set in $\mathbb{C}$
For figure "eight" there is a list of finite sheeted covering discussed in Hatcher's book "Algebraic topology". I was thinking about the following question:
Let $S$ be a finite ...
- 1,177
0
votes
1
answer
1k
views
What is definition of branched covering?
What is definition of branched covering in the page 10 of following paper ?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. ...
- 119
0
votes
1
answer
59
views
Strong measurability of operator-valued map induced by a kernel
Let $K\in L^2([0,T]^2)$, and for each $t\in [0,T]$, let $\mathcal{T}_t $ be such that for all $f\in L^2([0,T])$, $\mathcal{T}_t f(s)=\int_0^T K(s,t)K(u,t)f(u)\, d u$ for all $s\in [0,T]$. One can show ...
- 503
0
votes
1
answer
55
views
Kernels of sequences of operators
Let $\left( S_{n}^{1}\right) $ and $\left( S_{n}^{2}\right) $ two sequences
of operators in $\mathcal{L}(E_{1},F_{1})$ and $\mathcal{L}(E_{2},F_{2})$
where $E_{i},F_{i},i=1,2$ are Hilbert spaces such ...
- 617
0
votes
1
answer
297
views
Application of the Frechet derivative [closed]
$f\colon U\subset \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$ is differentiable at $x_{0}$ if there exist a linear transformation $T\colon \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$, such that:
\...
- 131
0
votes
1
answer
125
views
Characterizing subsets of integrable functions
Let us consider the space $L^1(0,1;\mathbb{R})$ of real-valued, Lebesgue integrable functions defined on the interval $(0,1)$ (where we only distinguish functions which are not equal almost everywhere)...
- 820