All Questions
12,777 questions
-2
votes
1
answer
314
views
holomorphic equation
hi,
i am working for some time on a problem and at some point i cant go further. here the critical part: Let $U \subset \mathbb{C}^{n}$ be a open set and consider $c : U \rightarrow \mathbb{R}$ a ...
- 11
1
vote
0
answers
194
views
Class of flat currents stable under $\overline{\partial}$ operator
Given $U\subset\mathbb{C}^n$, open domain, a locally flat current on $U$ is a $k-$current $T$ such that for every $f\in\mathcal{D}(U)$ (smooth functions with compact support in $U$) there exist a ...
- 1,205
3
votes
2
answers
1k
views
Density character and cardinality
Assume that $X,Y$ are infinite dimensional Banach spaces. Is it true that if density character of $X$ is less then or equal to density character of $Y$ then $card X \leq card (Y)$ ?
- 75
4
votes
1
answer
964
views
Convergence of Fredholm determinants
Let $(X_N)_N$ be a sequence of trace class operators acting on, say, $L^2(\mathbb{R})$. What are the minimal assumptions in order to have the convergence of their Fredholm determinant
$$
\lim_N\det(...
- 2,135
0
votes
0
answers
155
views
General form of a symplectic map
A symplectic automorphism of a Hilbert space has the form $T=U(\cosh S+J\sinh S)$ for a unitary $U$, an antilinear involution $J$ and a positive operator $S$. In fact a version of this goes through in ...
- 1,411
2
votes
0
answers
406
views
Maximal domain of holomorphy of a series
Let $(a_n)$ be an enumeration of all complex numbers with rational real and imaginary parts which are not contained in the closed unit disk (i.e., $\{z\in\mathbb{Q}[i] \colon |z|>1\}$).
Let $(c_n)$...
- 32.5k
0
votes
0
answers
298
views
High dimensional beta integral (question following the previous post)
Hello,
This post is a question following the previous post. In one dimensional case, we have
$$
\int_0^x |y|^{1-\alpha} |x-y|^{1-\beta} d y = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} |...
- 1,649
1
vote
2
answers
687
views
High dimensional beta integral (a typo in Stein's book "singular integrals")
Hello,
When I read Stein's book of Singular Integrals, at p. 118, there is an obvious mistake:
$$
\int_{R^n} |x-y|^{-n+\alpha} |y|^{-n+\beta}=\frac{\gamma(\alpha)\gamma(\beta)}{\gamma(\alpha+\beta)},...
- 1,649
5
votes
1
answer
673
views
Unbounded representations of Banach algebras
Can a representation of a Banach algebra be unbounded?
To clarify, I'm not asking about a representation as unbounded operators, but
rather a homomorphism $\pi: A \to B(H)$ for some Hilbert space $H$,...
- 275
32
votes
6
answers
3k
views
Can distribution theory be developed Riemann-free?
I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
- 29.2k
60
votes
23
answers
108k
views
A good book of functional analysis [closed]
I'm a student (I've been studying mathematics 4 years at the university) and I like functional analysis and topology, but I only studied 6 credits of functional analysis and 7 in topology (the basics)....
1
vote
0
answers
2k
views
Uniform Convergence of piecewise Continuous Uniformly Convergent Functions
Let us consider a sequence of real valued functions of real variable $x$, defined as
$f_n = g_n\;\;\;\;\;\;\;\;\;\;\;$ when $ a \leq x < b $
$f_n = g_n + \frac{1}{n}\;\;\;\;\;$ when $ b \leq x \leq ...
- 362
7
votes
1
answer
773
views
Equivalent metrics on Fréchet spaces and Lipschitz maps
Lipschitz maps are defined over metric space as maps $f:(X,d_X) \to (Y,d_Y)$ such that
$$ d\left( f(x),f(x^\prime) \right)_Y \le k d(x,x^\prime)_X \ \forall x,x^\prime \in X, $$
where $k$ is a ...
- 399
2
votes
0
answers
238
views
Non-realizable CR structures?
Hill, Penrose, and Sparling have an example of a non-realizable CR structure, a 5-manifold $M^5$ that comes equipped with a "twisted version" of the Lewy operator for the quadric $Q^2$,
$v = \frac{1}{...
- 21
1
vote
1
answer
961
views
Strong topology
Let $E$ and $F$ be a locally convex topological vector spaces (LCS) and let $E^{\star}$ and $F^{\star}$ denote the strong duals of $E$ and $F$, respectively.
A dual of $E^{\star}$ given by the $\beta(...
- 145
0
votes
2
answers
558
views
Behavior of essential singularities in an 'open cone'
Picard's Big Theorem says that if a function $f(z)$ has an isolated essential singularity at a point $w$, then in every neighborhood of $w$, $f(z)$ hits every complex number infinitely many times, ...
- 2,019
0
votes
0
answers
388
views
Global index of convexity/concavity of a function
We are looking for a global index of the convexity/concavity of a function.
For concreteness, how can I formalize the intuitive notion that a function $f$ is more convex than $g$ where $f,g:[0,1]\...
- 111
1
vote
0
answers
378
views
Adjoint operators in LCS
Before my main question let me start with the following notions.
Let $X$ and $Y$ be locally convex spaces and let $T \colon X \rightarrow Y$ be a linear mapping. The adjoint of $T$ is an operator
$T^...
- 145
22
votes
1
answer
745
views
The Mackey Topology on a Von Neumann Algebra
Every von Neumann algebra $\mathcal M$ is the dual of a unique Banach space $\mathcal M_* $. The Mackey topology on $\mathcal M$ is the topology of uniform convergence on weakly compact subsets of $\...
- 1,199
1
vote
1
answer
562
views
Metrizable dual space
I've got the following questions concerning the theory of locally convex spaces :
Let $X$ be a locally convex metrizable space, what is the necessary and sufficient condition to have its dual $X^*$ ...
- 85
15
votes
3
answers
2k
views
Alternative proofs of the Krylov-Bogolioubov theorem
The Krylov-Bogolioubov theorem is a fundamental result in the ergodic theory of dynamical systems which is typically stated as follows: if $T$ is a continuous transformation of a nonempty compact ...
- 6,206
4
votes
3
answers
877
views
Boundary behavior of a holomorphic function on $D$ ?
Hi, I have two related questions.
$D$ = open init disk in the complex plane $C$.
A. Let $f: D \to C $ be a holomorphic function. Then is it possible that $\forall q \in S^1$,there exists a ...
- 1,471
4
votes
1
answer
716
views
Function theory of a hyperbolic variable
I've found quite a number of articles on the basics of function theory in one hyperbolic (split-complex, dual, duplex, motro,..) variable, perhaps the most notable being http://arxiv.org/PS_cache/math-...
- 41
13
votes
2
answers
1k
views
Fundamental Groups of compact Complex manifolds?
Hi,
are limitations on the fundamental group for compact complex manifolds known?
Can an arbitrary (finite represantable) group be the fundamental group of a compact
complex manifold?
Thanks
- 949
3
votes
1
answer
1k
views
Self-adjoint bounded operator, resolution of the identity, def. of the diagonal
Let $A$ be a self adjoint bounded linear operator with a continuous spectrum
$\sigma(A)=[a,b]$ which acts on a separable Hilbert space. Let
$E_\lambda$ be its resolution of the identity.
For ...
0
votes
1
answer
340
views
Reference for spectral theory of group of linear operators
It is not hard to find the spectral theory of a single unitary operator $U$. This is the spectral theory for a $\mathbb{Z}$-action because we consider $U^n$ for $n\in\mathbb{Z}$. This is clear with ...
- 163
3
votes
2
answers
2k
views
trace norm inequality for positive matrices
If $A, B$ are positive $n \times n$ complex matrices, $n$ some integer, then obviously \begin{equation*} \|ABA\|_\text{tr} = tr(ABA) = tr(A^2 B). \end{equation*}
But can we say there is a constant $...
2
votes
1
answer
547
views
Equivalent references for Schwartz's book of the distribution theory
Hello,
It seems that there is no English translation of the Schwartz's book 1966. I may need to use the spaces like
$$
\dot{\mathcal{B}}(R),\quad \dot{\mathcal{B}}'(R),\quad \mathcal{B}(R),\quad \...
- 1,649
1
vote
0
answers
693
views
A question about an equivalent definition of the Schwartz distribution
Hello,
Does anyone know a reference or proof of the "if" part of the following statement?
$$
\mu\in \mathcal{S}'(R)\quad\text{if and only if}\quad \mu*\alpha\in\mathcal{S}(R),\forall \alpha\in C_c^\...
- 1,649
4
votes
0
answers
189
views
Boundedness criterion for operators on mixed Lebesgue spaces
Define the mixed Lebesgue space $l_{p,q}$ as the space of all doubly indexed sequences
${\bf a}= (a(i,j))_{i,j\in\mathbb{Z}}$ such that
...
- 979
14
votes
0
answers
3k
views
Tanh version of a Fourier Transform?
I am trying to perform some computations in an environment where it is much easier to compute the hyperbolic tangent function (tanh) than cosines or sines. This prevents me from performing Fourier ...
- 3,979
20
votes
3
answers
8k
views
Why do inner products require conjugation?
For Hermitian matrices and operators, the most "natural" inner product is $f^H \cdot g$ or $\int f^* g\; dx$. A similar situation holds interpreting Fourier transforms as the inner product of ...
- 757
3
votes
1
answer
785
views
Maximal ideals of some algebras
This question comes up after I read the chapter 7 : Banach algebras and spectrum theory from Conway's book. As we have known that if $X$ is compact space, then all the maximal ideals of $C(X)=\{ f : X\...
- 281
0
votes
1
answer
1k
views
References about Fourier series of a function of complex variable
Hello,
Is anyone who know a simple reference to discover what is Fourier series for periodic function of one complex variable ?
Thanks
- 1
7
votes
0
answers
161
views
Seeking reference - criterion for the existence of a positive linear functional on an ordered vector space below a given function
The following surely appears somewhere, I would greatly appreciate a reference. (The aim is to get a measure via Riesz representation, but that has nothing to do with the statement.)
Let $X$ be an ...
- 577
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 5,327
31
votes
3
answers
5k
views
When is an integral transform trace class?
Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator
$$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$
the operator $K$ is Hilbert ...
- 11.2k
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? ...
4
votes
1
answer
471
views
Embeddings for spaces of maximal regularity
Let $T\in(0,\infty)$ and $\Omega\subset\mathbb R^n$ be a smooth domain. In terms of maximal regularity it can be very beneficial to know for which $s_i,p,n$ the following holds true
$W^{s_1,p}(0,T;L^...
- 225
-3
votes
2
answers
768
views
Question on Linear Operators
Let $V$ be a normed infinite dimensional vector space. Let $L: V \longrightarrow V$ be a bounded linear operator. Moreover assume that $L$ is 'locally nilpotent' that is:
$$ \forall v \in V \quad \...
- 741
22
votes
1
answer
4k
views
Image of the trace operator
It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
- 39.1k
15
votes
2
answers
3k
views
What do we actually know about logarithmic energy ?
In potential theory, the $\textit{logarithmic energy}$ of a Radon measure $\mu$ acting on $\mathbb{C}$ is defined by
$$I(\mu)=\iint\log\frac{1}{|x-y|}\mu(dx)\mu(dy).$$ Of course it is not well ...
- 2,135
5
votes
3
answers
931
views
References for "different" proofs of the spectral theorem for compact operators
It is with some sort of reverential fear that I've come here to write. I've been reading you for a long time, but writing is another story... In any case, I suppose it is too late now to back out!
...
- 10.5k
3
votes
2
answers
949
views
Reference for proof that $C_b^* = rba$
The following theorem seems to have folk status:
The topological dual of the space $C_b(X)$ of bounded continuous functions on a topological space $X$ is isomorphic to the space $rba(X)$ of finite, ...
- 459
13
votes
2
answers
2k
views
What is the relationship amongst all the different kinds of spectra?
The word "spectrum" gets tossed around a lot in mathematics, and there seem to be a number of different concepts to which it applies. There is of course a physical connotation to the word which is ...
1
vote
1
answer
363
views
n-times iterated Cauchy-Riemann operator
Are there an results on functions annihilated by the n-times iterated Cauchy-Riemann operator ${\partial\over\partial\bar z}$, aka functions $f$ that for some $n\in\mathbb{N}$ satisfy the following ...
- 329
2
votes
0
answers
948
views
Compact Riemann surfaces and Algebraic Functions
Good evening,
In Riemann surfaces by Otto Forster there is the following theorem : Let $X$ be a Riemann surface and $P(T)=T^n+c_1T^{n_1}+\ldots + c_n\in\mathcal{M}(X)[T]$ an irreducible polynomial of ...
- 758
-4
votes
1
answer
2k
views
Open mapping theorem for Riemann surfaces
What restriction must one impose on a Riemann surface M in order for all biholomorphic $f:M\to\mathbb{C}$ to be open mappings, aka mappings of $M$ onto open subsets $f(M)\subset\mathbb{C}$?
- 41
3
votes
2
answers
1k
views
Is there a corresponding Hahn decomposition theorem for the real-valued Radon measures?
Hello,
As we know that a signed measure $\mu$ on $R$ can be decomposed to the positive part $\mu_+$ and negative one $\mu_-$ by the Hahn decomposition theorem.
My question is whether each real-...
- 1,649
14
votes
1
answer
1k
views
On meromorphic continuation of zeta function(s) and special values at negative integers
Euler developped (at least) two different approaches in order to calculate the values $\zeta(-m)$ of the zeta function $$\zeta(s) = \sum_{n\geq 1} \frac{1}{n^s}$$ at non-positive integers.
In one ...
- 2,029