**5.329 fa.functional-analysis questions.**

In this great question by Nathaniel Johnston, and in its answers, we can learn the following remarkable inequality: For all $v,w \in \mathbb{R}^n$ we have
\begin{align*}
\|v^2\| \, \|w^2\| - \langle ...

Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far:
1. There exists a density defined ...

Let $B$ be a Banach space, and $V$ a topological vector space with topology induced by some translation-invariant metric $d$, equipped with a continuous linear map $p: B \to V$ with dense image. ...

The Sobolev embedding $H_{0, rad}^{1}(\Omega) \hookrightarrow L^{p+1}(\Omega)$ is compact for all $p>1$ where $\Omega= \{x\in \mathbb R^N: 0<a<|x|<b\}.$
Is it possible to determine the ...

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a continuous differentiable function such that $f \mid_{\mathbb{N}}$ takes integer values infinitely many times. For a fixed $n \in \mathbb{N}$, let $f_{n}...

Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...

I am looking for the following statement.
Let $X$ be a topological space and let $\mu$, $\nu$ be Radon-Borel measures in the same measure class i.e. the the zero-sets are identical. Denote then by $...

Let $p,q \in (1,\infty)$ with $p\neq q$. Are the Banach spaces $L^p(\mathbb{R})$, $L^q(\mathbb{R})$ isomorphic?

Let $X$ be a separable Banach space. Is the strong operator topology metrizable on $B(X)$, the space of all bounded operators on $X$?
SOT-$\lim T_i=0~$ if and only if $~\lim \|T_ix\|=0$ for every $x\...

