Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,435 questions with no upvoted or accepted answers
2
votes
0
answers
86
views
when is the average of a function with Gaussian inputs bounded away from zero
Define a function $\phi(x):\mathbb{R}\rightarrow\mathbb{R}$. Consider the expected value function defined as follows
\begin{align*}
\mu(\beta)=E[g\phi
(\beta g)]\quad with \quad g\sim\mathcal{N}(0,1)\...
- 363
2
votes
0
answers
90
views
Boundary regularity of solutions to semilinear heat equation
Consider the Cauchy IVP problem
$$u_t - \Delta u + f(t,x,u) = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n,$$
with initial condition $u(0,x) = g(x), \ x \in \mathbb{R}^n.$
Can you point out a ...
- 303
2
votes
0
answers
72
views
"Spectral gaps" of commutativity measure
There's a notion of commutativity measure $P(G)$ of a finite group $G$ which is probably folklore: count commuting pairs in $G \times G$ and divide by $|G \times G|$. There are some results:
$P(...
- 4,600
2
votes
0
answers
332
views
Convergence of probability measures with respect to sequentially weak continuous functions
Consider a separable Banach space $X$. The Borel $\sigma$-algebra $\mathcal{B}$ of $X$ is the same when taken with respect to the weak or strong topology. Hence, the space of probability measures over ...
- 349
2
votes
0
answers
136
views
To find a positive function with compact spectrum
Let
$e_1=(0,1)^T$,
$$
S=\left\{x\in \mathbb{R}^2\Big| \frac{|\langle x, e_1\rangle|}{|x|}>\delta>0\right\},
$$
is a cone in $\mathbb{R}^2$.
I want to find a non-trivial smooth function ...
- 29
2
votes
0
answers
46
views
When is a 2D homogenous potential essentially self-adjoint? What about the potential $V(x,y)=x^4+y^4-\lambda x^2y^2$?
Suppose I consider the operator
$$
-\Delta+V$$
for some potential $V(x)$ for $(x,y)\in\mathbb{R}^2$, as the closure of the corresponding operator on smooth compactly supported functions. If I assume ...
- 223
2
votes
0
answers
269
views
Implicit Function Theorem, parametrized - how can we get uniform domains? (from math.se)
(This question is a duplicate from here)
Consider a family of continously differentiable functions $F_r\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ (where $r\in[0,1]$). For every parameter $r$, we ...
- 141
2
votes
0
answers
218
views
Existence of solutions to time-dependent Schrödinger equations
I would like to know what is known about evolution equations of the form
$$iy'(t)=H_0y(x,t)+u(t)V(x)y(x,t)$$
and $y(0)=y_0 \in D(H_0)$
where
$V$ is not a bounded operator, but an unbounded one, $u \...
- 173
2
votes
0
answers
192
views
Generalize upper semicontinuous regularization using Borel Hierachy
Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
...
- 623
2
votes
0
answers
115
views
Mean value of a map into Banach space
Let $(X,\mu)$ be a measure space with $\mu(X)<\infty$. Let $(Y,\|\cdot\|)$ be a Banach space. Given a Bochner integrable map $f:X\to Y$ with $\|f\| \in L^2(X,\mu)$. The mean value of $f$ over $X$, ...
- 169
2
votes
0
answers
143
views
About a property of bounded closed convex set
Terminology:
For a bounded closed convex (bcc for short) set $A$, define $w(A)$ to be the infimum of the distance between pairs of
parallel hyperplanes supporting $A$.
We say that a bcc ...
2
votes
0
answers
73
views
A question on groupoids and measurable fields of Hilbert spaces
Suppose that we have the following data:
$ \mathcal{G} $ is a locally compact Hausdorff groupoid, with its source and
range maps denoted by $ s $ and $ r $ respectively.
$ (\lambda^{x})_{x \in \...
- 1,396
2
votes
0
answers
227
views
degree theory argument in elliptic pde; apparent contradiction
i have a question regarding a degree theory argument and an apparent contradiction. Let me point out that I am a complete novice with degree theory and really i am just pushing some symbols with no ...
- 1,385
2
votes
0
answers
195
views
A question regarding mollifiers on Sobolev spaces on closed manifolds
Let $M$ be a closed Riemannian manifold and denote by $H^s(M), \, s\in \mathbb{R} $ the standard Sobolev spaces on $M$ defined using powers of $1+\triangle$. Let $J_n: \mathcal{D}'(M)\rightarrow \...
- 577
2
votes
0
answers
234
views
Does the reciprocal of a polynomial define a tempered distribution when it is locally integrable?
Consider a complex polynomial in $n$ variables $z=(z_1,\dots,z_n)$:
\begin{equation}
P(z)=\sum_{|\alpha| \leq N} c_{\alpha} z^{\alpha},
\end{equation}
where as usual for every $\alpha=(\alpha_1,\dots,\...
- 652
2
votes
0
answers
115
views
Does this Sobolev-space like construction have a name?
Take $\Omega \subset \mathbb{R}^n$ arbitrary then define as $X$ the closure of $C^1(\Omega) \cap W^{1,1}(\Omega)$ w.r.t. the norm $f \mapsto \left\lVert f \right\rVert_{\infty} + \left\lVert \nabla f \...
- 305
2
votes
0
answers
341
views
Trace class operators convergent series
On wikipedia it is mentioned that if we are on some (separable) Hilbert space $H$ and there is an ONB $(e_n)$ such that any compact operator $K$ can be written as
$$ K = \sum_{n,m =0}^{\infty} K_{n,m}...
- 305
2
votes
1
answer
606
views
Strong convergence of differential quotient in $L^2(0,T;V^*)$
I have got a problem regarding the weak differentiability of Bochner-integrable functions. Let $(V,H,V^*)$ be a Gelfand-triple and
\begin{align*}
w \in W(0,T) := \{w\in L^2(0,T;V) ~\vert~ \exists w' \...
- 187
2
votes
0
answers
451
views
Separable $\sigma$-unital sub-$C^*$-Algebras
Let $A$ be a $\mathbb{Z}_2$-graded $C^*$-Algebra. Then we can take the direct limit
$$
colim_{A_\sigma} KK_*(\mathbb{C}, A_\sigma)
$$
over all $\sigma$-unital graded $C^*$-sub-algebras $A_\sigma \...
- 21
2
votes
0
answers
133
views
A Sobolev type inequality
Does there exist a constant $C >0$ such that
$$\int_{\mathbb R^2} |\nabla w(x)|^2 dx + \int_{\mathbb R^2} w(x)^2\frac{1}{1+|x|^2} dx \geq C \left(\int_{\mathbb R^2} w(x)^6 dx\right)^{\frac 13},$$
...
- 379
2
votes
0
answers
139
views
Existence of solution of a variational inequality
Let $K\subseteq \mathbb{R} ^n$ be closed and convex, and let $F:K \to \mathbb R^n $ be a continuous function. If for every $x,y \in K$ we have $$(x-y)^T(F(x)-F(y))\ge \alpha ||x-y||^2 \, ;\quad \...
- 21
2
votes
0
answers
140
views
Question on the differentiability of the solution mapping in the obstacle problem
I'm looking for a reference for the following. Take the obstacle problem:
$$\int_\Omega \nabla u \nabla (v-u) \leq \int_\Omega f(v-u)$$
for a function $u \in K:=\{v \in H^1_0(\Omega) : v \geq \varphi\}...
- 73
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
2
votes
0
answers
67
views
Measurability / Integrability of a monotone transformation of random variables
I am trying to wrap my head around the following statement, which involves a monotone transformation of random variables.
Let $n\in\mathbb{N}$ be fix and $\{A_{i}\}_{i=1,\ldots,n}$ a family of non-...
- 169
2
votes
0
answers
75
views
Prove that a solution of a semilinear elliptic equation is Hölder continuous
For all $x$ in the ball $B_R(0) \subset \mathbb{R}^2$, I have the equation $$\Delta u=f(u)$$ with the boundary condition $u(|x|=R)=1$. Suppose $0\leq u \leq 1$ and $u \in W^{1,2}$. If $f$ is "nice ...
- 54
2
votes
0
answers
97
views
essential self-adjointess for operators that can be factorized as $TT^*$
Let $X,Y$ be Hilbert spaces, $D$ be a dense subspace of $X$, $T:D\to Y$ be a linear operator, $\tilde{D}:=T(D)$. Assume $T^*T:D\to X$ to be essentially self-adjoint and the generated semigroup $(e^{-...
- 3,388
2
votes
0
answers
127
views
Functional inequality under mean curvature flow
Let $\Sigma$ be a hypersurface in $\mathbb R^n$ and $\Sigma_t$ be a variation of $\Sigma$ under the mean curvature flow under an extra condition that ${\rm vol}_{n-1}(\Sigma)={\rm vol}_{n-1}(\Sigma_t)$...
- 143
2
votes
0
answers
141
views
Quotients in complex interpolation of Banach spaces
Let $(X_0,X_1)$ be an admissible pair of complex Banach spaces with $X_0$ continuously embedded in $X_1$. For $0<\theta<1$, let us denote by $X_\theta =(X_0,X_1)_\theta$ the complex ...
- 4,461
2
votes
0
answers
111
views
proving that $\mathcal{A}_\infty(X)$ is or is not norm-closed in $\mathcal{L}(X)$ for each Banach space $X$
Fix any $1\leq p\leq\infty$. If $X$ is a Banach space and $C\in(0,\infty)$, we say that $T\in\mathcal{A}_C(X)$ whenever, for each $(x_n)_{n=1}^\infty\subset B_X$ (where $B_X$ is the closed unit ball ...
- 1,591
2
votes
0
answers
148
views
Is the following inequality true for the norm of Moore-Penrose pseudoinverses?
Let $L$ be a real, positive semi-definite, symmetric, square matrix, with pseudoinverse $L^{+}$. It can be shown for the operator norms $||.||_{op}$ that: if $L$ is invertible and $||I - L||_{op} < ...
- 1,467
2
votes
0
answers
186
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171
2
votes
0
answers
64
views
The continuity of $L^2$ gradient on moving domain
I post this on MSE too. Sorry for this short cross posting. But I stuck in this problem for a while... I don't know what the right tool should be used to handle the moving domain problem...
Let $I:=(...
- 679
2
votes
0
answers
125
views
Imbedding Theorems between Besov Spaces and space of continuos functions on the unit circle
I'll try to be brief.
Let us consider the Besov Space $B^{1/p}_{p, p}(\mathbb{T})$, where $1\leq p<\infty $ and $\mathbb{T}$ is the unit circle in the complex plane. I would like to know for which ...
- 141
2
votes
0
answers
363
views
Inverse and implicit function theorems with domain
I have seen an author use the Implicit Function Theorem for a map whose second partial derivative has a bounded inverse, but is unbounded. The map itself is not defined on an open set, but only on a ...
- 14.4k
2
votes
0
answers
235
views
The Cauchy problem associated with $u_t^\epsilon + H(x,t,u^\epsilon,\nabla u^\epsilon) = \epsilon\Delta u^\epsilon$
Consider the initial value problem $$\begin{cases} u_t^\epsilon + H(x,t,u^\epsilon,\nabla_x u^\epsilon) = \epsilon\Delta_x u^\epsilon & \text{ in } \mathbb{R}^n \times (0,\infty)\\ u^\epsilon = g &...
user81051
2
votes
0
answers
183
views
Are there any improvements on the estimate of oscillatory integral with one-side folds?
Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the ...
- 171
2
votes
0
answers
77
views
When do finite dimensional approximations approximate the spectral absicssa of a linear operator?
I apologize if the following is trivial for experts in the field. If so, please feel free to refer me instead to any proper references.
I would like to compute the spectrum of a known non-normal, ...
- 121
2
votes
0
answers
224
views
Inner amenability
There is a well-known result of Rosenblatt that if $G$ is non-amenable discrete group acting on the space $X$ and a stabilizer of each point $x\in X$ is amenable then the action of $G$ on itself is ...
- 631
2
votes
0
answers
85
views
There is an analogous to the inerpolation theorem of Aronszajn-Gagliardo for multilinear operators in Banach spaces?
The Aronszajn-Gagliardo theorem states that on the category $\mathcal B$ of Banach spaces, given $A$ an interpolation space with respect to the couple $\overline A$ there exists an exact interpolation ...
- 71
2
votes
0
answers
110
views
Boltzmann equation and the meaning of the marginals
I have a question related to the boltzmann equation and the meaning
of the marginals.
Let me first introdiuce the model and notation :
(see for example https://arxiv.org/abs/1208.5753)
We study ...
- 4,361
2
votes
0
answers
178
views
are these norms equivalent?
If it is known that $\sum_{i,j=1}^{n}a_{ij}\xi_i\xi_j\geq \alpha^2|\xi|^2$, where $\xi=(\xi_1,\xi_2,...,\xi_n)\in\mathbb{R}^n$ then can it be said that $\sum_{i,j=1}^{n}a_{ij}\frac{\partial u}{\...
- 157
2
votes
0
answers
111
views
Ultrapowers of $c_0(\ell_1)$ and $\ell_1(c_0)$
I would like to know if there exist an explicit decription of ultrapowers of $c_0(\ell_1)$ and $\ell_1(c_0)$. The best option would be -- "they are complemented subspaces of $C(K, L_1(\mu))$ and $L_1(\...
- 1,697
2
votes
0
answers
183
views
Fourier series and regular distribution
Assume you have a distribution $K$ on $\mathbb{T}$, the torus, such that $\sum_{n=-\infty}^{\infty} |K(e_n)|^2$ is finite, where $e_n := e^{in\cdot}$ are the Fourier basis. Does this imply that the ...
- 95
2
votes
0
answers
184
views
Properties of the optimal decomposition for the $K$-functional between $\ell_1$ and $\ell_2$
Background: For any fixed $t> 0$, the $K$-functional defines a norm on the space $\ell_1+\ell_2$:
$$
\lVert a\rVert_{K(t)} = \inf\{\lVert a'\rVert_1+ t\lVert a''\rVert_2 : a'\in\ell_1,\ a''\in\...
- 1,372
2
votes
0
answers
207
views
Smoothing properties of analytic semigroups
Assume $A$ is a second order operator, generator of a positive analytic semigroup on the $L^p$-spaces with $p\in (1,\infty)$ and domain $D(A_p)=W^{2,p}$. Do we have regularity estimates
$\|T_p(t)f\|_{...
- 21
2
votes
0
answers
60
views
A question about Kolmogorov Superpositions
D.A. Sprecher showed (https://www.researchgate.net/profile/David_Sprecher2/publication/243052898_A_Representation_Theorem_for_Continuous_Functions_of_Several_Variables/links/554929f20cf2ebfd8e3ad956....
- 371
2
votes
0
answers
132
views
Wiener-Ikehara Theorem and Signal Processing
I am trying to understand the Wiener-Ikehara Tauberian theorem which can be a step to understanding the prime number theorem. Let
$$ \hat{a}(s) = \int_0^\infty e^{-us}\, da(u) $$
with $a(u)$ some ...
- 22.8k
2
votes
0
answers
106
views
Type-cotype inequalities for arbitrary orthonormal systems
Let $X$ be a B-convex Banach space and let $v^1 = (v^1_1,…,v^1_n), …, v^n = (v^n_1,…,v^n_n)$ be an orthonormal basis of $\mathbb{R}^n$. My question is what one can say about $\left( \sum_i \Vert \...
- 1,163
2
votes
0
answers
116
views
The composition of a dissipative operator and a positive operator is dissipative?
Consider the following bilinear system on a open and bounded domain $\Omega$
\begin{equation}
\left\{\begin{array}{r c l}
\displaystyle\frac{dy(t)}{dt} &=& Ay(t)+u(t)By(t)\\
y(0) &...
- 23
2
votes
0
answers
197
views
The uses of the polar topology in topological vector spaces
The polar topology originates from the $S$-topology and is used in duality pairs. Due to the connection between the original topology and the weak topology, we can rephrase the original topology in ...
- 135