All Questions
5,857 questions
2
votes
1
answer
363
views
Integration against Borel measures on compact Hausdorff spaces
I am studying the properties of integration against Borel measures and Baire measures. And I am not sure whether the following proposition is correct and I tried to give a proof.
Suppose that $X$ ...
- 165
6
votes
1
answer
1k
views
Level sets of a Weierstrass nowhere-differentiable function
Can anyone describe level sets of a Weierstrass nowhere-differentiable function? For example, let $f(x) = \sum_{n=0}^\infty \frac{1}{2^n} \cos( 4^n \pi x)$. For some $c \in (-2,2)$, what is known ...
- 413
2
votes
2
answers
232
views
Heat equation: impact of the diffusion coefficient on the Harnack constant
Consider the heat equation
$$
u_t - div[a(x,t) \nabla u] =0,\quad (x,t) \in B(r) \times [-r^2, 0] \subset \mathbb R^{d+1}
$$
for a Hölder continuous coefficient $a(x,t)$ satisfying
$$
0<C_o \le a(x,...
- 632
9
votes
2
answers
804
views
Partition of R into midpoint convex sets
We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$.
My question is: is it possible to partition $\mathbb{R}$ ...
- 1,359
4
votes
0
answers
144
views
Asymptotic expansion of a Gaussian integral and heat kernel
When considering the heat kernel of a Schr\"odinger operator
$$- \Delta + V(x) $$
where $\Delta$ is the standard Laplacian on ${\mathbb R}^n$ and $V$ is a nonnegative potential function that has ...
- 1,207
3
votes
1
answer
516
views
Is there a direct proof of the following real analysis fact?
I want to prove the following fact without using topological degree theory or related algebraic topology
Let $h:\overline{B}(0,1)\to \mathbb{R}^n$ be a continuous map such that $|h(x)-x|\leq \delta$ ...
- 1,881
5
votes
0
answers
122
views
How to solve this operator equation numerically?
I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form
$$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$
So even if there ...
- 501
1
vote
1
answer
402
views
Are solutions of the Beltrami Equations necessarily smooth?
Let $ a $, $ b $ and $ c $ be real constants such that $ \Delta \stackrel{\text{df}}{=} a c - b^{2} > 0 $. The Beltrami Equations are defined as the following system of PDE’s on the domain $ \Bbb{R}...
- 1,396
0
votes
1
answer
535
views
a sum of ratios of quadratic forms
I have the following function that I would like to optimize over the value A
$$f(A)=\sum_k \frac{\mathbf{y}_k^H\left[\begin{array}{cc} 1&0\\ 0& A \end{array} \right]\mathbf{x}_k\mathbf{x}_k^H\...
- 61
2
votes
0
answers
88
views
Conditions for $B$ that make $ADB + (ADB)^T$ positive (semi-)definite
I am trying to find conditions under which this dynamical system converges. At the end of the day, we have something like
$$
0 \leq x^TD_0W_0D_1W_1D_2 \dots W_ND_NCx
$$
With $D_i$ matrices that are ...
- 121
4
votes
1
answer
581
views
A question on null sequences
Is it true that a sequence of real numbers $\{a_n\}$ converges to zero if and only if the sequences $\{\sin^2(nh)a_n\}$ $(h \in \mathbb{R})$ all converge to zero?
In case the answer is affirmative (...
- 13.5k
4
votes
1
answer
393
views
How can I show that "almost all function" have property P?
The following is cross-posted from
https://math.stackexchange.com/questions/1391293/is-almost-all-function-a-well-defined-concept
since I didn't (yet) get an answer there.
(I hope that's okay?)
...
- 151
8
votes
1
answer
726
views
Multiplication of Cauchy and Dedekind real numbers
In Michael Dummett's book "Elements of Intuitionism", the product of real numbers is defined as follow:
$x\cdot y= \{ \langle r_n\rangle \cdot \langle s_n\rangle$ | $\langle r_n\rangle\in x , \langle ...
- 81
1
vote
1
answer
104
views
Is there a Darboux function like the one described below?
Does there exists Darboux function which is continuous at only one point and discontinuous at all other points in the interval on which it is defined?
- 131
1
vote
1
answer
130
views
Resolvent difference of absolute values!
Let $T$ be a bounded operator. Then, the operators $\left\lvert T \right\rvert:=\sqrt{T^*T}$ and $\left\lvert T^* \right\rvert:=\sqrt{TT^*}$ are well-defined.
Is there a way to write
$$(\left\lvert ...
- 115
3
votes
1
answer
156
views
How many steps do I have tto complete? Recursive sequence
Maybe it's a simple question... Fix a positive $N$. Let $a_{n}$ be the recursive sequence:
$$a_{1} = N$$
$$a_{n}=a_{n-1}-(a_{n-1})^{\frac{2}{3}}.$$
How many steps do I have to complete in order to ...
1
vote
0
answers
186
views
Using continuity + commutativity to define "limit"
Let $S$ be the set of real sequences, and $S_0\subset S$ be the set of convergent real sequences. For each $f:\mathbf R\to\mathbf R$, we define $\bar{f}:S\to S$ by $$\bar{f}(\{x_n\})=\{f(x_n)\}.$$
It ...
- 1,630
7
votes
0
answers
394
views
Fixed radius mean value property implies harmonicity?
Let $f$ be a continuous real-valued function on $\mathbb{R}^n$. It is well known that the following are equivalent:
$f$ is harmonic.
$f$ satisfies the ball mean value property
$$
f(x)=\frac{1}{|B(x,r)...
- 527
5
votes
2
answers
1k
views
Stone-Weierstrass for monotone functions
Let $\; f : [0,1] \to \mathbb{R} \;$ be continuous and non-decreasing. $\;\;$ Let $\epsilon$ be a real number such that $\; 0 < \epsilon \;$.
Does it follow that that there exists a real ...
user5810
1
vote
1
answer
261
views
The existence of differential operator of the form $AB=0$
We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if
$$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$
where $\alpha$ is an muti-index and $A_\alpha(...
- 679
1
vote
1
answer
102
views
Expansions in terms of a variable in the integration limit in a point where the integration limit is not differentiable
Consider the following integral
$$
\int_{-\infty}^{-(-a+\frac{b}{y})^{1/2}}\frac{e^{-x^2}}{x}dx
$$
where $a,b>0$. The integral can be solved exactly but I am not interested in that. I want to ...
- 247
1
vote
0
answers
94
views
Measure of the boundary of the support of a certain function defined by an expectation
Suppose:
$\mathcal{S} = \{ S \in \mathbb{R}^d \ | \ S_i > 0, \forall i = 1,...,d \} $
$R$ is a random vector (on some probability space, $\Omega$) such that, $R: \Omega \to \mathcal{S}$.
$h : ...
- 111
4
votes
1
answer
270
views
Compact, not local uniform convergence of sequences of functions on the rationals
I stumbled upon the following elementary problem while trying to come up with a certain counterexample in category theory. (Basically, I am interested in the constant sheaf of $\mathbb F_2$-vector ...
- 15.6k
0
votes
0
answers
283
views
A symmetric matrix with nonzero principal minors is cogredient to a diagonal matrix via an upper triangular
A paper I'm reading in representation theory states the following result:
Let $F$ be a field of characteristic zero, and $x$ a symmetric matrix in $M_n(F)$ all of whose principal minors are not zero. ...
- 6,180
1
vote
0
answers
180
views
Implicit function theorem for operators
Let $P: (-a,a) \rightarrow \Psi_h^0(\mathbb{R}),$ be a pseudodifferential operator in Weyl quantization with $(-a,a) \ni z \mapsto P(z)$ depending smoothly on this parameter $z$. Note that this ...
- 115
3
votes
1
answer
685
views
Is the countably infinite product of locally convex topological vector spaces locally convex?
Let $(X,\tau)$ be a locally convex topological vector space and denote the product space
$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$
If we endow $X^{\infty}$ ...
- 1,835
3
votes
0
answers
689
views
"Nicely" strong measure zero sets
This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: \omega\...
- 20.5k
0
votes
1
answer
160
views
Global Poincaré type estimate
For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
- 4,115
-1
votes
1
answer
197
views
Closed form for sum involving digamma? [closed]
Let $\Gamma(n)$ be Euler's Gamma function and $\psi_0$ = $\frac{\Gamma'(n)}{\Gamma(n)}$ be the Digamma function.
Is there a closed form for
$$\sum_{n=1}^{\infty} \frac{\psi_0(n)}{n^2}=?$$
I've done ...
2
votes
1
answer
376
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 181
2
votes
1
answer
309
views
Convolution vanishes on an interval
Fix a "test" function $f(x)=x\exp(-x^2)$, which is nonzero except $x=0$. Suppose that $g$ is a function with some necessary regularity. Consider the convolution.
$$
(f\ast g )(x)=\int_{-\infty}^{+\...
- 87
5
votes
1
answer
239
views
Function and its Gradient with Prescribed Norms
I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
- 97
3
votes
1
answer
144
views
Operator norm of almost mathieu operator
The almost Mathieu operator has become famous since it is the central object of the ten martini problem.
In this paper here a bound on the operator norm is given. Although the bound is of course ...
- 31
6
votes
1
answer
440
views
Are there superexponential Pfaffian functions?
This question is motivated by model theory, but it's really an analysis question (which means it may have an easy analysis answer that I just don't have the background for). Here's the main question, ...
- 1,979
6
votes
1
answer
809
views
Must the Minkowski sum of a Borel set and a *closed* ball be Borel?
Let A be a Borel set in R^n. Must then A + B(0,1) be Borel?
Here B(0,1) is the closed ball centered at 0 of radius 1.
I know that Erdos and Stone gave an example of a compact set (it is Cantor) and a ...
- 63
2
votes
2
answers
411
views
Asymptotics of the derivatives of analytic functions
Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as $x\...
- 128k
4
votes
2
answers
168
views
For which $r > 0$ is it the case with probability one, for all $n$ sufficiently large $M_n \le r\sqrt{\log n}$?
Let $B_t$ be a standard Brownian motion. Let$$M_n = \max\{|B_t - B_{n-1}| : n - 1 \le t \le n\}.$$For which $r > 0$ is it the case with probability one, for all $n$ sufficiently large$$M_n \le r\...
- 75
9
votes
1
answer
1k
views
M-matrix plus S-matrix is P-matrix?
I am trying to prove that a mapping has a unique fixed-point by showing that its Jacobian is a P-matrix. In this particular case the Jacobian can be decomposed as the sum of two matrices and I would ...
- 197
2
votes
1
answer
267
views
Monotonicity of the integral
Let $R(x)$ be the residual function associated to the normal probability density, i.e.
$$R(x)~=~\int_x^{+\infty}\frac{1}{\sqrt{2\pi}}e^{-\frac{y^2}{2}}dy, \mbox{ for all } x\in R.$$
Define
$$\phi(...
- 1,835
1
vote
1
answer
139
views
Compactly supported functions and projections
Let $\Omega$ be an open subset of $\mathbb{R}^n$ and take a family of continuous compactly supported functions $f_n$ on $\Omega$ normalized to one (in the $L^2$ sense).
Then, these functions span a ...
- 501
2
votes
0
answers
463
views
Conditions for continuity of non-simple eigenvectors
Here, https://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
- 37
5
votes
2
answers
1k
views
Generalizations of Oppenheim's inequality
The well-known Oppenheim inequality says that for two positive definite matrices $A,B$ it holds that $\det(A \circ B) \geq (\prod{a_{ii}})\det(B)$.
There has been a lot of beautiful work done ...
- 6,962
4
votes
1
answer
161
views
Hellinger integral for the Student/Cauchy family
Let $p$ and $q$ be probability densities on $\mathbb R$, with respect to the Lebesgue measure $dx$. The corresponding Hellinger integral is
$H(p,q):=\int_{\mathbb R}\sqrt{pq}\,dx$.
Let now $p$ be ...
- 128k
3
votes
1
answer
276
views
Nowhere dense set with high multiplicity
For a subset $S\subset[0,1]$ with $0<|S|<1$ ($|S|$ is the Lebesgue measure of $S$) we define the multiplicity function of order $n$ $m_{n,S}:[0,1] \rightarrow \{0,1,\ldots,n\}$ in the following ...
- 549
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
3
votes
1
answer
187
views
Free quantum evolution operator on Sobolev space
I am not a mathematician, but would like really like to get some confirmation on the things I am doing here.
Let $-\Delta: H^2(\mathbb{R}) \subset L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})$ then ...
- 95
6
votes
1
answer
843
views
Orlicz Norm and A result on expectation
I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined:
Consider arbitrary, non-negative, convex function $\psi:\...
- 1,109
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
1
vote
1
answer
186
views
A problem involving power series
We define an entire function on $\mathbb{C}^m$ by
$$
f(z_1,\cdots,z_m)=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}t^{2n}(z_1^2+\cdots+z_m^2)^n,
$$
here $t$ is some (positive) real number. Of course, $f(x)=...
- 1,906
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
- 305