All Questions
12,823 questions
1
vote
0
answers
247
views
convergence of a series involving cosines
Question:
1) How to determine the convergence of
$\displaystyle \sum_{k=1}^{\infty} \frac{\cos(k^{\alpha} x)}{k^{\alpha}} (-1)^k $
where $x \in \mathbb{R}$ and $\alpha \in (0,1]$. I am ...
- 1,839
1
vote
1
answer
263
views
Need help with references on the status of a "Littlewood Problem"
The "Littlewood Problem" in the title asks for a characterization of finite sequences
n1< ...< nk of integers such that zn1+zn2+...+znk≠0
for any complex number z of unit modulus.
Does ...
2
votes
1
answer
929
views
Reference for existence and uniqueness of differential equations for low differentiability?
My specific situation is that I have a non-spacelike continuous future directed curve $\gamma:[0,a)\to M$ in a Lorentzian manifold. The curve must necessarily satisfy a local Lipschitz condition and ...
- 490
3
votes
1
answer
572
views
When is a finite matrix a "good" approximate representation of an operator?
I am interested in representing an arbitrary charge density (say, of atoms in a molecule) $\rho(r), \; r\in \mathbb{R}^3$ by a finite linear combination of basis functions
$\rho(r) = \sum_{i=1}^N q_i ...
- 1,890
13
votes
4
answers
5k
views
What is known about the Gaussian measure of the unit ball in a Hilbert Space?
Let $X$ be an infinite dimensional separable Hilbert Space with norm $||\cdot||$ and let $\mu$ be a Gaussian measure on $X$ such that $\mu(X) = 1$. What do we know about $\mu(B(0,1))$, where $B(0,1)$ ...
- 617
7
votes
3
answers
4k
views
infinitely many linear equations in infinitely many variables
Let $(a_{mn})_{m,n\in\mathbb{N}}$ and $(b_m)$ be sequences of complex numbers.We say that $(a_{mn})$ and $(b_m)$ constitute an infinite system of linear equations in infinitely many variables if we ...
7
votes
4
answers
3k
views
How does curvature change under perturbations of a Riemannian metric?
Let $M$ be a compact subset of $\mathbb R^2$ with smooth boundary, and let $g$ be a Riemannian metric on $M$. If $g'$ is another Riemannian metric which is "close" to $g$, then they should have ...
- 8,512
6
votes
3
answers
2k
views
Sequential topological vector spaces
Since I'm dealing with the distinction between sequential continuous and continuous maps at the moment I came to ask myself once again what can be said about spaces where these two notions agree (...
- 9,650
1
vote
2
answers
504
views
Do all graphs of C1 functions have Hausdorff dimension 1?
Suppose f is a real-valued function of one variable, and suppose f is of differentiability class C1. My question is, if $\Gamma$ is the graph of f, then must $\dim_H(\Gamma)=1$? If anyone knows of a ...
0
votes
2
answers
337
views
Is there a general notion of entropy for the states of a C*algebra?
I've seen some definition of the relative entropy between two states of a C*algebra. However this definitions work only for finite dimensional C*algebras and I don't know if there is a correspondent ...
10
votes
4
answers
3k
views
Measure 0 sets on the line with Hausdorff dimension 1
I use $\dim_H(E)$ to denote the Hausdorff dimension of a set $E \subseteq \mathbb{R}$ and $|E|$ to denote its Lebesgue measure. It is easy to see from the definition of Hausdorff dimension that if $\...
- 505
20
votes
12
answers
9k
views
The role of completeness in Hilbert Spaces
Why do Hilbert spaces have to be complete?
I've been studying (teaching myself about) Hilbert spaces for a while now as they have a habit of popping up in many of the papers I'm come across (I'm a ...
- 661
11
votes
4
answers
2k
views
Is this a $C^{\infty}$ function ?
Let be $(a_n)\in\ell^2(\mathbb N)$ and consider the mapping $f:\ell^2(\mathbb N)\to\ell^2(\mathbb N)$ given by
$$
f\Big((a_n)\Big)=(a_n^n).
$$
Question: Is $f$ a Fréchet $C^{\infty}$ function in whole ...
- 2,044
7
votes
2
answers
859
views
Bounds on remainder term of power series of elementary functions
This is mainly a question about the remainder term of power series for elementary functions.
I'm very interested in aspects of calculating or computing elementary operations and functions, by which I ...
- 524
8
votes
2
answers
3k
views
Discontinuous convolutions
Is the following true?
The convolution of two infinitely differentiable as well as integrable real functions can be nowhere continuous.
A reference/proof idea would be very helpful.
- 9,641
26
votes
6
answers
8k
views
prime ideals in C([0,1])
It is clear that each maximal ideal in ring of continuous functions over $[0,1]\subset \mathbb R$ corresponds to a point and vice-versa.
So, for each ideal $I$ define $Z(I) =\{x\in [0,1]\,|\,f(x)=0, ...
- 5,063
0
votes
1
answer
554
views
modular arithmetic of Hermite polynomials
I wonder if there is anything known (formula, asymptotics, etc) of computing the remainder
$R_{k,m} \equiv H_{k} ~ \mod H_m$
for $k > m$, where $H_m$ denotes the $m$th Hermite polynomial (...
- 1,839
3
votes
2
answers
868
views
Asymptotics of Hermite and hypergeometric function
I am looking for the asymptotics of the following integral
$\int_{\mathbb{R}} H_m^2(x) {\rm e}^{-2 \alpha^2 x^2} {\rm d} x = 2^{m-1/2} \alpha^{-2m -1} (1-2\alpha^2)^m \ \Gamma(m+1/2) ~ _2F_1\left(...
- 1,839
0
votes
0
answers
368
views
the implicit function theorem in subsets of R$^2$
As the implicit function theorem shows, if
(i)Function F is continuous in the region D$\subseteq R^2$;
(ii)F($x_0,y_0)=0,P_0(x_0,y_0)\in$D;
(iii)There is a continuous partial derivative $F_y$(x,y)=...
- 57
6
votes
6
answers
3k
views
The maximum of a real trigonometric polynomial
Given the coefficients $a_0,\ldots,a_N$, $b_1,\ldots,b_N$ of a real trigonometric polynomial:
$ f(x) = a_0 + \sum_{n=1}^N a_n \cos(nx) + \sum_{n=1}^N b_n \sin(nx) $
is there any efficient way to ...
- 531
1
vote
1
answer
307
views
variational formulation: boundedness of the bilinear form
The simplest case of the problem I'm thinking about involves an elliptic differential operator, $Lu = -u'' + qu$, on the interval $(0,1)$, with homogeneous Dirichlet boundary conditions. I want to ...
- 343
6
votes
3
answers
3k
views
Why isn't the theorem of approximation applicable in Banach spaces?
Let X be a Hilbert space, A a convex, closed subset of X. Then there exists for every x in X exactly one best approximation in A, that is there exists a y in A such that || x-y || = d(x,A) = inf { || ...
- 61
2
votes
1
answer
2k
views
Puiseux series for roots of polynomials with smooth coefficients
If
$$p(x,y) = x^N + a_{N-1}(y)x^{N-1} + \ldots + a_0(y), \quad x,y \in \mathbf{C}$$
is a monic polynomial in $x$, and the coefficients $a_j$ are analytic functions of $y$, then the roots of $p$ ...
- 793
1
vote
1
answer
397
views
Partial $L^2$ control on (part of) the Hessian of a harmonic function.
I have a simple little analysis question that I'm hoping is well known.
Suppose $D=\lbrace(x,y): x^2+y^2<1\rbrace$ is the unit disk and that $u$ is a harmonic function on $D$. Suppose in addition ...
- 2,299
13
votes
0
answers
564
views
Symmetric (extended) Haagerup tensor product
Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...
- 18.7k
35
votes
19
answers
9k
views
Interesting applications (in pure mathematics) of first-year calculus
What interesting applications are there for theorems or other results studied in first-year calculus courses?
A good example for such an application would be using a calculus theorem to prove a ...
4
votes
2
answers
519
views
Factorization through $\ell_{1}$ and operator ideals
Recently, I bumped into the class of operators that factor through $\ell_{1}(X)$ for some set $X$. For now, $X$ is a set with arbitrary cardinality but if it leads to a more concrete answer to my ...
- 1,848
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
5
votes
3
answers
2k
views
Characterizing the harmonic oscillator creation and annihilation operators in a rotationally invariant way
I am interested in a characterization of the creation and annihilation operators that is in some sense invariant under $O(n)$ rotations of $\mathbb{R}^n$:
Background
The Harmonic Oscillator on $\...
- 7,197
19
votes
2
answers
1k
views
Are there space filling curves for the Hilbert cube?
There is a surjective continuous map $[0;1]\rightarrow [0;1]^2$ ("space filling curve"). Using such a map one can easily get space filling curves for all finite dimensional cubes.
So my question is: ...
- 11.1k
4
votes
2
answers
676
views
Basis for L_infty(R)
Let $V$ be the Banach space of bounded sequences of reals with the sup norm. Does there exists a subset $B$ of $V$ such that
Linear Independence: For all functions $c$ in $\mathbb{R}^B$, if $\sum_{b ...
user5810
1
vote
0
answers
547
views
A transformation of infinite series
Suppose I have a convergent infinite series $\sum_{n=0}^\infty (-1)^n a_n = S_0$ and $0 < S_0 < 1$. Write $s_n$ for the $n$-th partial sum. ($s_n = \sum_{k=0}^n (-1)^k a_k$) Now consider the ...
- 1,484
2
votes
3
answers
891
views
Fourier Transforms restricted to mass shell
Hello,
I am stuck with the following (hopefully not too trivial) problem.
I want to know, if the map
$${\cal D}(\mathbb{R}^2)\to L^2(H_m,d\Omega_m)\qquad f \mapsto \hat{f}|_{H_m}$$
has dense range.
...
- 23
1
vote
2
answers
530
views
Finding regions where multi-variate polynomials are positive
Given a constant $k \in \mathbb N$, and a set of $p$ multi-variate polynomials {$P_j:\mathbb N^n\to \mathbb Z$}$\_{j=1...p}$, with $P_j \not\equiv 0$.
Is the following true:
There exists $n$ sets $...
- 113
33
votes
0
answers
1k
views
Subalgebras of von Neumann algebras
In the late 70s, Cuntz and Behncke had a paper
H. Behncke and J. Cuntz, Local Completeness of Operator Algebras, Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. 95-...
- 25.5k
1
vote
0
answers
283
views
Density of Dolean exponentials in L2 and Wiener Measure
Assume that W is the classical Wiener space C([0,1],R) note $\mu$ the Wiener measure, and denote by $\mu_s$ the image of $\mu$ under the maping $T: W ->W$ such that$ T(w)= \sqrt(s) w$ . Denote by $...
- 19
8
votes
1
answer
612
views
Is the set of exponentials open?
Let $A$ be a $C^*$-algebra or some norm-closed algebra of operators on a Hilbert space.
In the old paper
Hille, E. On Roots and Logarithms of Elements of a Complex Banach Algebra, Math. Annalen, ...
- 25.5k
2
votes
1
answer
342
views
Straight line on the Poincare disk hitting points almost everywhere
Consider the tiling of the Poincare disk $\mathbb{D}$ by identified octagons (i.e., representing a torus with genus 2). Suppose inside each octagon is a subset A such that the octagon minus A is a ...
- 21
2
votes
1
answer
1k
views
Inequality concerning absolute value of a polynomial
Let
$$f(z) = (1-1/t) z^w + z/t - 1$$
with integers $t\geq2$ and $w\geq2$.Let $r=1+1/(tw^3)$. How do I show
$$\left\lvert f(r e^{i\varphi}) \right\rvert \geq \left\lvert f(r) \right\rvert$$
for any $\...
- 577
3
votes
1
answer
367
views
A differential inclusion relating to the slope of a convex function
This question is concerned with a possible lemma which would be very useful in one of my current research projects, but which I am currently unable to prove. The project as a whole relates to the ...
- 6,206
1
vote
1
answer
950
views
The difference between Lebesgue and Hardy spaces
Are there any known inequalities of the following type for $f$ satisfying some conditions:
$$
\|f\|_{H_p(\mathbb{R})} \le C\|f\|_{L_p(\mathbb{R})},
$$
where $H_p$ denotes the real Hardy space and $...
- 979
-1
votes
1
answer
311
views
A differential equation
let $g(s)$ be real-valued function defined on $[0,T]$ such that $g(T)=0$ and suppose that $g$ is a "nice function"
Assume that $0<\gamma<1$, $v$ is a positive number, and
$$\frac{dg}{ds}+(v\...
- 1
26
votes
2
answers
2k
views
Analogues of Luzin's theorem
If $X$ is a compact metric space and $\mu$ is a Borel probability measure on $X$, then the space $C(X)$ of continuous real-valued functions on $X$ is a closed nowhere dense subset of $L^\infty(X,\mu)$,...
- 8,903
20
votes
4
answers
2k
views
Banach and Knaster-Tarski fixed point theorems -- are they related?
It there any known way of obtaining the Banach fixed-point theorem from the Tarski fixed-point theorem or vice-versa?
- 11.8k
1
vote
1
answer
706
views
Plancherel-Polya Type Inequality for non-compactly Fourier-supported Functions??
Hi!
The Plancerel-Polya inequality can be stated as follows:
Let $0 < p\le \infty$ and $ \nu \in \mathbb{Z}$. Suppose that $g$ is a (smooth) function satisfying $\mbox{supp }\hat g \subset \...
- 979
2
votes
1
answer
1k
views
Hilbert Schmidt operators
I don't know much about the theory of Hilbert spaces but a research project has me working with them a little bit. In particular requiring an operator to be Hilbert-Schmidt is a recurring condition. ...
- 3,968
7
votes
3
answers
1k
views
Nice orthonormal basis for L^2(Cantor set)
Let X be the Cantor set, which we view as the space $2^\mathbb{N}$ (the set of all infinite binary sequences), equipped with the product topology. We can construct a Borel probability measure $\mu$ on ...
- 81
4
votes
3
answers
1k
views
On the existence of a sequence of positive continuous functions
Does there exist a sequence $(f_n)$ of positive continuous functions on $\mathbb{R}$ such that
$f_n(x) \rightarrow \infty$ if and only if $x \in \mathbb{Q}$?
If $f_n(x) \rightarrow \infty$ is ...
- 131
9
votes
2
answers
4k
views
On the behaviour of $\sin(n!\pi x)$ when $x$ is irrational.
Hi,
I'm interested in the behaviour of the sequence $(\sin(n!\pi x))$, when $x$ is irrational, as $n$ tends to infinity.
1) Is the sequence dense in $(-1,1)$?
or
2) Is it possible that for some ...
- 131
3
votes
2
answers
216
views
one-side estimates for quasi-trigonometric polynomial
Let $f(x)=\Re(\sum_{k=1}^n a_k e^{i\lambda_k x})$ for $0 < \lambda_1 < \lambda_2 < \dots < \lambda_n$ and some complex $a_1$, $a_2$, $\dots$, $a_n$. What is the best (in some sense) ...
- 109k