I have a question about density. It's probably trivial but I am just learning functional analysis so nothing is trivial to me. Here is my question. Let
$$
\mathcal{X}\colon=\mathcal{H}^1(0,1;\mathbb{...

I am studying the following functional defined on $W^{1,2}(\Omega)$:
$$
F(u)=\int_{\Omega}(\alpha+|\nabla u|)^2 \ dxdy ,
$$
where $\Omega$ is a Lipschitz bounded open set of $\mathbb{R}^{2}$, $\alpha$...

A Funk transform is a certain invertible linear transformation on the space of square-integrable functions on $S^2$. I think its domain can be extended to include densities supported on embedded ...

$A$ is an infinite dimensional C$^*$-algebra and $J\subset A$ is a closed right ideal. $A$ and $J$ are infinite dimensional(as a vector space). I want to find an infinite dimensional C$^*$-algebra ...

Let $V$ be a topological $k$-vector space.
Let $V^{\star}$ denote the space of all linear functionals $V \rightarrow k$ and $V' \subset V^{\star}$ the subspace of all continuous linear functionals.
...

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...

Currently looking for a good functional analysis, which contains : the open mapping theorem and applications.

Heuristically what does Alberti's rank-one property imply about the structure of a BV vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the field lines of $\boldsymbol{b}$ are all "...

For a locally compact Hausdorff space $K$, we denote by $C_0(K)$ the Banach space of continuous functions from $K$ to $\mathbb R$ which vanish at infinity equipped with the usual supremum norm.
For ...

Let $N$ be a type ${\rm II}$ factor, with trace $\tau$. Consider its fundamental group$$ \mathcal{F}(N)= \{ \tau(p)/\tau(q) \ | \ p,q \text{ non-zero finite projections in } N \text{ and } pNp \simeq ...

Let $\Gamma$ be a smooth hypersurface in $\mathbb{R}^n$. We can define the fractional Sobolev space
$$X = \{ u \in L^2(\Gamma) \mid |u|_X^2 := \int_\Gamma \int_\Gamma \frac{|u(x)-u(y)|^2}{|x-y|^{n+1}} ...

I would like to ask the following problem.
Let $\Omega$ be a $C^{r+1,\alpha}$ domain, $r\in \mathbb{N}, 0<\alpha<1.$ We denote $$C^{r,\alpha}_{0}(\overline{\Omega})=\{f\in C^{r,\alpha}(\...

Consider a two dimension Brownian motion $(X_t,Y_t)$ and we can consider Levy's area as $\int_0^t X_sdY_s-\int_0^t Y_sdX_s$. Is there a equivalent area for N dimensional Brownian motion, if so what ...

Let $\Omega= \{(x,y) : \frac{1}{2} \leq x^2+y^2 \leq 1\}$ and $S = \{(x,y) : x^2+y^2 = 1\}$ the unit circle, and $X=w^{1.\infty}(\Omega;\mathbb{R})$ the space of Lipschitz valued functions. We denote ...

I am interested in sufficient criteria which ensure that a subset $X$ of a Hilbert space $\mathcal{H}$ is a Lipschitz (or at least uniformly continuous) retract of $\mathcal{H}$.
Under which ...

Please forgive me for my inability to pose a mathematics question properly.
In one dimension the eigenfunctions of Laplacian (simply double derivative) are also eigenfunctions of its square root (...

Corollary 9 in here (page 31) states that a proper convex function $g:Y\rightarrow \mathbb{R}\cup\{\infty\}$ (not necessarily continuous) on a locally convex space $Y$ is subdifferentiable on a point $...

The space $( \ell^2 ,\lVert \cdot \rVert _2 )$ is a Hilbert space. The space
$X=(\ell^2 \oplus \ell^2 , \lVert \cdot \rVert_\infty )$ is a Banach space. Does X have fixed point property? (For any ...

We know that for a family of first-order self adjoint elliptic (Fredholm) operator $A_t$, for $t\in [0,1]$ we have the formula
$$\eta(A_1)-\eta(A_0)=spfl(A_t)_{t\in[0,1]}+\int^1_0 \omega(s)ds,$$
where ...

Definition:A linear map $f:\mathbb C^n\to \mathbb C^n$ is called positive if $\langle fa,a\rangle\ge0$ for all $a\in \mathbb C^n$. Equivalently, $f\in M_{n}(\mathbb C)$ is positive if it can be ...

When dealing with time-dependent PDEs, one often obtain that some quantity $E(t,x)$ belongs to a Lebesgue space $L^p_t(L^q_y)$, which means that
$$\int_0^{+\infty}\|E(t,\cdot)\|_{L^q(\mathbb{R}^n)}^p ...

Consider the following setup. Let $K$ be a compact topological space, $X$ a FrÃ©chet space and $T:K \times X \to X$ a continuous family of linear maps (i.e. $T$ is a continuous map and $T_k \equiv T(k, ...

I've been looking at the 2014 edition of Da Prato & Zabcyzk and the sections on predictable processes. In particular, in their Proposition 3.7 (ii), they assert that if $\Phi$ is adapted and ...

Denote the standard Gaussian probability measure on $\mathbb R^n$ by $\gamma$. We partition $\mathbb R^n$ into two sets $A$ and $A^c$ such that $\gamma(A) = \gamma(A^c) = 1/2$.
Denote by $\gamma_{A}$...

I was lately curious about an iterative approach that would solve maths equations containing composed real functions with contraints.
For example, if I have the following equation:
$$ f(g(h(w))) = 0 ...

Let $M$ a two-dimensional compact manifold and $f:M\to M$ a diffeomorphism $C^r$, $r\geq 2$ and $f(x,y)=(mx,\lambda y)$ where $m:M\to \mathbb{R}$ and $\lambda:M\to \mathbb{R}$ ,$\lambda<1<m$.
...

Let $N$ be a ${\rm II}_1$ factor. A maximal abelian self-adjoint subalgebra (MASA) is a $*$-subalgebra $A \subset N$ such that $A' \cap N = A$. It is called a Cartan subalgebra if moreover $\mathcal{N}...

My question is to find the minimum of the following expression:
$$A(x,y) = \sum_{1\leq i<j\leq n} |x_i-x_j|\ |y_i-y_j|,$$
over the set of pairs of real vectors $x=(x_1,\dots,x_n),y=(y_1,\dots,y_n)$ ...

The Gelfand-Naimark theorem establishes that a complex commutative Banach algebra $A$ with an identity and an involution $x\to x^*$ satisfying $\|x x^*\|=\|x\|^2$ is (isometrically isomorphic to) a $C(...

I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...

Let $F$ be an infinite-dimensional complex Hilbert space and $\mathcal{B}(F)$ be the algebra of all bounded linear operators on $F$. For $S=(S_1,S_2,\cdots, S_n)\in \mathcal{B}(F)^n$, we consider
$$W(...

Consider the 2-Wasserstein distance between probability measures $\mu$ and $\nu$ (on $\mathbb{R}^d$), defined as
$$
d_{W_2}(\mu,\nu) = \inf_{\gamma} \Big[\int \|x-y\|^2 d\gamma(x,y)\Big]^{1/2}
$$
...

Let $f:\mathbb{R^2}\mapsto\mathbb{R}$ be continuous and have partial derivatives in $D=\{(x,y):x^2+y^2\leq1\}$, and let $\mathscr{H}$ the set of such functions for which $\sup_D |f|\leq1$.
Could ...

Given Banach spaces $X$, $Y$ and a bounded operator $T:X\to Y$ with non-closed range, a perturbation argument shows that there exists an infinite-dimensional closed subspace $M$ of $X$ such that the ...

In a von Neumann algebra, if $A_{\alpha}$ converges to $0$ in the $\sigma$-weak topology, do the positive parts $(A_{\alpha})_{+}$ necessarily converge to $0$ in the $\sigma$-weak topology?

My question is about the following compact embedding:
\begin{equation}
C^{\sigma+2, \sigma/2+1}_{x, t}(Q_T)\hookrightarrow C^{\sigma, \sigma/2}_{x, t}(Q_T).
\end{equation}
what condition should be put ...

I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...

It seems that the following claim is true, but I did not manage to prove it neither to find a reference.
Claim Let $f:\mathbb R^p\to\mathbb R$ be a three times differentiable function such that its ...

Fix an interval $[a,b]$. Is it true that for every table of interpolating nodes $\{x_{0,n},x_{1,n}...,x_{n,n}\}_{n=1}^{\infty}$, there exists a continuous function $f:[a,b]\to (0,\infty)$ such that ...

Let us say that a (signed, finite) measure $\mu$ is separable if $L_1(|\mu|)$ is a separable Banach space.
EDIT: Suppose that $G$ is a locally compact group such that each measure on $G$ is ...

Suppose $f$ and $g$ are bounded functions, having whatever niceness properties you want, on some space of finite measure. Assume they are normalized so that $\int |f|^2=\int|g|^2=1$. I am looking for ...

- ap.analysis-of-pdes
- banach-spaces
- real-analysis
- reference-request
- operator-theory
- oa.operator-algebras
- sobolev-spaces
- measure-theory
- pr.probability
- ca.classical-analysis-and-odes
- gn.general-topology
- harmonic-analysis
- hilbert-spaces
- fourier-analysis
- dg.differential-geometry
- sp.spectral-theory
- linear-algebra
- c-star-algebras
- banach-algebras
- cv.complex-variables
- mp.mathematical-physics
- schwartz-distributions
- topological-vector-spaces
- elliptic-pde
- differential-equations