All Questions
5,857 questions
4
votes
1
answer
484
views
Question about normalization factors in the direct integral of operators
So the original question I wanted to ask was this one:
I'm currently a bit puzzled about the normalization for the Gelfand transform $U$:
So if we have a periodic Schrödinger operator $H$, then we ...
- 95
1
vote
0
answers
114
views
density of fractal measures
Let $s\in (0, 1)$ be a real number. Let $E\subset [0, 1]$ be a Borel set whose Hausdorff dimension is given by $s$. Assume that $\mathcal{H}^s(E)=+\infty$, that is, the $s$-dimensional Hausdorff ...
- 11
7
votes
2
answers
518
views
Morse lemma with least amount of regularity.
I recently came across with $C^2$ Morse functions in my work and as I was reviewing some of the stuff I learned about Morse theory, I noticed that all the proofs of the Morse lemma I could come across ...
- 1,211
2
votes
1
answer
497
views
Are the partial derivatives of a function increasing in both variables measurable?
Let $f$ be a function from $[0,1]\times[0,1]$ to $\mathbb{R}$ that is nondecreasing in both variables, i.e. $f(x_1,y_1)\le f(x_2,y_2)$ whenever
$x_1\le x_2$ and $y_1\le y_2$. It is known that the ...
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
2
answers
802
views
Functions that Calculate their $L_p$ Norm
are there any examples of functions $f:x\in\mathbb{R}_0^+\rightarrow\mathbb{R}_0^+$ and intervals $(a,b), 0\le a \lt b \le \infty$ , for which $$\Big(\int_a^b{|f(x)|^p dx}\Big)^\frac{1}{p} = f(p)$$ $$\...
- 13.2k
-1
votes
1
answer
508
views
Derivative of smooth function change sign infinitely on [0,1]? [closed]
Can the derivative $f^\prime$ of a smooth function $f\in C^\infty[0,1]$ change sign infinitely many times (or $f$ have infinitely many isolated critical points)? If yes, how about an analytic function ...
- 113
7
votes
1
answer
1k
views
The closed form of $\sum_{n=2}^\infty(-1)^{n+1}\frac{\psi(n)}n\log(n)$
The following series I'm interested in $$\sum_{n=2}^\infty(-1)^{n+1}\frac{\psi(n)}n\log(n)$$
where $\psi(n)$ is digamma function
arose in the evaluation of an integral I posted on MSE, https://...
- 253
7
votes
4
answers
1k
views
The non-convergence of f(f(x))=exp(x)-1 and labeled rooted trees
This question is closely related to MO f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential. Consider $e^{e^x-1}$, this is the generating function of the Bell ...
user37691
0
votes
1
answer
138
views
On the essential infimum (over subdomains) of nonnegative measurable functions
let $\Omega:=\left( a,b\right) \subset\mathbb{R}$, and suppose
$f:\Omega\rightarrow\left[ 0,\infty\right) $ is a bounded (Lebesgue)
measurable function, with $f\not \equiv 0$ almost everywhere. It ...
- 3
3
votes
0
answers
3k
views
Derivative of the regularized upper incomplete gamma function
I have a question about the derivative of the regularized upper incomplete gamma function. Considering the gamma function and the incomplete gamma function
\begin{eqnarray}
\Gamma(x)&=&\int_0^\...
- 607
1
vote
0
answers
137
views
Is there an analysis theorem analogous to Kuznetsov/Petersson trace formula?
I am thinking about general differential operator acts on a compact manifold. Is there something similar to Kuznetsov trace formula?
For example, let $f_i $ be the eigenfunctions of an operator $D$, ...
- 3,804
3
votes
0
answers
1k
views
Concentration of Sub-exponential random Vectors
I was wondering if there is a similar definition of multivariate sub-exponential distribution as the sub-Gaussian case.
Specifically, a random vector $X \in \mathbf{R}^d$ is sub-Gaussian if
\begin{...
- 1,127
1
vote
1
answer
194
views
Uniformly approximating a function of vanishing variation by functions of vanishing gradient
Let us say that a bounded smooth function $f:\mathbb{R}\rightarrow\mathbb{R}$ has vanishing variation at infinity (or satisfies "property $A$" for short) if, for any $r\neq 0$, we have
$$\lim_{x\...
- 1,913
2
votes
1
answer
103
views
Matuszewska Index and finite variance
Suppose there is a random variable, $X$, with finite variance, and c.d.f. $F(x)$. Does this imply that the upper Matuszewska index of $\bar F(x)$ exists and is strictly smaller than $-2$?
The upper ...
- 294
3
votes
0
answers
915
views
How to find a closed form of following matrix's determinant [closed]
I wanna find a closed form of determinant of the following matrix
$$A(n) =
\begin{pmatrix}
B_{1} & B_{2} & \cdots & B_{n} & 1 \\
B_{n} & B_{1} & \cdots & B_{n-1} &...
- 513
8
votes
3
answers
540
views
Real varieties with enough algebraic loops
Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$).
We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...
- 43.2k
4
votes
2
answers
3k
views
Power series with non-integer exponents
Motivation:
For the sake of concreteness, I'll state a very particular context, but my question is a little more general. I'm trying to find a function $\gamma\colon [0,\delta) \to [0,\delta')$ that ...
- 8,903
1
vote
1
answer
65
views
Generalizations of Pedal Coordinates
I recently "stumbled upon" the article
Pedal coordinates, Dark Kepler and other force problems by Petr Blaschke from 2017; further search about Pedal Coordinates didn't bring up any other ...
- 13.2k
4
votes
1
answer
225
views
Multivariate Zero-Bias Transform
The zero-bias transform for a univariate random variable $W$ is defined as a random variable $W^*$ satisfying
\begin{align}
\mathbb{E} [ W \cdot f(W )] = \mathbb{E} [ f' (W^*)]
\end{align}
for any ...
- 1,127
2
votes
1
answer
363
views
On a derivative involving the Riemann zeta function
Let $n$ be a positive real number. Can the equality
$$\dfrac{d^{n}}{ds^{n}}\Big[s^{n-1}\ln\Big(\pi^{-s/2}\Gamma\Big(1+\frac{s}{2}\Big)\Big)\Big]\Bigg|_{s=1} = - \dfrac{d^{n}}{ds^{n}}\Big[s^{n-1}\ln\...
- 47
4
votes
1
answer
264
views
Density of the max set of a non-differentiable function
For $f : [0;1] \to \mathbb{R}$, let $M_f := \{x \in [0;1] \mid f(x)$ is a local strict maximum of $f\}$. It is easy to see that for any $f$, $M_f$ is at most countable. It is also easy to see that ...
- 15.9k
5
votes
0
answers
83
views
A subadditive bijection on the positive reals
I posed some time ago this question on MSE, which I am proposing also here since we got no definitive answer.
Question. Does there exist a subadditive bijection $f$ of the positive reals $(0,\infty)...
- 1,511
5
votes
2
answers
2k
views
Constructive Proof to Show that Algebraic Numbers are Algebraically Closed
EDIT2: After reading some papers, I think the question can best be rephrased as "How can the minimal polynomial for a polynomial with algebraic coefficients be calculated. I have seen papers and ...
- 103
4
votes
1
answer
1k
views
Fourier coefficients of real analytic functions on an n-dimension torus
Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of $...
- 7,609
1
vote
0
answers
93
views
Relative boundedness of the adjoint
Let $X$ be a separable Banach space and $T_1:D(T_1) \subset X \rightarrow X$ and $T_2:D(T_2) \subset X \rightarrow X$ two closed operators with $D(T_2)\subset D(T_1)$ and $D(T_2^*) \subset D(T_1^*).$
...
- 33
0
votes
1
answer
52
views
Binarily universal members of $[0,1]$
Let $r\in[0,1]$. We look at the binary represenation of $r$ and say that $r$ is binarily universal if every finite binary string appears in at least one place in the binary representation of $r$. Let $...
- 48.9k
5
votes
1
answer
592
views
Recursively calculate the determinant
A generic $k \times k$ block symmetric matrix $\Sigma$ is denoted as
\begin{align}
\Sigma = \begin{bmatrix}\Sigma_{11} & \Sigma_{12} & \ldots & \Sigma_{1k} \\ \Sigma_{21} & \Sigma_{22} ...
- 515
0
votes
0
answers
75
views
Dense Egoroff theorem
Suppose that $f_n:X\rightarrow V$ is a sequence of continuous functions from a compact metric space $X$ to a Banach space $V$ and let $\mu$ be a Radon measure on $X$ and $\epsilon>0$ be given.
...
- 5,405
0
votes
0
answers
308
views
Invertible operator
We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$
We hope to prove that $T$ is invertible if and only if $L = n\pi $.
and for this ...
- 617
1
vote
1
answer
310
views
inequality involving increasing functions
Let $a_k$ and $b_k$ be ascending positive numbers for $1\leq k \leq K+1$.
If it is known that
$$\frac{K\left(\exp\left(\frac{1}{K}\sum_{k=1}^K b_k\right)-1\right)}{\left(\sum_{k=1}^K \sqrt{a_k} \sqrt{\...
10
votes
1
answer
1k
views
Extension of measures from the ball sigma-algebra to the borel sigma-algebra
Let $X$ be a metric space, $\Sigma_{1}$ the borel sigma algebra and
$\Sigma_{2}$ the sigma algebra generated by balls (open and closed).
If $\mu$ is a probability measure on $\Sigma_{2}$ can it be ...
- 307
1
vote
1
answer
87
views
Function is almost everywhere 1 w.r.t. sequence of regular Borel probability measures
Let $\epsilon>0$ be given. Let $Y$ be a compact, Hausdorff space and let $U\subseteq Y$ be an open subset. Assume that $(\mu_n)_{n\in\mathbb{N}}$ is a sequence of regular Borel probability measures ...
- 11
3
votes
1
answer
289
views
Domain of Laplacian
Let $L$ be an operator on $C^2(\mathbb R)$, defined by
$$L \phi (x) = \int_{|y|<1} (\phi(x+y) - \phi(x) - \phi'(x) \ y)\ \nu(dy), \text{ for all } x\in \mathbb R$$
for a measure $\nu(dy) = |y|^{-2} ...
- 133
1
vote
1
answer
161
views
Continuity of image of resolvent operator with respect to resolvent parameter
Suppose $D$ is a first-order differential operator on a manifold $M$ and that the inverse $(D+t)^{-1}:H^0(M)\rightarrow H^1(M)$ exists for all $t > 0$, where $H^i(M)$ is the $i^\text{th}$ Sobolev ...
- 1,913
0
votes
1
answer
303
views
Approximation of a $C^{\infty}_c$ function with tensor products of a constant tensor rank
I asked the following question a few days ago:
Approximation of a $C^{\infty}_c$ function by tensor products
However, I then realised that I actually need a stronger result in my proof.
As in the ...
- 357
5
votes
1
answer
903
views
Uncountable Pre-Image
I've been reading about space filling curves, and been asking myself this question.
If $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ is a continuous open map, is it true that $\forall x \in$ range$(f)$ ...
- 53
2
votes
1
answer
140
views
An inequality about embedding of cube into metric spaces
A k-cube in $X$ is a function $\psi:\{-1,1\}^k\to (X,d)$.
An edge of a cube is a pair of points $\{\psi(\epsilon_1),\psi(\epsilon_2)\}$ in $X$ such that $\epsilon_1$ and $\epsilon_2 $ differ in ...
- 1,245
5
votes
0
answers
411
views
Partition of the unit interval into uncountably many sets of full outer measure
Is it possible to construct an uncountable partition $(A_\delta)_{\delta\in[0,1]}$ of the unit interval $[0,1]$ such that $\mu (A_\delta)=1$ for each $\delta\in[0,1]$? ($\mu$ stands for the outer ...
- 931
3
votes
3
answers
1k
views
On the existence of compactly supported functions whose its Fourier transform satisfies a given condition
My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...
- 31
1
vote
0
answers
74
views
Nonlinear maps in Riesz Thorin theorem
The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear.
What I was wondering about is whether this is because otherwise you do ...
user127450
18
votes
2
answers
1k
views
An Entropy Inequality (generalized)
Let $X,Y$ be probability measures on $\{1,2,\dots,n\}$. For $0\le \alpha \le 1$, set $K=\sum_i X(i)^\alpha Y(i)^{1-\alpha}$ so that $Z:=\frac{1}{K}X^\alpha Y^{1-\alpha}$ is also a probability measure ...
- 351
2
votes
0
answers
210
views
A sum with integer parts
Let $ \mathcal{A} $ be a set of reals such that $ \sum_{a \in \mathcal{A} } \frac{1}{a} = \infty $ and $ \sum_{a \in \mathcal{A} } \frac{1}{a^2} < \infty $. For instance, $ \mathcal{A} = \mathbb{N}^...
- 593
3
votes
0
answers
848
views
Does a bounded convex domain has one smooth boundary point?
In the study of analysis and geometry of a bounded domain, its boundary regularity is important. For example, it is known that a bounded convex domain has Lipschitz bounday. This implies that a ...
- 285
6
votes
1
answer
6k
views
Change of variables formula for Riemann integration and Lebesgue Integration
I've put this question on math.SE for a while without getting any answers. I thought it must be a rather trivial question for MO so that I didn't put it here. But I do want to get some help anyway (...
user14319
6
votes
2
answers
308
views
Recent trends in effective analysis
The references listed at http://en.wikipedia.org/wiki/Computable_analysis have all been published 30-15 years ago. Are the approaches which these references expose still up-to-date and relevant to the ...
user60665
7
votes
0
answers
106
views
The first homotopic Baire class
Let $X$ and $Y$ be topological spaces. A map $f:X\to Y$ belongs to the first Baire class (to the first homotopic Baire class), if there exists a continuous map $H:X\times \omega\to Y$ (a continuous ...
- 367
4
votes
2
answers
225
views
Extremal problem for sequences
Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...
- 49
5
votes
2
answers
2k
views
Determinant of non-symmetric sum of matrices
Given three real, symmetric matrices $A\succ0$ and $B$, $C⪰ 0$.
How can it be shown that:
$$\det(A^2+AB+AC) \leq \det(A^2 +BA +AC+BC) ? \qquad (\star)$$
Where $A^2$ is symmetric and positive ...
- 53
3
votes
1
answer
1k
views
A calculus question related to the nonnegative definite functions
I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that
$$
\int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge 0$...
- 1,649