All Questions
10,448 questions
0
votes
1
answer
302
views
An interpolation inequality.
For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...
- 45
2
votes
0
answers
126
views
Is $\text{Bow}(X,T)$ a Banach Space?
Let $X=\{0,1\}^{\mathbb{N}}$ be the sequence space and $T:X\to X$ the left shift mapping. Define the vector space $\text{Bow}(X,T)$ as
$$
\text{Bow}(X,T)=\{f\in C^{0}(X);~\sup_{n\in \mathbb{N}}\sup_{...
user11178
5
votes
1
answer
1k
views
Orthogonal complements in Hilbert bundles
It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle.
What is known about the ...
- 8,803
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 3,245
1
vote
0
answers
70
views
Equivalence of two definitions of weak solution (subtlety with null sets)
Consider
$$y_t - \Delta y = f$$
$$y(0) = y_0$$
with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions:
We have $y \in L^...
- 266
3
votes
1
answer
394
views
Topological weak mixing and $\omega$-linearly-independent sequences generated by composition operators
A research problem on which I am currently working requires a construction in topological dynamics of the following type:
Let $T \colon X \to X$ be a continuous transformation of a compact metric ...
- 6,206
1
vote
0
answers
75
views
Causal (Volterra type) differential equation with local Lipschitz condition
Consider the equation
$$
u'(t) = (Fu)(t)
$$
where $F \colon L^2(0,T;\mathbb R^n) \to L^2(0,T;\mathbb R^n)$ is a causal (Volterra type)
nonlinear operator. It means that the value of $(Fu)(t_0)$ ...
- 243
2
votes
0
answers
156
views
Epi-convergence to indicator function
Let the indicator function be defined as $$I(x) \triangleq \begin{cases} 1, & \quad x \geq 0 \\ 0, & \quad x < 0 \end{cases}$$ and $I_{\nu}(x) \in [0,1]$ be a continuous approximation of $I(...
1
vote
0
answers
275
views
Regular Borel Measures equivalent definition
Please help me understand how the below definition is equivalent to the standard definition of regularity which says that a measure is regular if for which every measurable set can be approximated ...
- 11
6
votes
0
answers
369
views
Paving conjecture for Toeplitz matrices
Let me first recall what is the so-called paving conjecture:
for any $\epsilon >0$, there exists $r\in \mathbb N$ such that
for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a ...
- 16.2k
1
vote
0
answers
291
views
(DFM) vs (DFS) spaces, Banach scales
This question is related to one I posted before: https://mathoverflow.net/questions/117492/dfm-spaces-and-the-c-infty-topology
According to Dineen (in "Complex Analysis in Locally Convex Spaces",p.15)...
- 11
1
vote
0
answers
96
views
Reference needed for Hilbert-Schmidt result regarding basis of $V \subset H$
I am seeking a reference that says:
If $V \subset H \subset V^*$ is a Gelfand triple with all spaces Hilbert spaces and if $V \subset H$ is a compact embedding, then there is a basis of $V$ which ...
- 107
4
votes
0
answers
130
views
The proximality of low rank function approximation
The paper "Best $n$-Dimensional approximation to sets of functions" by A. L. Brown in 1964 gave a negative answer to the following question:
Q1: Is there for a given integer $n$ always a best ...
- 3,217
3
votes
0
answers
201
views
Degree of a function in $H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$
We can define the degree of a function $f \in H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$ as
$$\mathrm{deg} \hspace{1mm} f = \frac{1}{2\pi i} \int_{\mathbb{S}^1} f^{-1} \frac{\partial f}{\partial \...
- 31
7
votes
0
answers
116
views
Bundles over Function Spaces
Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
- 71
0
votes
0
answers
103
views
The trivility of Besov space for large parameter
For all $s>0$, $1\le p<+\infty$ and $u\in L^p(\mathrm{d}x)$, we define
$$D_{s,p}(u)=\sup_{r>0}\frac{1}{r^{sp+n}}\int_{\mathbb{R}^n}\int_{B(x,r)}|u(y)-u(x)|^p\mathrm{d}y\mathrm{d}x$$
and
$$W^{...
- 369
1
vote
0
answers
134
views
on high order Laplacian
Roughly speaking, we have good understanding of the solution to heat equation $u_t-\Delta u=0$, on bounded or unbounded domain. For example, we know the decay rate, we know it generates analytic ...
- 39
5
votes
0
answers
148
views
Groups of operators between local unitaries and full unitaries
Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
- 6,351
2
votes
1
answer
415
views
Uniqueness of dimension in Banach spaces
Let $\;\;\; \big\langle V,+,\cdot, \;\; ||\cdot|| \;\; \big\rangle \;\;\;$ be a Banach space over the field $\mathbb{K}$, which is either $\mathbb{R}$ or $\mathbb{C}$.
Suppose there exists a subset $...
user5810
6
votes
1
answer
727
views
Is this method of "fractional sums" using a Fourier series viable?
Hi.
I have this idea about developing what I call a "continuum sum", that is, a method to "add up a non-integer number of terms", i.e. to see if there is a "natural" way to assign a meaning to the ...
- 1,687
2
votes
1
answer
178
views
Self-adjointness of a perturbed quantum mechanical Hamiltonian specified in an infinite matrix form
Consider an operator $H$ on the Hilbert space $\ell_2$ given as an infinite matrix with two pieces, one diagonal and one arbitrary:
$H_{ij}=E_i\delta_{ij}+V_{ij}$. This has a physical meaning in ...
- 679
3
votes
1
answer
189
views
Sufficient (and concrete) condition for a function to satisfy some measure theoretic property
I'm interested in the following property, for a positive and locally bounded function $\omega:\mathbb{R}\to\mathbb{R}^d$, $d\ge 1$: there exists a countable sequence of open and pairwise disjoint sets ...
- 381
1
vote
1
answer
559
views
Sum of a Gaussian and an independent second moment constrained random variable
I am studying the (asymptotic) behavior of the p.d.f of the random variable $Y = X + Z$, where $X$ is an r.v. with any distribution function $F(x)$ such that $\int_{-\infty}^{\infty} x^2 \mathrm{d}F(x)...
- 51
6
votes
0
answers
189
views
Pettis Integrability and Laws of Large Numbers
Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...
- 8,512
0
votes
1
answer
622
views
products in the category of banach spaces
Let $\{X_{\alpha} \}_{\alpha \in A}$ be a collection of Banach spaces. It is easy to show that $ P = \{(x_{\alpha}) : {\rm sup}_{\alpha} \|x_{\alpha} \| < \infty \} $ with $\| (x_{\alpha} ) \| = {\...
- 3,830
3
votes
1
answer
801
views
Restriction of a linear functional equation to surface of a sphere
Let $f_i : R \rightarrow R$ and $g_j: R \rightarrow R$ be unknown functions, for $i = 1, \cdots, N$ and $j = 1, \cdots, K$. Let $A$ be a $K \times N$ matrix whose columns are unit-length vectors ${\...
- 93
0
votes
0
answers
335
views
A basis of the space of continuous function of countable ordinals $C(\alpha) = C [0, \alpha]$
A basis of the space of continuous function of countable ordinals $C({\alpha}) = C [0, {\alpha}]$, which consist of characteristics functions of clopen subsets of $C({\alpha})$, in some order. But can ...
- 1
1
vote
1
answer
318
views
Integration by parts wrt. a Morse function on its basin of attraction
Let $f:\mathbb R^n\to\mathbb R$ be a Morse function with uniform nondegenerate Hessian at critical points, i.e. for some $\delta>0$
$$
\forall x \in \{\nabla f=0\}\;\forall \xi\in\mathbb R^n: \quad ...
- 53
4
votes
1
answer
690
views
What does $L^\infty_\varepsilon$ mean?
In Volume 4 of Reed and Simon on page 83 the authors refer to the space $(L^\infty(\mathbb{R}^3))_\varepsilon$,
and later on page 119 they use $L^\\infty_\varepsilon$.
Are these two spaces the same? ...
12
votes
1
answer
468
views
Status of the compact AR problem?
The so-called "compact AR Problem" reads:
Is every compact convex set in a metrizable topological vector space an absolute retract?
It is open according to the chapter by T. Banakh, R. Cauty and ...
- 5,575
6
votes
1
answer
726
views
The "ultimate" indefinite inner product space
This can be considered as a relative of Splitting a space into positive and negative parts.
Is there a real (non-trivial) vector space $V$, endowed with a nondegenerate symmetric bilinear pairing $\...
- 4,060
1
vote
0
answers
84
views
An inequality concerning restricted isometry property
Let $A\in \mathbb{R}^{m\times n}$ be a matrix and let us denote by $A_S$ the submatrix of $A$ with the columns restricted to a set $S\subset [n]:=\{1,2,\cdots, \ n\}$. Then one says that the matrix $A$...
9
votes
0
answers
397
views
Does the algebra of bounded variation functions have a "noncommutative geometric" meaning and generalization?
According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
- 23.4k
2
votes
0
answers
137
views
eigenfunction of schrodinger operators
For a Schrodinger operator $H=\Delta+V$, with very nice potential, such as in Schwartz class, and if $0$ is an eigenvalue, furthermore, there exists a positive eigenfunction associated with 0, then my ...
- 879
2
votes
0
answers
252
views
compact embedding in duals of weighted Sobolev spaces
On the whole space $\mathbb{R}^d$ consider the weight $\omega(x)=\sqrt{1+|x|}$. Under which conditions on $k,q$ is the embedding
$$
L^p(\mathbb{R}^d,\omega(x)dx)\subset\subset (W^{k,q}(\mathbb{R}^d,\...
- 5,380
1
vote
0
answers
294
views
Galerkin method for existence for PDE with nonsymmetric bilinear form
Suppose we have a PDE
$$\langle u', v \rangle + a(u,v) = 0$$
where $a:V\times V \to \mathbb{R}$ is a bounded symmetric bilinear form, then if $u_0 \in V$ then $u \in L^2(0,T; V)$ with $u' \in L^2(0,T;...
- 113
1
vote
0
answers
316
views
"Integration by parts" formula for functionals
We know that for a Hilbert triple $V \subset H \subset V^{'}$, if we have $u, v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V')$
then
$$\frac{d}{dt}(u(t), v(t))_H = u'(t)(v(t)) + v'(t)(u(t))$$
where the $...
- 29
-1
votes
1
answer
128
views
Proving convergence of an integral-differential equation [closed]
I have a second order nonlinear ordinary differential equation which I transformed into an integral-differential equation by multiplying the ODE by $y'$ and integrating.
My question is where can I ...
- 1,594
1
vote
1
answer
269
views
why do we need to specify to symmetric matrix when defining real positive definite matrix? [closed]
The following is from WiKi:
In linear algebra, a symmetric n × n real matrix M is said to be positive definite if zTMz is positive, for all non-zero column vectors z of n real numbers; where zT ...
- 11
4
votes
0
answers
239
views
When separation in $L^1$ is possible?
Let $A$, $B$ be disjoint convex closed subsets of the Banach space $L^1[0,1]$. Assume additionally that $A$ is bounded and $A$, $B$ are closed under convergence in measure. Then there exists a closed ...
- 109k
2
votes
2
answers
411
views
Functional Minimization: When is this heuristic rigorous?
I'm trying to solve a functional minimization problem of the following form:
$$\arg\min_{f:\mathbb{R}\rightarrow [0,1]} h(f)$$
where $h$ is some expression in terms of several integrals over $f$.
I ...
- 21
2
votes
0
answers
190
views
A contradiction to do with continuity? (involves chain rule)
Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE
$$\frac{d}{dt}D^0_t(\cdot) = V(D^...
- 21
2
votes
2
answers
270
views
Homomorphisms preserving constant functions
Assume we have a homomorphism $\phi: C(S^{1},M_{n}(\mathbb{C}))\rightarrow C(S^{1},M_{m}(\mathbb{C}))$ where $n$ divides $m$. Under what conditions does $\phi$ send constant functions to constant ...
- 169
1
vote
0
answers
393
views
Unambiguous "weak" vector valued $L^{+\infty}$ spaces?
For some time, I have been stuck to the problem to be described as follows. The (perhaps not so commonly known) facts given here are taken from R. E. Edwards' Functional Analysis (Holt, Rinehart and ...
- 3,584
2
votes
1
answer
199
views
A Function with Exactly $k$ Minima in a Bounded Space
Is it possible to have a function with the following properties?
(i) The function maps a bounded $n$-dimensional space $\mathcal{X}$ (say $\left[0,1\right]^n$) onto a bounded interval $\mathcal{Y}$ (...
- 23
5
votes
1
answer
666
views
Question regarding divergence
Let $E$ be a closed and convex set of distributions on a finite set $A$. Let $P',Q'\notin E$ and let $P^{\star},Q^{\star}$ be their respective estimates in $E$ with respect to the KL-divergence, i.e.,...
- 779
1
vote
0
answers
122
views
Inverse of matrix of generalised harmonic numbers
For $s=0,1,\dots$ and $n=1,2,\dots$, denote $r_{n,s}=\sum_{k=1}^n k^s$. It is well-known that $r_{n,s}$ are polynomials in $n$ with leading term $\frac{1}{s+1}n^{s+1}$. Let $R_{n,s}$ be the $(s+1)\...
- 959
0
votes
2
answers
168
views
Let f:J→R be an absolutely continuous and f'\in...?
Let $f:J\rightarrow \mathbb{R}$ be an absolutely continuous.
Under what kind of extra condition for $f'$, (not $C$) holds the following relation?
$$
\Big | \frac{1}{|I_{1}|}\int_{I_{1}}f'(x)dx- \...
- 111
1
vote
0
answers
132
views
Matrices with a common Fischer basis
Let $A$ be a real symmetric $n\times n$ matrix, normalized such that $Tr[A]=1$. Define a 'Fischer basis' as the basis in which all diagonal elements are equal to $\frac{1}{n}$. The motivation for ...
- 31
5
votes
0
answers
98
views
The regularity of Dirichlet form in Besov space
Let $C_{0}(\mathbb{R}^n)$ denote the set of continuous functions in $\mathbb{R}^n$ with compact support, $C_0^\infty(\mathbb{R}^n)$ denote the set of infinite differentiable functions in $\mathbb{R}^n$...
- 369