All Questions
5,876 questions
11
votes
4
answers
4k
views
When is the infimum of an arbitrary family of measurable functions also measurable?
Let $(X,\Sigma,\mu)$ be a measure space and consider a family of $\mu$-measurable functions $f_i:X \to \mathbb{R}$ for $i$ lying in some index set $I$. Define $$f(x) = \inf_{i \in I} f_i(x)$$
I think ...
- 15.5k
11
votes
2
answers
2k
views
L'Hopital rule for upper and lower limit?
I am reading the following paper 1998(H.Hudzik) P.574
It reads using L'Hopital rule$$\liminf_{u\to\infty} \frac{1/\varphi(1/u)}{\psi(u)}=\liminf_{u\to\infty}\frac{\varphi'(u)}{\psi'(u)u^2[\varphi(1/u)]...
11
votes
6
answers
872
views
A question on the real root of a polynomial
For $n\geq 1$, given a polynomial
\begin{equation*}
\begin{aligned}
f(x)=&\frac{2+(x+3)\sqrt{-x}}{2(x+4)}(\sqrt{-x})^n+\frac{2-(x+3)\sqrt{-x}}{2(x+4)}(-\sqrt{-x})^n \\
&+\frac{x+2+\...
- 145
11
votes
3
answers
2k
views
Hilbert's 17th Problem for smooth functions
Consider an open subset $U \subseteq \mathbb{R}^n$ and a smooth function $f\colon U \longrightarrow \mathbb{R}$ with $f(x) \ge 0$ for all $x \in U$.
It is then known (if I remember correctly: by ...
- 8,098
11
votes
3
answers
890
views
Structure theorems for compact sets of rationals
Everyone knows the Heine-Borel theorem characterizing compact subsets of Euclidean space. For any $n \in \mathbb N$ a set $A \subseteq \mathbb R^n$ is compact just in case it is closed and bounded (in ...
- 1,882
11
votes
2
answers
478
views
$x f'$ bounded by $x^2f $ and $f''$?
Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
- 177
11
votes
2
answers
10k
views
Derivative of eigenvectors of a matrix with respect to its components
Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as
$$
B= \sum_{i=1}^3 \lambda_{i}(...
- 221
11
votes
4
answers
3k
views
Classification of Tori of GL2, up to conjugation
Over an algebraically closed field $k$, every one-dimensional torus embedded (as a closed algebraic subgroup) into GL2 is diagonalisable, and the embedding is $t\mapsto (t^m,t^n)$ for some integers $m,...
- 7,722
11
votes
3
answers
3k
views
Is the supremum of continuous functions integrable?
Let $f_\alpha$ be a family of continuous positive functions $\mathbb R\to \mathbb R$
where the index $\alpha$ runs in a compact metric space
and the map $\alpha\to f_\alpha$ is continuous
with ...
- 29.1k
11
votes
3
answers
2k
views
Does anyone recognize this inequality?
In some paper the authors make use of the following inequality without further explanation: Let $x\in\mathbb{R}^n$ with $x_1\le\cdots\le x_n$ and $\alpha\in[0,1]^n$ with $\sum_{i=1}^n \alpha_i=N\in\{1,...
- 363
11
votes
2
answers
2k
views
Operator that commutes with projections
We investigate the Hilbert space $\ell^2(\mathbb{N}_0)$ with standard orthonormal basis vectors $e_n:=(0,...,0,1,0,...).$
Consider the family of self-adjoint rank $1$ projections $P_n\bullet:= \...
- 536
11
votes
2
answers
531
views
Asymptotics of $\int_0^\infty \frac{x^{2z}}{\Gamma(1+z)}\,dz$ for large $x$
I'm interested in the asymptotics of
$$\int_0^\infty \frac{x^{2z}}{\Gamma(1+z)}\,dz$$
as $x\to\infty$. I expect the results to behave similarly to $e^{x^2}=\sum_{k\ge 0}\frac{x^{2k}}{k!}$. However, I'...
- 860
11
votes
3
answers
1k
views
"Simple" integral equation
Let $H(z)$ be a continuous solution of the problem
$$
H(z)=\frac1{1-z}\int_z^1 \frac{2\zeta}{1+\zeta} H(\zeta^2)\,d\zeta,\ \ \ z\in[0,1);\ \ \ H(1)=1.
$$
Is it true that $H(0)=1-\ln2$? The question ...
- 283
11
votes
2
answers
2k
views
Converse of mean value theorem almost everywhere?
Let $f: \mathbb R \to \mathbb R$ be a $C^1$ function.
We say a point $c \in \mathbb R$ is a mean value point of $f$ if there exists an open interval $(a,b)$ containing $c$ such that $f’(c) = \frac{f(b)...
- 6,215
11
votes
4
answers
668
views
Is every non-negative test function the limit of a sequence of sums of squares of test functions?
Let $0\leq f\in\mathscr{D}(\mathbb{R}^n)$. As shown e.g. by J.-M. Bony, F. Broglia, F. Colombini and L. Pernazza, Nonnegative functions as squares or sums of squares, J. Funct. Anal. 232 (2006) 137-...
- 7,817
11
votes
1
answer
1k
views
In the rational numbers, is every convergent power series a Taylor series for a rational function?
David Roberts wrote in the comment section of the blog post "Convergence of an infinite sum in the rationals" the following paragraph:
Someone mentioned (I think on Twitter) that the Taylor ...
- 2,624
11
votes
1
answer
520
views
Problems concerning subspaces of $M_{n}(\mathbb{Q}) $
Let $M_{n}(\mathbb{Q}) $ denote the $n$ times $n$ matrices over the rational number field. $N$ be a subspace of $M_{n}(\mathbb{Q}) $.Then if all the non-zero matrices in $N$ are invertible, what is ...
- 923
11
votes
3
answers
2k
views
How can I simplify this sum any further?
Recently I was playing around with some numbers and I stumbled across the following formal power series:
$$\sum_{k=0}^\infty\frac{x^{ak}}{(ak)!}\biggl(\sum_{l=0}^k\binom{ak}{al}\biggr)$$
I was able ...
- 213
11
votes
2
answers
1k
views
Is sigma-additivity of Lebesgue measure deducible from ZF?
Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. ...
- 16.6k
11
votes
1
answer
766
views
Generalized limits on $\ell^\infty(\mathbb{N})$
Let $\ell^\infty(\mathbb{N})$ denote the set of bounded real sequences $(a_n)_{n\in\mathbb{N}}$. The $\lim$ operator is a partial linear operator from $\ell^\infty(\mathbb{N})$ to $\mathbb{R}$. With ...
- 48.9k
11
votes
3
answers
899
views
Are these three different notions of a graph Laplacian?
I seem to see three different things that are being called the Laplacian of a graph,
One is the matrix $L_1 = D - A$ where $D$ is a diagonal matrix consisting of degrees of all the vertices and $A$ ...
- 1,893
11
votes
2
answers
841
views
Computing the sum of an infinite series as a variant of a geometric series
I came across the following series when computing the covariance of a transform of a bivariate Gaussian random vector via Hermite polynomials and Mehler's expansion:
$$
S = \sum_{n=1}^{\infty} \frac{\...
- 984
11
votes
4
answers
2k
views
Inserting an open and simply-connected set between a compact set and an open set
In a paper I am reading, the following is considered obvious:
Let $K$ be a compact and connected subset of $\,\mathbb R^2$, with $\mathbb R^2\smallsetminus K$ also connected, and $U\subset \mathbb R^...
- 2,933
11
votes
4
answers
5k
views
The metric space associated to a measure space
Let $(X, \mathcal{A}, \mu)$ be a measure space such that $\mu(X) < \infty$. We say that two measurable sets $A$ and $B$ are equivalent if $\mu (A \Delta B) = 0$. The equation $$ d(A,B) = \mu (A \...
- 3,830
11
votes
2
answers
425
views
Maximization of a cubic form over the $14$-dimensional sphere
For any integers $i$ and $j$ such as $1\le i<j\le6$, let $x_{ij}$ be a nonnegative real number.
Is it true that, given the condition
$$\sum_{1\le i<j\le6}x_{ij}^2=1,$$
the sum
$$\sum_{1\le i<...
- 128k
11
votes
2
answers
2k
views
Multi-dimensional moment problem
Let $\mu$ be a measure on $\def\r{\mathbb{R}}\r^n$, $1\le n \le \infty$. Given a (finite) multi-index $\bar{i} = (i_1, i_2, \ldots)$, one can define the moment
$$ m_{\bar i} = \int x_i^{i_1} x_2^{i_2}...
- 12.8k
11
votes
2
answers
1k
views
Twice continuously differentiable implied by existence of limit
I have the following question. Let $f,g:\mathbb{R}\to\mathbb{R}$ be two continuous functions (vanishing at infinity) and assume that
$$
\frac{f(x+t)+f(x-t)-2f(x)}{t^2}\to g(x)
$$
for all $x\in X$ when ...
- 129
11
votes
2
answers
852
views
An (hopeless) integro-differential equation
While doing some estimates for PDEs I came across the following equation:
$$
y'(t) = \alpha(t) + \left( \int_0^t y(\tau) \, d\tau\right)^\gamma, \qquad t \in [0,1]
$$
where $\alpha \colon [0,1] \...
- 980
11
votes
3
answers
3k
views
Dual space of $L^2(\mathbb{R},L^1(0,1))$?
I was wondering what the dual space of $L^2(\mathbb{R},L^1(0,1))$ is? (equipped with Lebesgue measures)
Formally, one would suspect that it is just $L^2(\mathbb{R},L^{\infty}(0,1))$. But this may be a ...
- 175
11
votes
1
answer
2k
views
Transcendentality of all irrationals in the Cantor set
Hi, I am a student researcher trying to prove that all irrationals within the Cantor set are transcendental. This is grounded, intuitively, in Cantor set members' being non-normal; since algebraic ...
- 113
11
votes
1
answer
436
views
How many numbers $\le x$ can be factorized into three numbers which form the sides of a triangle?
Note: Posting in MO since it was unanswered in MSE
Definition: We say that a natural number $n$ has triangular divisors if it has at least one triplet of divisors $n = d_1d_2d_3, 1 \le d_1 \le d_2 \...
- 5,470
11
votes
2
answers
1k
views
Harmonic oscillator in spherical coordinates
It is probably the most well-known result in quantum mechanics that the harmonic oscillator can be solved by supersymmetry.
More precisely, the operator
$$-\frac{d^2}{dx^2}+x^2$$
can be ...
- 113
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 1,199
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
- 7,831
11
votes
1
answer
2k
views
Functions whose antiderivative behaves like xf(x)
I'm wondering if a classification of analytic functions, $f\,$ (it may be that $C^1$ is enough, but I'm not taking any chances, if you have a reason why I only need to consider a larger class of ...
- 1,049
11
votes
2
answers
539
views
Reference request: A multidimensional generalization of the fundamental theorem of calculus
$\newcommand\R{\mathbb R}$Let $f\colon\R^p\to\R$ be a continuous function. For $u=(u_1,\dots,u_p)$ and $v=(v_1,\dots,v_p)$ in $\R^p$, let
$[u,v]:=\prod_{r=1}^p[u_r,v_r]$;
$u\wedge v:=\big(\min(u_1,v_1)...
- 128k
11
votes
3
answers
618
views
smooth functional to detect whether a function has a zero
Does there exist a function $F : C^\infty(\mathbb{R}, [0, \infty)) \to \mathbb{R}$ with the following properties:
$F(f) = 0$ if and only if there exists an $x \in [0,1]$ such that $f(x) = 0$.
$F$ is ...
- 1,092
11
votes
1
answer
1k
views
Has anyone seen this series?
I come across the following infinite series.
$$
\sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}.
$$
In particular, I am interested in the case where $a=1/4$.
...
- 1,649
11
votes
2
answers
587
views
Extracting a subsequence common to infinitely many sets from an uncountable collection with uniform positive upper density
Let $\{a_n\},\{b_n\}$ be strictly increasing sequence of positive integers satisfying $a_1<b_1<a_2<b_2<a_3<b_3<\ldots$ and $(b_n-a_n) \to \infty$. Define $I_n:= [a_n,b_n]$, meaning ...
- 271
11
votes
1
answer
657
views
Does every differentiable a.e. function admit a maximally differentiable representative?
For $f: \mathbb R \to \mathbb R$ a measurable function, we say $g: \mathbb R \to \mathbb R$ is a modification of $f$ if $f = g$ a.e.
Suppose $f$ Is a measurable function that is differentiable a.e.
We ...
- 6,215
11
votes
1
answer
411
views
A density question for the Hilbert transform
Let $\mathscr Hf$ denote the Hilbert transform of a function $f$ defined on the real-line $\mathbb R$. Are the set of functions
$$ \{(f+\mathscr Hf)_{|_{(0,1)}}\,:\, f \in C^{\infty}(\mathbb R)\quad \...
- 4,143
11
votes
2
answers
1k
views
Concentration compactness. Can this concept be stated in a theorem?
I recently attended a talk on NLS which is rather not my main field of interest. Yet, I got interested in a concept called concentration compactness during the talk.
When I approached the speaker ...
- 501
11
votes
1
answer
1k
views
Conditional convergence of $\sum_{n\geq 1} \frac{\sin(p(n))}{n}$?
The series $\sum_{n\geq 1} \frac{\sin n}{n}$ is easily seen to be conditionally convergent, e.g. by Abel summation. But how about $\sum_{n\geq 1} \frac{\sin(n^2)}{n}$? (for which Abel summation fails)...
- 462
11
votes
1
answer
430
views
Cantor set intersecting a geometric sequence
I was working on a problem involving finding all points in the intersection of the Cantor set $C$ and the geometric sequence $\{ (2/3)^i \}_{i=1}^\infty$. The only points I have in this intersection ...
- 113
11
votes
1
answer
953
views
Can a differentiable function have everywhere discontinuous derivative?
For $n \geq 2$, let $f: \mathbb R^n \to \mathbb R$ be differentiable. Is it possible that $\nabla f$ is everywhere discontinuous?
I believe in dimension $1$, $\nabla f$ has to be continuous on a dense ...
- 6,215
11
votes
1
answer
452
views
Does every smooth map of rank at most d factor through a d-manifold?
Suppose $d≥0$, $m≥0$, $n≥0$, and $\def\R{{\bf R}} f\colon \R^m→\R^n$ is a smooth map
whose rank at any point of $\R^m$ is at most $d$.
Here and below, smooth means infinitely differentiable.
Can we ...
- 37.8k
11
votes
1
answer
582
views
An extension of the Carlson's theorem in complex analysis
For the statement of Carlson's theorem please see,
https://en.wikipedia.org/wiki/Carlson%27s_theorem.
There is an extension of Carlson's theorem that says that the condition that $f$ needs to vanish ...
- 4,143
11
votes
2
answers
551
views
Smoothness of finite-dimensional functional calculus
Assume that $f:\mathbb R\to\mathbb R$ is continuous.
Given a real symmetric matrix $A\in\text{Sym}(n)$, we can define $f(A)$ by applying $f$ to its spectrum. More explicitly,
$$ f(A):=\sum f(\lambda)...
- 3,146
11
votes
2
answers
813
views
Textbook recommendation request: Exercises to supplement Evans and Gariepy
While a great book about measure theory and real analysis in $\mathbb R^n$, the only downside is the lack of exercises. Can anyone provide a good book to supplement it with exercises? I plan to use it ...
- 2,069
11
votes
1
answer
1k
views
The Hölder inequality for fractional order Sobolev seminorm?
This question is post on MSE a week ago. I move it here to draw more attention.
Let $u\in C^\infty(\bar I)$ be given where $I=(0,1)$. Define
$$
t(\alpha):=\left(\int_I\int_I \frac{|u(x)-u(y)|^\alpha}{...
- 679