All Questions
3,841 questions with no upvoted or accepted answers
4
votes
0
answers
125
views
Properties of solution to Schrödinger equation
Given a Schrödinger equation with, let's say continuous, periodic potential
$$-y''(x)+V(x)y(x)=\lambda y(x)$$
where $V(x+1)=V(x)$ and $V$ is even, i.e. for $x \in (0,\frac{1}{2})$ we have $V(x+\frac{...
- 501
4
votes
0
answers
84
views
Can a spectral projection fail to preserve a closed invariant subspace of its parent operator?
Let $X$ be a complex Banach space, and let $T:X\longrightarrow X$ be a bounded linear operator. Let $\sigma_1$ and $\sigma_2$ be disjoint compact subsets of $\mathbb{C}$ for which $\sigma_1\cup \...
- 778
4
votes
0
answers
164
views
A modern reference for the "Intermediate Derivatives Theorem"
In the book Non-Homogeneous Boundary Value Problems and Applications I by Lions and Magenes, the Intermediate Derivative Theorem is stated as follows:
Intermediate Derivative Theorem: Let $X\subset ...
- 1,247
4
votes
0
answers
144
views
Embedding of $\ell_2$ in $L^p([0,1])$
Let $(g_n)_{n\geq 1}$ be a sequence of i.i.d. complex Gaussian random variables on $[0,1].$ Then it is easy to see that the map $j:\ell_2\to L^p([0,1])$ defined as $je_n=[E(g_n^p)]^{\frac{1}{p}}g_n,n\...
- 455
4
votes
0
answers
153
views
An Optimization Problem for Exponential Polynomials
Let $\omega$ be a primitive complex $n^{th}$ root of unity. I am interested in the following quantity
$$
\max_{f(n)\leq \ell \leq g(n)} \quad \min_{0<k\leq n-1}
\left| 1+\omega^k+\omega^{2k}+\...
- 10.4k
4
votes
0
answers
263
views
Approximately inner conditional expectations of $II_{1}$ factors
In many contexts it is helpful to think of conditional expectations as averages of unitary conjugates, a standpoint vindicated by many standard techniques in the theory of finite von Neumann algebras. ...
- 7,067
4
votes
0
answers
81
views
Amenable Banach algebras -- homological characterization
Recall from Theorem VII.2.19 of Helemskii's monograph "The homology of Banach and Topological Algebras" that amenability of a Banach algebra $A$ is equivalent to any of the conditions below:
(i) ...
- 375
4
votes
0
answers
242
views
Fefferman's article: Pointwise convergence of Fourier series, II
I have some problems reading Pointwise convergence of Fourier series by Fefferman https://www.jstor.org/stable/1970917
I got stuck in Chapter 6, Lemma 5. In the proof he split the $\mathcal P'$ into ...
- 751
4
votes
0
answers
311
views
Some elementary decay estimates of solutions to the heat equation
Preliminaries: Let $u$ be the solution of the Cauchy problem for the heat equation with initial datum $u_0 \in L^1 \cap L^p$. Then I know that the following estimates hold:
$$\Vert u(t,\cdot)\Vert_{L^...
- 303
4
votes
0
answers
349
views
Fractional integral inequality (Hardy-Littlewood-Sobolev)
I am investigating the following integral
\begin{equation}
I^*(x) = \int_{\mathbb{R}} \frac{f(y) \ln |y-x| }{|y - x|^{\mu}} \, dy
\end{equation}
where $f \in L_p(\mathbb{R})$, $ 1 < p < q <...
4
votes
0
answers
92
views
Simultaneous representations of elements of projective tensor products
Let $E,F$ be Banach spaces and consider the projective tensor product $E \widehat\otimes F$. If $\tau \in E \widehat\otimes F$ with $\|\tau\|<1$ then by definition we can find $(x_n)\subseteq E$ ...
- 18.7k
4
votes
0
answers
70
views
Estimate the composition of a bounded multiplier with a trace class operator
Let $T$ be a trace class operator on $\ell^2 (\mathbb{N})$. Let $A$ be a multiplier on $\ell^2 (\mathbb{N})$ defined by a sequence $a=(a_n)_{n\in\mathbb{N}}$ in $\ell^{\infty} (\mathbb{N})$. That is, ...
- 151
4
votes
0
answers
184
views
Tensor product of bornological spaces and linear functionals
It is easy to see that the dual space of a bornological space $V$ (i.e. the space of bounded linear functionals) may be zero (just take any vector space with the power set as bornology). Hence in ...
- 9,853
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
- 41
4
votes
0
answers
585
views
Dual of the space of all bounded functions, $B(X, \mathbb{R}).$
Let $X$ be a non compact separable metric space. Denote
by $B(X, \mathbb{R})$ the set of all bounded real functions
endowed with the sup norm, this is a Banach space. Denote by
$C_b(X,\mathbb{R})\...
- 757
4
votes
0
answers
140
views
Is there any accepted single-word that means "partial function"?
When I'm explaining things involving partial functions, I usually end up stumbling over my words, like so: "Suppose $f : A \rightarrow B$ is a function, uhh, sorry I mean a partial function, and ...
- 3,793
4
votes
0
answers
123
views
Converse on the rectifiability of products of rectifiable sets
Let $1\leq k\leq m$ and $1\leq l\leq n$ fixed integers, $\mathscr{H}^k$ the $k$ dimensional Hausdorff measure and $E\subset \mathbb{R}^m$. We say that :
(1) $E$ is $k$ rectifiable if there exists $C\...
- 1,616
4
votes
0
answers
361
views
Spectral mapping theorem
Rudin's book contains in chapter 10 a spectral mapping theorem for (self-adjoint) unbounded operators that respects the point-spectrum, in the sense that he shows $f(\sigma_p(T))=\sigma_p(f(T))$ for ...
- 305
4
votes
0
answers
161
views
Sigmoid functions in a particular function set
Define a sigmoid as any bounded, odd, increasing function from $\mathbb{R} \rightarrow \mathbb{R}$, and a pretty sigmoid as a sigmoid which is convex over $\mathbb{R^-}$ and concave over $\mathbb{R^+}....
- 1,902
4
votes
0
answers
298
views
Operator topologies
Let $L(H)$ be the space of bounded operators on some Hilbert space.
We can endow this space with the operator norm topology, the strong operator topology (SOT) and the weak operator topology (WOT).
...
- 41
4
votes
0
answers
119
views
Variability of finite Fourier coefficient with length
This is a restricted question related to the one here.
Consider the unnormalized Fourier coefficients of subsets $D_g$ of $\mathbb Z/n \mathbb Z$, denoted by
$$
\hat1_{D_g}(m,n)=\sum_{d \in {D_g}} e\...
- 10.4k
4
votes
0
answers
128
views
Positive and Negative parts of functions in Schrodinger $U_{\Delta}^{p}$ spaces
Let $H$ be a Hilbert space. For $1<p<\infty$, define the atomic space $U^{p}(\mathbb{R};H)$ as follows. We say that $a(t)$ is a $U^{p}$ atom if $\{t_{k}\}$ is a partition of $\mathbb{R}$, $a_{k}\...
- 873
4
votes
0
answers
414
views
Definition of the Stratonovich integral in Hilbert spaces
Let
$T>0$
$(\Omega,\mathcal A,\operatorname P)$ be a probability space
$\mathcal F=(\mathcal F_t)_{t\in[0,\:T]}$ be a filtration on $(\Omega,\mathcal A,\operatorname P)$
$B$ be a (standard, real-...
- 167
4
votes
0
answers
269
views
Algebras and $\sigma$-algebras associated to random variables
Let $\{v_\lambda:~\lambda\in\Lambda\}$ be a family of real-valued random variables on a (complete) probability space $(\Omega, \sigma, \mathbb{P})$. Assume the variables lie in $\bigcap_{p=1}^\infty L^...
- 1,411
4
votes
0
answers
110
views
Banach space admitting a unique subsymmetric basis but not a symmetric one
I have two quick questions:
It can be shown without too much trouble (using methods from Altshuler/Casazza/Lin, 1973) that any Lorentz sequence space admits a unique (up to equivalence) subsymmetric ...
- 1,591
4
votes
0
answers
265
views
Does the Cauchy–Schwarz inequality imply 2-positivity?
Recall the following generalisation of Cauchy–Schwarz.
Theorem. Let $f\colon \mathscr{A} \to \mathscr{B}$ be a linear 2-positive map between C$^*$-algebras. Then for all $a,b \in \mathscr{A}$ we ...
- 355
4
votes
0
answers
2k
views
Fourier transform of $C^\infty_0$, smooth functions vanishing at infinity
Is there a proper description of the space $$\{\hat f\ | \ f\in C^\infty \ s.t. \forall \alpha\in\mathbb{N}^n,\forall \epsilon>0\exists K\subseteq \mathbb{R}^n\ K\ \text{compact};\ \sup_{x\in \...
- 41
4
votes
0
answers
322
views
Cauchy-Riemann Operators and Selberg Zeta Function
The determinant of hyperbolic Maaß-Laplacian operator on arbitrary tensors and spinors can be written in terms of Selberg zeta function. Is there a corresponding formula for the determinant of the ...
- 989
4
votes
0
answers
609
views
Does every separable Banach space have a Markushevich–Auerbach basis?
Let $X$ be a separable Banach space and $X^*$ be its dual, let $\{x_i\}$ be a sequence in $X$ with dense linear span and such that there exists a sequence $\{x_i^*\}$ in $X^*$ satisfying $x_i^*(x_j)=\...
- 902
4
votes
0
answers
114
views
Coming up with a represenation for sum of functions in the Fourier algebra
This is my first overflow question, so let me apologize in advance if this belongs on http://math.stackexchange.com.
Let $G$ be a discrete group.
Let $\lambda:G\to B(\ell^{2}(G))$ be the left ...
- 161
4
votes
0
answers
271
views
Concentration of infinite-dimensional Gaussian measure
I have the question about finding the subspace of concentration of a Gaussian Measure. More precisely:
$\textbf{Question:}$ Assume we have a separable Hilbert space $\ell_2$ with Borel $\sigma$-...
- 537
4
votes
0
answers
171
views
quasi-nilpotent part of a dual operator
Definitions and notation.
Let $X$ be a complex Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator on $X$. We define the quasi-nilpotent part of $T$ as
\begin{equation*}H_0(T):=\left\{...
- 1,591
4
votes
0
answers
172
views
Donnelly-Fefferman growth of eigenfunctions
Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
- 41
4
votes
0
answers
508
views
Good reference for noncommutative $L^p$ spaces
I'm looking for good references to learn about $L^p$ spaces associated with von Neumann algebras. I already know about Uffe Haagerup's paper "$L^p$-spaces associated with an arbitrary von Neumann ...
- 41
4
votes
0
answers
209
views
On the weakly sequential completeness of the dual of the James space $J$
Let me first introduce some definitions. Let $1\leq p\leq \infty$.
A sequence $(x_{n})_{n}$ in a Banach space $X$ is said to be weakly $p$-convergent to $x\in X$ if the sequence $(x_{n}-x)_{n}$ is ...
- 3,343
4
votes
0
answers
207
views
A continuous functional calculus on/positive elements in a Fréchet algebra?
I am trying to understand what (minimal) conditions one would need in order to obtain a functional calculus on a Fréchet algebra, which we demand to be equipped with an involution that leaves all semi-...
- 465
4
votes
0
answers
131
views
Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$
Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
- 355
4
votes
0
answers
185
views
A strongly open set which is not measurable in the weak operator topology
Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$.
Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: \...
- 4,058
4
votes
0
answers
502
views
Every convex sequentially closed set is closed
Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed.
Is there some description ...
- 105
4
votes
0
answers
315
views
Compactly supported distributions as a projective G-module
For a Lie group $G$ and a locally convex space $V$ let $\mathcal{E}(G,V)$ be the locally convex space of smooth functions from $G$ to $V$, and accordingly $\mathcal{E}_c^\prime(G,V)$ the space of ...
- 10.4k
4
votes
0
answers
187
views
The weak-star closure of closed left ideals corresponding to pure states
I asked this question at math.stackexchange and received no comment.
Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. Let $\tilde{\phi}$ be its unique $w^*$-continuous ...
- 4,058
4
votes
0
answers
114
views
Weakenings of the Bounded Approximation Property
Let $X$ be a Banach space, and let $F(X)$ be the finite-rank operators on $X$.
Then $X$ has the $\lambda$-BAP if there exists a net $(S_i)_i$ in $F(X)$ with $\sup_i\|S_i\|\leq\lambda$ such that $...
- 3,497
4
votes
0
answers
500
views
Properties of the solution of the heat equation
Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...
- 679
4
votes
0
answers
716
views
Can one integrate around a branch-cut?
How meaningful is it to try to integrate around the branch-cut of a function?
For example lets say I have the function $\log(z^2+a^2)$ for $a>0$ and I choose my branch-cuts to be starting at $\pm ...
- 1,893
4
votes
0
answers
315
views
Osculating ellipsoids
Let $K$ be a given smooth, origin-symmetric, strictly convex body in $n$ dimensional euclidean space. At every point $x$ on the boundary of $K$ there exists an origin-symmetric ellipsoid $E_x$ that ...
- 51
4
votes
0
answers
809
views
Characterisation of Sobolev spaces using eigenvalues of laplacian
I'm trying to find a reference on a result I thought it was obvious, but since I can't find anything I'm starting to doubt...
I'm looking for a characterisation of the Sobolev space $H^s(\Omega)$ (...
- 615
4
votes
0
answers
112
views
Determinant of quotient of unbounded operators
I have been trying to prove this for a while but failed so far.
Let $A$ and $B$ are two positive, self-adjoint operators with compact resolvent on a Hilbert space $H$ defined on the same dense ...
- 9,853
4
votes
0
answers
121
views
The best constant in Poincare-liked inequality in $BV$ and $BD$ space
This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
- 679
4
votes
0
answers
534
views
$L_\infty(\mu)$ spaces non-isomorphic to a dual space
Given a measurable space $(\Omega,\mu)$ such that $L_\infty(\mu)$ is isomorphic to a dual space, $L_\infty(\mu)$ is an injective Banach space. Indeed, given a subspace $Y$ of $X$ and a norm-one ...
- 4,461
4
votes
0
answers
562
views
Best known bounds on certain exponential sums
What are the best bounds currently known for the following exponential sum:
$$\sum_{x < p \le 2x} e(\alpha p^k)$$
for values of $\alpha$ far from a rational with small denominator. ($p$ refers ...
- 1,890