All Questions
10,050 questions
3
votes
2
answers
2k
views
Dual space pairing question (Sobolev space, Bochner space)
Let $f \in H^{-1}(U)$ and $u \in H^1(U)$. I know that we write $f(u)$ as the pairing $$\langle f, u \rangle_{H^{-1}, H^1}$$.
Suppose that $v$ is the weak/distributional derivative of $u$. So
$$\...
- 55
8
votes
1
answer
847
views
A doubt about the parts of the spectrum of tensor products
Let $\mathcal{H}$ be any complex Hilbert space of infinite dimensional. By an operator $T$ I mean a linear bounded transformation from $\mathcal{H}$ into $\mathcal{H}$, i.e, $T:\mathcal{H}\rightarrow\...
- 81
9
votes
4
answers
2k
views
Books about capacity theory
While I was studying the book Variation et Optimisation de formes by Antoine Henrot and Michel Pierre, I encountered a section about the capacity associated to the $H^1$ norm, which is defined for ...
- 2,222
2
votes
1
answer
221
views
Non-perfect type one C^*-algebra, and a lemma in Fourier analysis
I would like to know if the following is true :
Let $\mathcal{H}$ be the complex Hilbert space $L^2([0,1])$ for the Lebesgue measure.
Let $q$ be the orthogonal projection on the subspace of $\mathcal{...
- 42.4k
6
votes
1
answer
526
views
Strong convergence of projections in $B(H)$
(I asked this question at math stackexchange 4 months ago, but received no answers)
Let $\{e_{kj}\}$ be the canonical matrix units in $B(H)$, with $H$ separable. Define projections $q_k$ by
$$
q_k=\...
- 2,793
1
vote
1
answer
338
views
On the generalization of the Mittag-Leffler function and fractional derivative
The Mittag-Leffler function $E_{\alpha}(x)$ has an important property:
$$
\frac{\partial^{\alpha}}{\partial x^{\alpha}} E_{\alpha}(x^{\alpha}) = E_{\alpha}(x^{\alpha}).
$$
I tried to find an ...
- 1,329
5
votes
2
answers
631
views
Proving that a complicated function is eventually concave
I have a function $f:\mathbb{R}^+ \to \mathbb{R}^+$ that I want to prove is eventually concave - i.e. that there exists $\gamma _0 > 0$ such that for every $\gamma>\gamma_0$, $f(\gamma)$ is ...
- 392
-2
votes
3
answers
850
views
Books on analytic functions on Banach spaces over a non-Archimedean field
I'm looking for good textbooks on analytic functions on Banach spaces over a non-Archimedean field.
If you know one(s), please let me know.
- 1,169
1
vote
2
answers
263
views
Books on real and/or complex analytic functions on Banach spaces taking values in Banach spaces
I'm looking for good textbooks on the subjects.
If you know one(s), please let me know.
- 1,169
2
votes
1
answer
2k
views
Monge–Ampère operator
I'm studying the article of Bedford–Taylor "Fine topology, Šilov boundary…" but I don't
understand the proof of the following proposition.
Let $u$, $v$ be plurisubharmonic functions defined ...
- 29
2
votes
1
answer
190
views
Completeness for spaces of eventually bounded nets
Let $A$ be a directed set, and $\ell^\infty_A$ the (complex vector) space of all
eventually bounded nets $A\to \mathbb{C}$. We can define the limit superior seminorm on $\ell^\infty_A$:
$$
\vert\vert{...
- 281
1
vote
0
answers
347
views
HyperKaehler manifolds are Ricci-flat
Hi,
I have the following question: Let $M$ be a Hyperkaehler manifold with complex structures $I,J,K$ and Hyperkaehler metric $g$. Let $\omega_{I} = g(I *, *), \omega_{J} = g(J *, *), \omega_{K} = g(...
- 93
4
votes
1
answer
838
views
Finding the spectrum of the composition of a projection with a multiplication operator
In reading a paper on numerical quadrature I've come across a result that is proved in a manner that is very clever:
Let $X \subset \mathbb{C}$ be a compact, convex set. If $U$ is a finite-...
12
votes
2
answers
3k
views
Direct proof of injectivity of $L_\infty$
I would like to know a simple proof of isometric injectivity of $L_\infty$. The proof I've found in Topics in Banach space theory. F. Albiac, N. Kalton uses two deep result.
$L_\infty$ as ...
- 1,697
0
votes
1
answer
177
views
Laurent series with analytic coefficients
Let $A=H(D(0,1))$ the ring of holomorphic functions on the open unity disc.
I consider the function $f$:
$$f (t)=\sum f_{i}t^{i} \in A[[t]]$$
I suppose that the $t$-adic valuation of it is less or ...
- 3,472
4
votes
0
answers
1k
views
Resonance of Schrödinger operator
Consider the dispersive estimates for the Schrödinger flow
$$
e^{itH}P_{c},\quad H=-\Delta+V \quad \text{on}\quad \mathbb{R}^n,n\ge 1
$$
where $P_{c}$ is the projection onto the continuous spectrum ...
- 1,644
2
votes
1
answer
469
views
If two probability distributions have the same weak limit and one of them satisfies Large Deviation Principle, what can we say about the other?
If the probability distribution function of two sequences of random variables have the same weak limit and one of the sequences satisfies a Large deviation principle, then does it imply that the other ...
- 3,245
0
votes
2
answers
400
views
functional equation
I have the following question:
Let $f$ be an analytic function satisfying the functional equation: $f(z)=u(z)f(a-z)$ where $a$ is a real constant. Let $g$ be another function satisfying the same ...
- 1,197
2
votes
2
answers
514
views
Isometric embedding of a Kaehler manifold as a special Lagrangian in a Calabi-Yau manifold
Hallo,
I am reading the paper "Hyperkaehler structures on the total space of holomorphic cotangent bundles" by D.Kaledin and I am asking if it is possible to embedd a real-analytic Kähler manifold, ...
- 23
1
vote
2
answers
488
views
Sobolev-type inequality.
Let $0< \alpha< n$, $1 < p < q < \infty$ and $\frac{1}{q}=\frac{1}{p}-\frac{\alpha}{n}$. Then:
$ \left \| \int_{\mathbb{R}^n} \frac{f(y)dy}{|x-y|^{n-\alpha} } \right\|_{L^q(\mathbb{R}^n)...
- 13
0
votes
0
answers
183
views
Continuity of the Shadow of a Nondecreasing Function
So I'm working a lot with monotone nondecreasing functions $f : [0,1] \rightarrow [0,1]$, and I'm defining a certain discrete dynamics on them. Here nondecreasing means $x < y \Rightarrow f(x) \leq ...
- 485
3
votes
0
answers
163
views
Isometric automorphism of $c_0$ different than coordinate permutation
Does there exist an isometric automorphism of $c_0$ which is not a permutation of coordinates?
- 311
3
votes
2
answers
599
views
Weak topology of WOT
Let $E$ be a reflexive Banach space and let $B(E)$ be the space of bounded operators on $E$ endowed with the weak operator topology. In particular, the unit ball of $B(E)$ is then WOT-compact. $(B(E), ...
- 115
1
vote
2
answers
522
views
Variational problems whose lagrangian density depends on derivatives higher than 1.
The usual theory of calculus of variations, as far as I know, is concerned with lagrangian densities which depend on the function and its gradient, namely we try to minimise $\int L(Dw,w,x) dx$. ...
- 469
4
votes
2
answers
670
views
Limits of von Neumann algebras
Consider (abstract) von Neumann algebras topologised by their weak*-topology arising from the unique predual.
In the theory of topological vector spaces, there is a natural notion of an inductive ...
- 115
1
vote
1
answer
3k
views
The conormal derivative of a function
Hi!
I was wondering about the definition of the conormal derivative of a function
$u$ which is given on a domain $\Omega$. It is known that if $-\Delta u = f$, considered
as functionals on $H^1_0(\...
- 13
6
votes
0
answers
322
views
Terminology for notion dual to "support"
If $X$ is a set (feel free to think of it as finite, but it doesn't have to be) and $f$ a real function on $X$, call the support $\operatorname{supp} f$ the subset of $X$ consisting of all elements $i\...
- 21.6k
9
votes
2
answers
524
views
Projections onto $n$-codimensional subspaces of a Banach space: norms.
Hello, I'd like some help to find an answer I've been looking for since this morning.
Let $X$ be a Banach space and let $Y$ be an $n$-codimensional subspace of $X$. Let $P$ be a projection from $X$ ...
- 93
7
votes
1
answer
4k
views
Functional/variational derivative and the Leibniz rule
I am currently trying to understand the BV-formalism, which makes heavy use of the functional derivative.
Let us consider the functional derivative, as defined in for example its Wikipedia article.
...
- 515
4
votes
6
answers
2k
views
Real functions with finitely many zeroes
I am looking for as general a class as possible of real functions defined on $\mathbb{R}^+$ that are guaranteed to have a finite number of zeroes - no, polynomials are not enough :).
Specifically, ...
- 392
8
votes
2
answers
540
views
Maximum entropy priors in infinite dimensional spaces
Is there an extension of maximum entropy probability distributions for function spaces?
For $\mathbb{R}^n$ and discrete spaces, there is much literature about this problem under names such as "non-...
- 1,160
8
votes
4
answers
13k
views
Eigenvalues of infinite matrices [closed]
I am trying to find some literature on infinite matrices because I want to know how to get the eigenvalues of infinite matrices. Seriously, it seems there are very few references available. Can ...
- 431
2
votes
1
answer
812
views
About Sobolev embedding theorem of the case $W^{s,2}$.
Let $s>n/2, \; f \in W^{s,2}(\Bbb R^n)$ . Then how can I show that there is an embedding into the space of uniformly bounded, continuous functions, that is, $$ |f(x)| \leqslant C\| f \|_{W^{s,2}}$$ ...
- 43
6
votes
2
answers
1k
views
Commuting Linear Operators In Hilbert Spaces
Let $V$ be a finite dimensional vector space over the complex field $\mathbb C$. Let $L:V\rightarrow V$ be a linear operator. Using the matrix of $L$ and the Jordan canonical form it is easy to find ...
- 545
10
votes
3
answers
1k
views
ordered exponential of unbounded operators
Let $H$ be a Hilbert space,
and let $A_t$ be a family of unbounded positive (self-adjoint) operators on $H$ parametrized by $\mathbb t\in R_{\ge 0}$. Consider the ordinary differential equation
$$
\...
- 43.2k
7
votes
2
answers
2k
views
Arbitrary union of meagre open sets
Let $X$ be a topological space. A subset $M$ of $X$ is called meagre (or of first category) if it is covered by the union of a countable family of closed subsets of $X$ with empty interior.
Can you ...
- 73
8
votes
1
answer
668
views
Hahn-Banach theorem with real extended valued function
Hello to everyone,
My problem is the following: I have this version of the Hahn-Banach theorem:
Let V be a vector space and let $p:V\rightarrow \mathbb{R}$ be any
convex function. Let $W$ be a vector ...
- 83
0
votes
1
answer
276
views
Positive definite Hermitian matrices of countable rank
Say that a $\omega\times \omega$ Hermitian matrix $A$ is positive semidefinite of rank $n$ if there exists a $\omega\times n$ complex matrix $B$ such that $A=B B^\dagger$ where $^\dagger$ denotes the ...
user2529
3
votes
2
answers
1k
views
Infinite dimensional manifold
In Hamiltonian mechanics, one essentially work with $\mathbb{R}^{2n}$. However, this is only a local description of our configuration manifold $M$. More precisely, the mechanical system is regarded as ...
- 49
2
votes
1
answer
240
views
BM-distances between $B(\ell_p^n)$ and $\ell^{n^2}_p$
Let $\ell_p^n$ be the $n$-dimensional real or complex $\ell_p$-space and let $\mathscr{B}(\ell_p^n)$ be the space of matrices on $\ell_p^n$ endowed with the operator norm. I am looking for any ...
- 11.3k
1
vote
1
answer
534
views
Unique symplectic form in an adapted complex structure
I have the following question: Due to Stenzel, Lempert, Szöke etc. we know that a Riemannian manifold $(M,g)$ admits a complex structure on a neighbourhood of the zero section of the cotangent bundle. ...
- 13
4
votes
1
answer
427
views
Smooth functions tangent to the leaves of a foliation
Given two smooth manifolds $M$ and $N$, it is known that if $M$ is compact, then $C^\infty(M,N)$ is a Fréchet manifold whose tangent space at $f \in C^\infty(M,N)$ is the space
$$T_f C^\infty(M,N) = \...
- 1,829
3
votes
1
answer
2k
views
A question about a formal power series manipulation
I want to find a function $f(x,y)$ which can satisfy the following equation,
$\prod _{n=1} ^{\infty} \frac{1+x^n}{(1-x^{n/2}y^{n/2})(1-x^{n/2}y^{-n/2})} = exp [ \sum _{n=1} ^\infty \frac{f(x^n,y^n)}{...
- 3,541
8
votes
1
answer
894
views
Certain compact subset of $L_1$
Let $(\Omega,\Sigma, \mu)$ be a probability measure and $X$ a Banach space. I am interested in subsets $F\subseteq L_\infty (\mu,X)$ that satisfy these two compactness conditions:
$F$ is a norm-...
- 900
7
votes
0
answers
300
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
4
votes
2
answers
904
views
Nash inequality on a compact domain?
I have come across a few papers that make use of the Nash inequality for functions on a compact domain. Unfortunately, nobody cites a reference for the proof of this result. Is going from the ...
- 617
2
votes
0
answers
82
views
Description of the norm of certain interpolation space
Dear all,
I suspect that there should be some detailed description of the norm (or of the unit ball) of the following complex interpolation space (for any $0< \theta < 1$): $$\Big(B(\ell_1^n, \...
- 769
2
votes
1
answer
253
views
A question on Schwartz distributions
I have a question on the tempered distributions, namely, continous functionals on Schwartz class endowed with the weak* topology. Is is a Barreled space, say, a space whose convex, balanced, ...
- 23
11
votes
1
answer
633
views
Inequivalent complete norms and the axiom of choice
Hi,
I've been wondering about the following :
Is it possible, without the axiom of choice, to have two inequivalent complete norms on a vector space?
All the examples of inequivalent complete norms ...
- 2,154
0
votes
1
answer
455
views
Sequences satisfying $x_{n+1} \geq \alpha (x_1+\ldots{} +x_{n})$ for $\alpha<1$
Consider a positive sequence $x_n >0$ that satisfy the condition that there exists a constant $0<\alpha<1$ such that $x_{n+1} \geq \alpha (x_1+\ldots{} +x_{n})$.
What can be said about the ...
- 81