All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
1
vote
1
answer
178
views
Growth assumption and example of finite (arbitrarily small) time blow up for ODE
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 1,277
9
votes
2
answers
907
views
When is a mapping the proximity operator of some convex function?
Is there a characterization of mappings $p : \mathbb R^n \rightarrow \mathbb R^n$ which are proximity operators (in the sense of Moreau) of l.s.c (extended) real-valued functions ?
That is, given $p : ...
- 56
1
vote
0
answers
107
views
Level sets of a BV function and its derivative
Given $u \in BV(\Omega; \mathbb{R}^M)$, where $\Omega \subset \mathbb{R}^N$, what is the relationship between its level sets and its distributional derivative $Db$?
More specifically, does Alberti ...
- 839
4
votes
1
answer
365
views
Lusin Lipschitz approximation in BV and Sobolev space
Theorem 5.34 in Functions of bounded variation by L. Ambrosio, N. Fusco and D. Pallara states that
Let $u \in [BV(\mathbb{R}^N)]^m$. Then there exists a constant $\kappa>0$ such that for every $...
- 839
5
votes
1
answer
301
views
Unbounded Component of the Fredholm Domain
Let $X$ be a Banach space and $T \in \mathcal L(X)$.
The authors Engel and Nagel introduce in their book "One-Parameter Semigroups for Linear Evolution Equations" on p. 248 the concept of the ...
- 4,461
2
votes
0
answers
165
views
Jacobian and Jacobian matrix of solutions of ODE with Sobolev vector field
Let $\Phi$ be the Lagrangian flow (defined as in page 6 of this paper) of the ODE
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}^N
\end{...
CommunityBot
- 1
5
votes
4
answers
839
views
Norm bounds on spectral variation and eigenvalue variation
Let $A$ and $B$ be two matrices of eigenvalues $\lambda_i$ and $\mu_i$, respectively.
The spectral variation of $B$ w.r.t. $A$ and the eigenvalue variation of $B$ and $A$ are, respectively,
\begin{...
- 4,729
2
votes
0
answers
199
views
Convergence of the difference quotient of a BV function
Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
What can be said about the difference quotient
$$
\frac{u(x+\epsilon y)-u(x)}{\epsilon}
$$
regarding its convergence as $\epsilon \to 0$...
- 839
1
vote
0
answers
47
views
Consistency of the definition of total variation for functions of one or several variables
Where can I find a proof that the definition of total variation for functions of several variables is consistent with the definition of total variation for functions of one variable?
- 839
12
votes
2
answers
2k
views
Reference on Minty's trick
I am searching for a precise reference for the following result:
Consider $f:\mathbb{R}_+\rightarrow\mathbb{R}_+$ a nondecreasing function.
Assume that a sequence of nonnegative functions $(u_n)_n$ ...
CommunityBot
- 1
5
votes
1
answer
500
views
Hausdorff dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the Hausdorff dimension of the graph of $u$ equal to $N$? How can we prove it?
Update.
In an answer to this post, it ...
- 839
33
votes
3
answers
3k
views
Reference request for translating from Top to C*-alg
Some recent questions on MO (for example, Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?) have been about Gelfand duality — namely, that the categories of ...
- 1,363
2
votes
1
answer
145
views
Difference of two probability measures modulo a third
Given three probability measures on $N$ elements (so $\mu_0, \mu_1,\mu_2 \in \ell^1_N$), I need to define the difference of $\mu_1$ and $\mu_2$ "modulo" $\mu_0$ as
$$
\sup \bigg\{ \int f \,\mathrm{d}(...
- 17k
4
votes
0
answers
111
views
A reference for $\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u$
Let $\Omega$ be an open domain with nice boundary and $u\in W^{1,p}(\Omega)$. I believe that $|u|^p\in W^{1,1}$ with
$$
\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u
$$
but couldn't find a good ...
- 1,245
6
votes
1
answer
2k
views
Kullback Leibler "variance": does that divergence have a name?
If you consider two probability distributions $p$ and $q$, one way to measure the distance between the two is the Kullback-Leibler divergence:
$$KL(p,q)=\int p \log (p/q) = E_p(\log p/q)$$
and this ...
- 1
1
vote
1
answer
247
views
Equivalent notion of approximate differentiability
Is it true that the definition of approximate differentiability presented here of a function $f: \mathbb{R}^N \to \mathbb{R}$ is equivalent to the following one?
$$\lim_{r \to 0} \rlap{-}\!\!\int_{...
- 1,277
0
votes
3
answers
501
views
The completion of $F/\text{Ker}(M)$ is isomorphic to the closure of the range of $M$
Let $M$ be a positive semidefinite operator on a complex Hilbert space $(F,(\cdot,\cdot))$.
On the quotient space $F/\text{Ker}(M)$ we have the following inner product
$$\langle \overline{x},\...
- 16.4k
6
votes
1
answer
260
views
Do analytic functionals form a cosheaf?
Let $X$ be a complex-analytic manifold.
Consider the sheaf of holomorphic functions $\mathcal{O}_X$ as a sheaf with values in the category of locally convex vector spaces. For $U\subseteq X$ open, we ...
- 2,472
4
votes
0
answers
91
views
Sharp asymptotic behavior of the metric entropy for the unit ball in Besov space
For $s>0$ and $1 \leq p,q \leq \infty$ let $B^s_{p,q}$ be the Besov space defined on $[0,1]^d$, and assume $ s > d( \frac 1 p - \frac 1 2)_+$, such that $B^s_{p,q}$ is compactly embedded in $L^2(...
- 4,713
0
votes
0
answers
56
views
linear functions/hyperplanes vs. convex functions/convex sets in Hilbert space
The simplest Hahn-Banach extension theorem in Hilbert space $X$ avoids the use of the axiom of choice by virtue of the Riesz representation theorem. But what about the version of the theorem where the ...
- 1,461
12
votes
3
answers
881
views
Bibliographic request concerning an article by Bernstein and Robinson
Concerning the article "Bernstein, Allen R.; Robinson, Abraham.
Solution of an invariant subspace problem of K. T. Smith and
P. R. Halmos. Pacific J. Math. 16 1966 421-431" I am interested in
finding ...
- 188k
1
vote
0
answers
198
views
Sobolev embedding in complete manifold
Let $(M,g)$ be a complete Riemannian $m$-manifold, with bounded geometry and $m\geq2$. Suppose that $(M,g)$ admits a bounded geometry.
Q Can we show that for $k-\frac{m}{p}\geq l-\frac{m}{q}$, we ...
- 1,915
4
votes
1
answer
115
views
"Twisted" direct sums of Banach spaces
It is hard to provide motivation, so I just want to state this definition "as is". Suppose I have a Banach space $E$ and two commuting, injective operators $R_0, R_1$ on $E$ which satisfy the ...
- 4,461
5
votes
3
answers
1k
views
Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?
Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain.
How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?
I define $H^{\frac 1 2}(\...
- 28k
6
votes
0
answers
733
views
$f(x) \ne g(x)$ but $f(f(x))=g(g(x))$ - is there a name/some discussion of this property?
In the context of iteration of functions I look at the eigenvalues of the associated matrixoperator/Carleman-matrix .
If a function $\small f(x)$ has a negative eigenvalue in its associated ...
- 2,821
2
votes
1
answer
189
views
Need a reference of a fact given in B. Blackadar's Operator Algebras
I am reading Blackadar's book on Operator algebras. In $\Pi 9.6.5$ Blackader says that
Maximal Tensor products commute with arbitrary limits.
In the same book the proof of this fact is not given....
- 35.5k
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
CommunityBot
- 1
2
votes
0
answers
255
views
Sobolev Multiplication on non-compact manifold
We know that for a compact Riemannian $n$-dim manifold $(M,g)$(the boundary could be nonempty), the Sobolev Multiplication Theorem states that $L^p_k\times L^q_l⟶L^r_m$, where $1/r−m/n>1/p−k/m+1/...
- 1,915
2
votes
0
answers
62
views
Differences among various index theories in critical point theory
Index theories help characterize critical points of functionals having certain symmetries. What are the differences (regarding problems they can be applied to) between for example these ones?
the ...
- 839
2
votes
1
answer
440
views
Can we extract information from signature (rough path theory) to construct part of signal?
This question is related to rough path theory. Consider we have obtained signature obtained from a set discrete data points postulating linear from one data point to another. Such signature are used ...
CommunityBot
- 1
2
votes
1
answer
4k
views
What “mild solution” means, and how to find it?
In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
- 571
0
votes
1
answer
289
views
The definiton of a multiplier on a Banach algebra
Let $A$ be a Banach algebra. Some textbooks define a (left ) multiplier as a map $T:A\rightarrow A$ satisfying $T(ab)=T(a)b$ for all $a,b\in A$ and assume that $A$ needs to be a without order Banach ...
- 18.7k
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
CommunityBot
- 1
13
votes
2
answers
1k
views
Applications of non-separable Hilbert spaces
In applications, Hilbert spaces of interest are often assumed to be separable. In addition to being extremely convenient mathematically, this assumption can often be justified on computational or ...
- 407
1
vote
0
answers
147
views
Property of Fixed Point Function
Given an operator $\mathcal{T}$ that maps from a function $f: \mathbb{R}^d\rightarrow \mathbb{R}$ to another function $f': \mathbb{R}^d\rightarrow \mathbb{R}$, we are interested in the fixed point $f^*...
- 1,127
2
votes
0
answers
164
views
Convergence of Eigenvalues and Eigenvectors for Uniformly Form-Bounded Operators
Suppose that $A$ is an operator on a dense domain $D(A)\subset L^2$ with compact resolvent, and with quadratic form $q(f,g):=\langle f,Ag\rangle$.
Let $(r_n)_{n\in\mathbb N}$ be a sequence of ...
- 891
1
vote
1
answer
176
views
Reference on vector-valued convex conjugate
The following definition of convex conjugate is taken from Wiki:
Let $X$ be a real topological vector space, and let $X^*$ be the dual space to $X.$
Denote the dual pairing by
$$\langle \cdot ,...
- 12.7k
17
votes
1
answer
861
views
Extreme points of convex compact sets
Preparing to a lecture on Krein--Milman theorem I read in W. Rudin's Functional analysis textbook (1973) that it is unknown whether any convex compact set in any topological vector space has an ...
- 63.9k
1
vote
0
answers
58
views
Extension of a result about measurable, additive functionals
Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$.
Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...
- 869
-1
votes
1
answer
346
views
Riesz representation theorem for Hilbert-to-Hilbert mappings [closed]
Assume $\phi:\mathbb{H}_1\rightarrow \mathbb{H}_2$ is a continuous linear mapping between two real Hilbert spaces $\mathbb{H}_1$ and $\mathbb{H}_2$. If $\mathbb{H}_2=\mathbb{R}$, then the Riesz ...
- 2,472
3
votes
3
answers
488
views
Sum of subspaces is closed iff inclination is positive
It is a well-known result in functional analysis that the sum $M+N$ of two subspaces of a Banach space with $M\cap N=0$ is closed if and only if the inclination
$$\widehat{(M,N)} := \inf_{x\in M, \|x\|...
- 799
4
votes
1
answer
322
views
compact embedding for Sobolev spaces
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 ...
CommunityBot
- 1
2
votes
1
answer
543
views
Approximation of the radon-derivative
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 $...
CommunityBot
- 1
3
votes
0
answers
142
views
eta invariant and spectral flow
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 ...
- 1,915
10
votes
1
answer
915
views
Density-$c_0$ in $\ell^\infty$
Let $A \subseteq \mathbb{N}$, define the upper density of $A$ as,
$$
\overline{\delta}(A) := \limsup_{N\to\infty}\frac{|A\cap\{1,2,3,\cdots,N\}|}{N}.
$$
This naturally leads to a weaker form of ...
- 4,713
2
votes
0
answers
219
views
Integral with product of two infinite sums
I am looking for references and results on integrals with product of two infinite sums:
$$S_1=\int_0^{\infty} \sum_{n=0}^{\infty} f(nx) \sum_{k=0}^{\infty} \overline{ g(kx)} dx$$
Above integral is ...
- 1,199
5
votes
1
answer
386
views
Lower semi-continuity of the Hellinger-Fisher-Rao distance
I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
H^2(\rho,\mu)=\int_{\Omega}\left|\sqrt{\frac{d\rho}{d\lambda}}-\sqrt{\frac{d\mu}{d\...
- 1,027
2
votes
1
answer
69
views
Lyapunov-type function in a non locally-compact space and boundedness of the average
Set-up and question.
Let $\mathcal{X}$ be a complete separable metric space which is not locally-compact. Let $V: \mathcal{X} \to [0; +\infty]$ be a function and $(X_t)_{t\geq 0}$ a Markov process in $...
- 128k
5
votes
3
answers
1k
views
Decay estimate for the heat equation: $\sup_{t>0}\int_{\mathbb{R}} t^\alpha |u_x|^2\ dx$
Let $u$ be a solution of the heat equation $$u_t - u_{xx} = 0, \quad t>0, x \in \mathbb{R}$$
with initial data $u(0,\cdot) = u_0$.
Fix $\alpha >0$. How can I estimate (without using explicitly ...
