All Questions
12,776 questions
1
vote
1
answer
535
views
Points at twice the distance from (-1, 0) that they are from (1, 0) in hyperbolic geometry [closed]
In answer to the question Demystifying complex numbers, Charles Matthews suggests "finding the points at twice the distance from (-1, 0) that they are from (1, 0)." as a motivation for complex numbers....
- 1,190
3
votes
2
answers
1k
views
Spectral decomposition for an arbitrary linear combination of position and momentum operators
Suppose we have the Hilbert space L2(Rn) and we have n operators Qi and n operators Pi defined in the usual way by:
Qi ψ(q1,q2,...,qn) = qi ψ(q1,q2,...,qn)
Pi ψ(q1,q2,...,qn) = -i $\frac{...
- 195
1
vote
1
answer
201
views
real-valued functions on the modular surface
How does one write down $\mathbb{R}$-valued functions on the modular surface? I am considering taking an arbitrary function on the upper half plane $f:\mathbb{H} \to \mathbb{R}$ and averaging over ...
- 22.8k
86
votes
44
answers
21k
views
Demystifying complex numbers
At the end of this month I start teaching complex analysis to
2nd year undergraduates, mostly from engineering but some from
science and maths. The main applications for them in future
studies are ...
3
votes
6
answers
8k
views
Functional Analysis and its relation to mechanics
Hi I'm currently learning Hamiltonian and Lagrangian Mechanics (which I think also encompasses the calculus of variations) and I've also grown interested in functional analysis. I'm wondering if there ...
- 33
1
vote
1
answer
1k
views
Duality and isomorphism of functor
Hi.
First of all thanks to Zsolt for the answer to the question on "Cohen Macaulay morphism".
I want to show for which proper and flat morphisms $f:X\rightarrow S$ of complex spaces with $n$ pure ...
- 435
9
votes
2
answers
674
views
Small crown probabilities (and infinite dimensional margin assumption)
My question is:
How do I find sharp upper bounds on $P(|q|\leq \epsilon)$ uniformly over a set of gaussian polynomes $q$ of degree two.
Notations and definitions (to make the question rigorous)
Let ...
1
vote
1
answer
447
views
Cohen macaulay morphism
Hi.
I have a doubt about this fact:
Let f:XS be a flat, proper and surjective morphism of complex spaces (or locally noetherian, excellent schemes) with n-pure dimensional fibers. Then f is Cohen-...
- 435
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 505
41
votes
2
answers
4k
views
Must the set of lines through the origin on which a nonconstant entire function is bounded be finite?
If an entire function is bounded for all $z \in \mathbb{C}$, than it's a constant by Liouville's theorem. Of course an entire function can be bounded on lines through the origin $z=r \exp(i \phi), \...
- 4,014
4
votes
1
answer
2k
views
torsion freeness of tensor product continued
Hi.
Question 1: If $f:A\rightarrow B$ be a morphism of local noetherian rings with $B$ is $A$-flat. Let $M$ (resp. $N$) be a $B$ (resp. $A$-)-module of finite type (fin. generated). We assume that $...
- 435
3
votes
0
answers
479
views
torsion freeness of tensor product
Hi.
Let $f:A\rightarrow B$ be a morphism of local noetherian rings, $M$ (resp. $N$) a $B$ (resp. $A$-)-module of finite type. We assume that $prof_{A}(M)\geq 2$ and $N$ is torsion free.
Then it is ...
- 435
1
vote
0
answers
991
views
Trigonometric identities and (several?) complex variables
I don't know anything about several complex variables nor whether that topic will answer my questions below, but in one complex variable one learns that since $\sin x$ and $\cos x$ are entire ...
1
vote
0
answers
308
views
Loynes spaces, also called pseudo-Hilbert spaces
Let me first define my object:
First, a locally convex space $Z$ is called admissible in the sense of Loynes if
$Z$ is complete
There is a closed convex cone in $Z$, called $Z_+$, satisfying (for $x\...
- 2,600
1
vote
2
answers
700
views
Extension of harmonic function at infinity
Can a harmonic function defined on the upper half-plain (or any domain which is unbounded) be extended to the point at infinity. If so, under what condition. What happens to the mean value property ...
- 1,795
26
votes
3
answers
11k
views
L1 distance between gaussian measures
L1 distance between gaussian measures: Definition
Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...
- 833
11
votes
0
answers
1k
views
Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?
It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$.
Then, by ...
- 111
3
votes
1
answer
280
views
An analogue of an old proposition
For the absolute value $|C|=(C^*C)^\frac{1}{2}$ and the
Hilbert-Schmidt norm
$\parallel C\parallel_{HS}=(trC^*C)^\frac{1}{2}$ of the operator $C$. The
following inequality is shown by Araki et al in ...
- 223
4
votes
0
answers
715
views
some questions about properties of harmonic measure
The original post
The following argument appears in a paper of Nazarov (Lemma 1.2) "Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle ...
- 1,795
6
votes
1
answer
2k
views
Approximation by analytic functions
Dear all.
Let
$$
f(x) = \sum_{k \in \mathbb{Z}} \hat{f}(k) \exp(2\pi \mathrm{i} kx)
$$
be a function given by usual fourier series.
Since my original question hasn't got any answer yet, and I ...
- 3,343
4
votes
1
answer
513
views
Is the following a sufficient condition for flatness?
Hi.
Let $f\rightarrow S$ be an open morphism of reduced finite dimensional complex spaces (or a universally open morphism of locally noetherian excellents without embedded components or reduced ...
- 435
8
votes
2
answers
915
views
Group homomorphisms and maps between function spaces
Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded ...
- 18.7k
2
votes
1
answer
956
views
finite tor dimension
Hi. Can, every one, give me an example of finite surjective morphism of finite tor dimension (but not flat!) between reduced schemes or complex analytic spaces... Thank you.
- 435
25
votes
1
answer
8k
views
Convergence of Fourier Series of $L^1$ Functions
I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, Wikipedia informs me ...
- 871
19
votes
6
answers
8k
views
Unbounded operator bounded in a dense subset
Let $X, Y$ be normed vector spaces, where $X$ is infinite dimensional. Does there exist a linear map $T : X \rightarrow Y$ and a subset $D$ of $X$ such that $D$ is dense in $X$, $T$ is bounded in $D$ (...
- 783
2
votes
4
answers
1k
views
An inequality question
Let $M$ be a $3\times2$ matrix. Is it true that for any $x\in\mathbb{R}^{2}$
with $\left\Vert x\right\Vert _{3}=1$ there is some subspace $V$
with dimension $2$ of $\mathbb{R}^{3}$, such that $\left\...
- 59
8
votes
1
answer
713
views
Factoring operators $L_\infty \longrightarrow L_2$ as the composition of $n$ strictly singular operators, $n\in \mathbb{N}$
Motivation and background This question is motivated by the problem of classifying the (two-sided) closed ideals of the Banach algebra $\mathcal{B}(L_\infty)$ of all (bounded, linear) operators on $L_\...
- 2,378
15
votes
2
answers
2k
views
Picard-Fuchs equations for modular functions
Hello, MathOverflow community!
Suppose we have a modular curve of genus $0$, whose rational function field is generated by the modular function $f$. We can view $f$ as the parameter for some pencil ...
- 3,910
4
votes
1
answer
311
views
Continuous functions on the states of a C*-algebra and its elements
Let $\mathcal A$ be a C*-algebra and $s(\mathcal A)$ the set of states on $\mathcal A$, with the weak* topology, as a subspace of the dual space. Suppose $f: s(\mathcal A) \to \mathbb C$ is a ...
- 41
152
votes
18
answers
24k
views
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
5
votes
1
answer
681
views
Does the norm of a normed linear space determine the form of its dual spaces elements?
Hello everybody,
As an introductory example, suppose $U \subset R^n$ is open and bounded, let $p = 2$. Then there is a constant $c>0$ s.t. $\forall u \in W^{1,p}_0 : \Vert u \Vert _ {W^{1,p}_0} \...
- 5,327
14
votes
2
answers
780
views
Highly connected, compact complex manifolds
Here are four remarks about the homology and homotopy type of a compact, complex manifold $M$:
If $M$ is Kähler, then it is symplectic and thus $H^2(M,\mathbb{R}) \ne 0$. (Also, as explained in a ...
- 56.6k
2
votes
2
answers
679
views
L^2 space of holomorphic functions with given weight
Hi folks, what is known about the $L^2$ space of holomorphic functions of 1 complex variable with the scalar product
$\langle f, g \rangle = \int dzd{\bar z} \frac{ {\bar f(z)} g(z) }{(1 + z{\bar z})^...
- 362
7
votes
2
answers
3k
views
Relative canonical sheaf
Hi.
I want to know if for $f:X\to S$ a proper flat holomorphic map with n-dimensionnal fibers over reduced complex space S, the relative canonical sheaf $w_{X/S}:=H^{-n}(f^{!}O_{S})$ is a dualizing ...
- 435
13
votes
5
answers
1k
views
Does this sequence span $L^2$?
Consider the following sequence of functions in $L^2[0,\infty)$:
$$f_n(x)=e^{-x/n}x^n,\;\;n\geq 1$$
Does this sequence span $L^2[0,\infty)$ (that is, is the set of finite linear combinations
of these ...
- 520
2
votes
1
answer
272
views
Contractions and spaces
Suppose $X$ is a closed subspace of an $L^{1}$-space and $X$ is isometric to another $L^{1}$-space. Then we know that $X$ is in the range of a contractive projection on the $L^{1}$-space. Is there any ...
- 95
4
votes
1
answer
466
views
Injection between non-isomorphic irreducible Hilbert space reps?
I must be missing something trivial here.
Let $G$ be, say, a reductive Lie group (or more generally any locally compact Hausdorff unimodular topological group). A unitary Hilbert space representation ...
- 41.4k
8
votes
3
answers
1k
views
When does a unitary Hilbert space rep of a reductive Lie group decompose into a direct sum of irreps with finite multiplicities?
I'm giving some lectures on the trace formula. Here's something I proved in the last lecture. Let $G$ be a locally compact Hausdorff unimodular topological group (e.g. a reductive Lie group), let $\...
- 41.4k
81
votes
3
answers
9k
views
Norms of commutators
If an $n$ by $n$ complex matrix $A$ has trace zero, then it is a commutator, which means that there are $n$ by $n$ matrices $B$ and $C$ so that $A= BC-CB$. What is the order of the best constant $\...
- 31.5k
4
votes
1
answer
2k
views
Existence of weak limits
Background: Three months ago, I asked this question, which is a bit related to the following (if the answer to it was Yes, then answer to this one would be Yes too, but since that was a No, it still ...
32
votes
7
answers
8k
views
Interpreting the Famous Five equation [closed]
$$e^{\pi i} + 1 = 0$$
I have been searching for a convincing interpretation of this. I understand how it comes about but what is it that it is telling us?
Best that I can figure out is that it just ...
- 425
27
votes
1
answer
4k
views
Criteria for boundedness of power series
Consider a power series $\sum_{n=0}^{\infty} a_n x^n$ that is convergent for all real
x, thus defining a function $f: \mathbb{R} \to \mathbb{R}$.
Can one give necessary and sufficient criteria the ...
- 4,014
11
votes
1
answer
3k
views
When are entire functions surjective?
Is there some useful criterion to determine whether or not an entire function is surjective?
- 211
20
votes
0
answers
666
views
Polynomials with roots in convex position
Let $\mathcal P_n$ denote the set of all monic polynomials of degree $n$ with real or complex coefficients such that $P\in\mathcal P_n$ if for all $k\in\lbrace 0,1,\dots,n-2\rbrace$ the $n-k$ roots of ...
- 17.9k
66
votes
7
answers
10k
views
Why is the Hahn-Banach theorem so important?
Every time I hear it mentioned it is praised in the highest possible terms, and I remember one of my old lecturers saying that it is one of the 3 most important theorems in analysis. Yet the only ...
- 4,351
1
vote
1
answer
1k
views
Besicovitch Covering Constant for R^1
In the case where $E\subset\mathbb{R}^1$, a Besicovitch cover of $E$ is a cover by open intervals such that each point of $E$ is the center of some interval in the cover.
The Besicovitch Covering ...
- 111
1
vote
1
answer
433
views
Intersection of ideals in C*-algebra or even rings in general
Dear all,
here is a question that has been bothering me. It goes without saying that I would appreciate any help in answering it.
Let {I_k} be a countable sequence of two sided closed ideals in a C*-...
3
votes
3
answers
865
views
Analytic ODE with complex time
Suppose we have a complex vector field on $\mathbb{C}^n$ which is analytic and has $|DV| < L$ on ball $B_r$ with radius r.
I would like to understand:
1) if there exists an analytic flow $\phi_t(x)...
- 303
7
votes
3
answers
495
views
Noninteger iterates of functions: How to get ODE from flow at a given time?
Suppose you have the autonomous ordinary differential equation $dx(t)/dt = f(x(t))$ with $x: \mathbb{R} \to \mathbb{R}$ and the initial condition $x(0)=x_0$. Then, assuming some regularity conditions, ...
- 4,014
21
votes
5
answers
7k
views
References for complex analytic geometry?
I'm looking for references on the "algebraic geometry" side of complex analytis, i.e. on complex spaces, morphisms of those spaces, coherent sheaves, flat morphisms, direct image sheaves etc....