All Questions
3,629 questions with no upvoted or accepted answers
0
votes
0
answers
55
views
Time regularity vs space regularity for parabolic PDE
Suppose that there exist separable Hilbert spaces $V, H, X$ such that $V\hookrightarrow H\hookrightarrow X\hookrightarrow V'\,$ continuously, where $V'$ denotes the dual of the Hilbert space $V$. Let ...
- 311
0
votes
0
answers
109
views
A Lipschitz function induced by the infimum of the length of curves
Recently I have read a paper, Quasiconformal Images of Hölder Domains, written by S. M. Buckley in 2004, published by Annales Academiæ Scientiarum Fennicæ Mathematica. I am confused about page 33 of ...
- 69
0
votes
0
answers
120
views
Equality of two measures on functional spaces
It is well known that if $\mu$ and $\nu$ are two measures on the space $C^0([0,1],\mathbb{R}^n)$ of continuous mappings from $[0,1]$ to $\mathbb{R^n}$ endowed with its Borel $\sigma$-algebra satisfy $$...
- 1
0
votes
0
answers
96
views
Hilbert spaces that include algebraic polynomials
This question is motivated by a phrase I found in several books/papers about approximation theory, for example, M.J.D.Powell's Approximation Theory and Methods: ''Let $\mathcal{H}$ be a Hilbert space ...
- 1
0
votes
0
answers
106
views
How to prove that $f(x) := |x|^{\frac{\lambda - n}{p}}(1 - \psi(x))$ satisfies a specific property related to its limit at the origin
Disclaimer. I have asked this question a month ago on MSE (click here to access the original post) and even bountied it. I got an answer on MSE, but unfortunately I don't feel like it has enough ...
- 51
0
votes
0
answers
22
views
$H^{s,\infty}$ via Triebel Lizorkin spaces
I know that
$F^s_{p,2} = H^{s,p}$
for $p \in (1, \infty)$, but what about $H^{s,1}$ and $H^{s,\infty}$? I know one extension for $F^0_{\infty,2}$ which should be BMO. But how do I get the $H^{s,\infty}...
- 11
0
votes
0
answers
46
views
Projection onto Shift Invariant Subspaces of $H^2$
Every shift invariant subspace of the Hardy space $H^2(\mathbb{D})$ is either $\{0\}$ or is of the form $\varphi H^2$ for some inner function $\varphi$. I know that if $\varphi(0) \neq 0$, then the ...
- 23
0
votes
0
answers
28
views
Show that functional $J$ satisfies Palais-Smale condition iff every $P-S$ sequence is bounded
Let $H$ be a Hilbert space and let $K: H \rightarrow \mathbb{R}$ be $C^1$ and such that $\nabla K: H \rightarrow H$ sends bounded sets into precompact sets. Consider the functional $J: H \rightarrow \...
- 415
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
0
votes
0
answers
134
views
How can i show that the last equality in the text is true?
Suppose that $v$ is critical point of
$$
f(u)=\frac{1}{2} \int_D|\nabla u|^2-\frac{1}{p+1} \int_D|u|^{p+1}, \quad u \in H_{0, \text{rad}}^1(D),\quad D(r, d)=\left\{z \in R^N: r^2<|z|^2<(r+d)^2\...
- 69
0
votes
0
answers
99
views
Dual of closure
Currently I'm studying about abstract interpolation theory for my research. One of the basic ways to construct new interpolation spaces, given an interpolation space $E$ with respect to a compatible ...
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
- 434
0
votes
0
answers
81
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
- 136
0
votes
0
answers
34
views
Support of a function acting on an algebra?
Quick: for a measurable function $f$ its support on Euclidean space is clearly just the subset where $f$ does not vanish.
Now, let’s have $f$ acting on an finite Lie algebra, f.e. $\mathfrak{gl}$ as $...
0
votes
0
answers
22
views
Approximation of Lipschitz functions by convex combinaison of Lipschitz functions depending on projections
Let $K\subset \mathbb R^2$ be compact. For any $c>0$, denote by ${\rm Lip}_c(K)$ the collection of Lipschitz functions $f:K\to\mathbb R$ whose Lipschitz constant is less than or equal to $c$. Set $...
- 1,334
0
votes
0
answers
44
views
Integral of gradient of a function times a vector fields, null whatever the function, implies null divergence and tangential limits conditions
I'm reposting this question from math.stackexchange, as I haven't got answers so far.
At the beginning of "Brenier, Y. (1987) Décomposition polaire et réarrangement monotone des champs de
...
- 101
0
votes
0
answers
40
views
Iterating partially-unconstrained optimization with projection
Let $f:H\to \mathbb{R}$ be a strictly convex Fréchet differentiable, coercive function on a separable Hilbert space $H$ and let $C_1,C_2\subseteq H$ be closed and convex.
I want to optimize
$$
\tag{(A)...
- 5,405
0
votes
0
answers
53
views
Vectors of complex exponentials span $\mathbf{C}^N$
Let $Q = [0,1]\times [0,1]$. Let $1\leq k < \infty$ and $\{(x_l,\xi_l)\}_{l=1}^{k}\subseteq Q$ be such that $(x_i,\xi_i)\ne (x_j, \xi_j)$ for $i\ne j$. Additionally, for $1\leq l \leq k$, let $n_l\...
- 171
0
votes
0
answers
57
views
Projection measure and an integral formula for Lipschitz functions
Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as
$$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
- 75
0
votes
0
answers
149
views
Notation $\le_{a,b,n,\ldots}$ in Analysis
In modern Analysis, especially Functional Analysis, one proves, or one uses inequalities of the form
$$F(X)\le_{a,\ldots,n}G(X).$$
The meaning of the subscripts in the inequality sign means that there ...
- 52.3k
0
votes
0
answers
73
views
Criteria giving sufficient conditions for a Borel measure to have compact support
I am interested in criteria that guarantee that a Borel probability measure has compact support.
I outline two below and I am hoping to gather more as answers (if they exist).
The first sufficient ...
- 860
0
votes
0
answers
55
views
Johnson-Lindenstrauss type result for matrix factorization
The type of result I want is: given matrix $A\in \mathbb{R}^{m\times n}$ and error tolerance $\epsilon$, what is a lower bound on $k$ such that $\|A - UV\|_{??}\le \epsilon$, where $U \in\mathbb{R}^{m\...
0
votes
0
answers
43
views
When does the Hermite series converge pointwise and when is it uniformly bounded?
Let $\gamma$ denote the standard Gaussian measure on the real line, and consider $f \in L^2(\gamma)$. Since the Hermite polynomials $\{H_n\}_{n \geq 0}$ are a complete orthonormal system, we may ...
- 420
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
- 39
0
votes
0
answers
44
views
Are there probability densities $\rho, f_n$ such that $\lim_n \frac{[\rho * f_n]_\alpha}{\|\rho * f_n\|_\infty} = \infty$?
We fix $\alpha \in (0, 1)$. Let $[f]_\alpha$ be the best $\alpha$-Hölder constant of $f: \mathbb R^d \to \mathbb R^k \otimes \mathbb R^m$, i.e., $[f]_\alpha := \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x-...
- 835
0
votes
0
answers
53
views
A problem about how to understand the existence of derivative of level set in Mountain-pass theorem
I'm confused about the Mountain pass theorem in Lemma4 of here.
Background :
$$
\begin{gathered}
I_\lambda(u)=\frac{1}{2} \int_M\left|\Delta_g^{\frac{m}{2}} u\right|^2 d \mu_g-\frac{\lambda}{2 m} \log ...
- 809
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
0
votes
0
answers
64
views
When is a symmetric block Toeplitz matrix invertible?
Let
$$
Q =
\begin{bmatrix}
Q_0 & Q_1 & Q_2 & \cdots\\
Q_{-1} & Q_{0} & Q_1 & \cdots\\
Q_{-2} & Q_{-1} & Q_0 & \cdots\\
\vdots & \vdots & \vdots & \ddots
...
0
votes
0
answers
235
views
Analogue of $\ell^2(X)$ over an arbitrary Banach ring
Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
- 1,485
0
votes
0
answers
22
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
- 651
0
votes
0
answers
80
views
Verifying the Cauchy behavior of a sequence
Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
- 85
0
votes
0
answers
32
views
reference request: mercer expansion and kernel underlying Sobolev spaces?
Let us define the periodic Sobolev spaces, for $s > n/2$ by
$$
H_{s}([0, 1]^n) = \{f : [0, 1]^n \to \mathbb{R} :\mbox{for}~j\leq s, f^{(j)} |_{\partial[0, 1]^n} \equiv 0, ~~
\int_{[0, 1]^d} (f^{(s)...
- 420
0
votes
0
answers
55
views
Strong sub-differentiability of an equivalent strictly convex norm
First, we define the notion of strong sub-differentiability(SSD) of a norm on a Banach space $X$. The norm $\Vert \cdot \Vert$ of $X$ is said to be SSD if the one-sided limit $$\lim_{t \to 0+} \frac{\...
- 85
0
votes
0
answers
48
views
Computation of Brown measure of the shift operator on $\ell^2(\mathbb N)$?
This looks an extremely simple question - I am just trying to give an example of Brown measure, https://en.wikipedia.org/wiki/Brown_measure, so I try to compute it for the left/right-shift operator on ...
- 1,755
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
0
votes
0
answers
60
views
asymptotic expansions for $C^{1+\epsilon}$operators
I want to understand the asymptotic expansion for $C^{1+\epsilon}$ operators.
More precisely, if a complex operator $T(z)=\sum_{n \ge 1}T_n z^n$ is defined on a closed unit disk, and it is $C^{1+\...
user522705
0
votes
0
answers
81
views
Ultraproduct reflexive
Hello I have the following construction: Let $(E,\|\cdot\|_E)$ be a Banach space, $E_n:=E^n$ and $\|x_n\|_n:=\frac{1}{n}\sum_{k=1}^n \|x_n(k)\|_E$ for all $x_n=(x_n(1),...,x_n(n))\in E^n$ and $n\in\...
- 1
0
votes
0
answers
126
views
Building representation of an arbitrary umbral calculus
Consider a set of integrable functions on the interval $(0,1)$.
Let's introduce an operation $\operatorname{eval}f=\int_0^1 f(x)\,dx$ (which is the mean value of the function).
In such system the ...
- 10.1k
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
0
votes
0
answers
88
views
Intersection of Sobolev Spaces
Suppose $\Omega$ is a bounded open subset of $\mathbb{R}^n$ with a "nice" boundary. We have the Sobolev spaces $W^{k,2}(\Omega)$, which are all contained within each other: $W^{m,2}(\Omega)\...
- 807
0
votes
0
answers
63
views
Existence of a measurable maximizer
Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
- 1
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 39
0
votes
0
answers
157
views
Dependence of functional integral on the function space
In physics, the following functional integral is considered
\begin{gather}
Z[J]= \int Df \exp(-\int d^dx( f\Box f+\lambda f^4 +Jf ))
\end{gather}
It is usually said that the integration is performed ...
- 593
0
votes
0
answers
59
views
Series representation of functions
Let $H$ be a Hilbert space, consisting of functions $f:\mathbb{R} \to \mathbb{R}$. Let
$$
V = \left\{ f_J \in H: f_J= \sum_{j=1}^J c_j^{(J)} g_j, c_j^{(J)}\in\mathbb R, J\in \mathbb N \right\}
$$
...
- 93
0
votes
0
answers
163
views
Generalization of polynomial coefficients
I'm dealing with a hard combinatorial problem where for every positive integer value of a variable $n$ I have to calculate a list of numbers, specifically $n^2$, that depend on $n$ and its list index ...
- 47
0
votes
0
answers
81
views
Is a bounded measurable convex function above its interior lower semi-continuous convex envelope?
Let $E$ be a locally convex topological vector space, let $C$ be a convex set which matches the closure of its relative interior $\mathring C=\{ x\in C : \forall y\in C,\exists z\in C,~x\in\mathopen]y,...
- 204
0
votes
0
answers
37
views
Finding an element of Gelfand triple with a designated time derivative
Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
where $V'$ is the dual of $V$ and the inclusions are ...
- 3,477
0
votes
0
answers
94
views
The asymptotic behaviour of the Fourier transform of a certain class of radially symmetric functions
Fix $\theta\in (-\pi/2,\pi/2)$ and let $a>0$. Suppose that $f:\mathbb{C}\rightarrow \mathbb{C}$ is analytic in $S:=\{z\in \mathbb{C}: |\arg{z}|<\pi/2\}$ and
$$|f(z)|\sim |z|^{-a},\qquad |z|\to \...
- 852
0
votes
0
answers
51
views
Rescaling of cosine families
First of all, the best wishes for 2024. Recently, I got aware of cosine operator families (in the framework of evolution equations). It is well-known, that operator semigroups can be rescaled (see for ...
