All Questions
5,629 questions
5
votes
2
answers
564
views
Stone-Weierstrass without the "subalgebra" condition
Suppose I consider $C_0(\mathbb{N})$ consisting of function on the natural numbers vanishing at $\infty$. For an irrational $1<\alpha<2$, let $p_{m\alpha}(\cdot)$ be the function $p_{m\alpha}(n)=...
- 161
6
votes
1
answer
379
views
An inequality for a concave function $f(x)=x^{p/2}$
Assume that $p\in(1,2]$, $a,b\ge 1$, $b\le -\frac{1}{2} \left(\cos\frac{\pi }{p}+\sec\frac{\pi }{p}\right)$, and $t\in[0,\pi]$. How to prove this inequality $$\left(\frac{a+\cos t}{b+\cos\frac{\pi }{...
- 333
1
vote
1
answer
184
views
Average distance between points of lower dimensional simplices in $\mathbb R^n$
Notation: By a simplex, we mean the convex hull of a finite set of distinct points in $\mathbb R^n$, which are called the vertices of the simplex. $\mathcal H^n$ will denote the $n$-dimensional ...
- 6,321
3
votes
1
answer
401
views
What does the Jacobian of a vector field at an equilibrium tell you about local behavior of integral curves when the Jacobian is not a stable?
I have a soft question regarding the Jacobian of vector fields and isolated equilibria, and what they imply about local behavior of nearby integral curves near.
Let $V:U \subset_{open} \mathbb{R}^n \...
- 518
4
votes
1
answer
334
views
Is this approximation for $\pi$ enough to make this value converge? And how to find an upper bound for it
Update:
\begin{align*}
|I_n-J_n| = (\pi-S_n)\sum_{k=0}^n |\frac{a_kp_k(\ln\pi)}{\ln^{k+1}\pi}|
\end{align*}
and
\begin{align*}
|I_n| = \sum_{k=0}^n | \frac{a_k\pi p_k(\ln\pi)}{\ln^{k+1}\pi}
-\sum_{k=...
- 521
5
votes
2
answers
708
views
Approximation of Hölder continuous functions "from below"
We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1]$ with $f(0)=0$.
I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\...
0
votes
1
answer
106
views
The sequence has a stationary accumulation point
Let $f:\mathbb{R}^n\rightarrow \mathbb{R}$ be a smooth (continuously differentiable), convex function with a non-empty set of minimizers and $\{x^k\}$ be a sequence such that
(a) $\{x^k\}$ has an ...
- 21
11
votes
1
answer
1k
views
New method to compute square roots [closed]
In 2011 when I was in school I created a formula to calculate square roots... For $x\in\mathbb{R}$ with $x>0$ the following holds:
$$\sqrt{x} = \sum_{n=0}^{\infty}\frac{\left(\prod_{k=1}^{n}\left(\...
- 53
1
vote
1
answer
150
views
Is the Boltzmann entropy continuous in the supremum norm?
We define $U : [0, +\infty) \to [0, +\infty)$ by $U(0) := 0$ and $U (s) := s \log s$ for $s >0$. Then $U$ is strictly convex. Let $D$ be the set of all bounded non-negative continuous functions $\...
- 825
3
votes
4
answers
2k
views
Representation of the Dirac delta function
The Dirac delta function appears in the Sokhotsky formula,
$$\text{Im}\lim_{\epsilon\to 0^+} \frac{1}{x-i\epsilon} = \pi\delta(x),$$
to be understood in the integral sense
$$\text{Im}\lim_{\epsilon\to ...
- 188k
10
votes
1
answer
936
views
Derivative without extrema is monotone
This is a cross-post from Math.SE.
The question was asked there 3 months ago but didn't receive much attention aside from one comment asking for clarification. I feel like it might be non-trivial and ...
- 103
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
0
votes
1
answer
68
views
Box dimension and graph of Hölder function
In Kamont "ON THE FRACTIONAL ANISOTROPIC WIENER FIELD" (found here : https://www.math.uni.wroc.pl/~pms/files/16.1/Article/16.1.6.pdf), on page 96, it is claimed that,
if a function $f:I^{d}\...
- 73
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
3
votes
1
answer
141
views
Oscillation functions and similar constructs
For given $f$ from reals to reals, the associated oscillation function is defined as follows:
$$\textstyle
osc_f(x):= \lim_{n\rightarrow \infty} [\sup_{y \in B(x, \frac{1}{2^n}) } f(y)-\inf_{z \in B(x,...
- 4,359
0
votes
1
answer
167
views
Matrices and vectors of intervals
I'm working on a project and think that matrices and vectors of intervals will be useful.
I'm aware about interval arithmetic, but there is little information on the internet, regarding matrices and ...
- 49
0
votes
1
answer
117
views
Sufficient conditions for ensuring that a monic polynomial in $\mathbf{Z}[x]$ possesses exclusively simple roots
I am seeking sufficient conditions to ensure that a monic polynomial, denoted as $f$ in $\mathbf{Z}[x]$, possesses exclusively simple roots.
Based on an old paper (this reference), it has been ...
- 4,058
18
votes
0
answers
1k
views
Does there exist a continuous open map from the closed annulus to the closed disk?
(Originally from MSE, but crossposted here upon suggestion from the comments)
In this MSE post, user Moishe Kohan provides an example of a non-continuous open and closed ("clopen") function $...
- 833
3
votes
1
answer
211
views
Blowup of Sobolev norms in approximating a non-absolutely continuous function
Let $f: [0, 1] \to \mathbb R$ be a continuous function, and $1 <p \leq \infty$. Suppose $u_n \in W^{1, p}$ are such that $u_n \to f$ uniformly. Is it true that if $f$ fails to be absolutely ...
- 6,321
8
votes
3
answers
429
views
A density claim
Suppose that $g_k\in C([1,2])$, $k\in \mathbb N$ are continuous functions such that $\|g_k\|_{C([1,2])} \leq \epsilon^k$ for some sufficiently small $\epsilon>0$. Is the following claim true:
If $f\...
- 4,115
4
votes
1
answer
253
views
The number of roots of the sum of radicals
Let $n\in \mathbb{N}$ and $$-\infty < a_1 < b_1 < a_2 < b_2 < a_3 < b_3<\cdots<a_n<b_n<+\infty$$ and $k_i\in \mathbb{R}, i=1,2,\ldots,n$. Is there any information about ...
- 89
8
votes
1
answer
688
views
Measure without measurable sets
This question is a little on the softer and speculative side, so bear with me.
Usually a measurable space is $(\Omega, \Sigma)$, a set $\Omega$ and sigma algebra $\Sigma$ of subsets. A measurable ...
- 3,574
3
votes
2
answers
248
views
Exceptional set for Marstrand's projection theorem
If $A\subset\mathbb{R}^2$ is a Borel measurable set and $p_\theta$ is projection onto the line spanned by $(\cos\theta,\sin\theta)$, then it is well known that for almost every $\theta\in[0,2\pi]$, $...
- 265
4
votes
3
answers
370
views
Non-negativity of a complicated function
Show that $f(x)\ge 0$ for $0\le x \le 1$, where:
$$f(x) = \arccos(x)^2 -8x(5x^2-2) \sqrt{1-x^2}\arccos(x)+36 x^8-112 x^6+93 x^4-17 x^2$$
The endpoints are $f(0)=\pi^2/4$ and $f(1)=0$. Plotting ...
- 391
5
votes
1
answer
509
views
Generalized Wigner 3-j symbol and Legendre functions
Let $P_{n}(x)$ the $n-th$ Legendre polynomial. It is well-knonw that $$\int_{-1}^1 P_n(x) P_m(x) P_h(x) \, dx=2\left(\begin{array}{ccc}
n & m & h\\
0 & 0 & 0
\end{array}\right)^{2}\tag{...
- 219
4
votes
1
answer
837
views
Can a function that is continuous on a dense set be almost extended to a continuous function?
Note: All sets and functions defined below are assumed measurable. $\mu$ denotes the Lebesgue measure.
Let $D$ be a dense subset of $[0, 1]$, and $f: D \to \mathbb R$ a function. Given $\varepsilon &...
- 6,321
5
votes
1
answer
366
views
Quantitative Lebesgue density theorem
Let $A \subset [0, 1]$ be a measurable set, and $\mathbf 1_A$ its indicator function, viewed as a function on $\mathbb R$. Define for each $\delta > 0$, the function $f_{A, \varepsilon}: \mathbb R \...
- 6,321
2
votes
1
answer
433
views
Stone-Weierstrass theorem: coefficients of approximating sequence bounded?
Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$.
The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
- 463
7
votes
0
answers
254
views
$C^0$-limit of volume-preserving maps on $\mathbb R^n$
Let $f_k:B_1\rightarrow \mathbb R^n$ be a sequence of injective differentiable volume-preserving maps (i.e. $\mu(f_k(A))=\mu(A)$ for any measurable $A\subset B_1$) that converges uniformly to $f:B_1\...
- 435
6
votes
2
answers
319
views
Does control on the “magnitude” of the rearrangement give control of the rearranged Cesaro sums?
Let $a_n$ be a nonnegative sequence that Cesaro converges to $K > 0$. We recall this means
$$\frac{1}{N} \sum_{n = 1}^N a_n \to K$$
as $N \to \infty$.
Suppose $a_{\phi_n}$ with $\phi: \mathbb N \to ...
- 6,321
4
votes
2
answers
415
views
The set of all possible values of subseries of a convergent positive term series
Inspired by The set of all limits of sub-series of an absolute convergent series is the following true?:
Let $a_n$ be a strictly decreasing sequence and $\sum_1^\infty a_n=\ell<\infty$ is a ...
- 366
1
vote
1
answer
126
views
Function orthogonal to $|y-x|$ on $[0,1]$ for every $y \in [0,1]$?
Does there exist an essentially nonzero function $f:[0,1] \mapsto \mathbb{R}$ so that
$$
\int_0^1 |y-x| f(x) \, dx = 0
$$
for every $y \in [0,1]$? I think I see how to show that any such $f$ can't be ...
- 136
6
votes
3
answers
1k
views
Discontinuous functions without removable discontinuities
A function $f:\mathbb{R}\rightarrow \mathbb{R}$ has a removable discontinuity at a given real $x$ in case the left and right limits are equal but not to the function value, i.e. $f(x+)=f(x-)$ but $f(x)...
- 4,359
2
votes
1
answer
159
views
A compact embedding claim
Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms
$$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$
Let $H_2$ be the weighted Sobolev space with the ...
- 4,115
5
votes
1
answer
630
views
Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution
Examples of infinite dimensional involutions
Edit 2/25/23, as suggested by YCOR below: (Start)
The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
- 10.5k
-5
votes
1
answer
270
views
Calculus based on pdf [closed]
Is there a calculus, i.e. an analytical framework, that deals with probability distributions as its variables? Measure theory goes in that direction, and Hewitt/Stromberg (Real and Abstract Analysis, ...
- 201
5
votes
3
answers
630
views
If the Fourier coefficient $\hat{f}(k)$ of $f\in C^1(\mathbb T)$ is zero for all $|k|<N$, then $\|f\|_{L^\infty}\leq \frac CN \|f'\|_{L^1}$?
Let $f\in C^1(\mathbb T)=C^1(\mathbb R/\mathbb Z)$ be a function such that
$$\hat f(k):=\int_{\mathbb T}f(x)e^{-2\pi ikx}\,dx=0,\qquad \forall k\in\{-N+1,\cdots,-1,0,1,\cdots, N-1\}.$$
Do we have $\|f\...
- 517
1
vote
1
answer
118
views
A Gaussian measure $\mu$ on $\mathcal{E}'(S^1)$ by Minlos theorem and its value for Sobolev spaces $H^{\alpha}(S^1)$
I posted this question on ME as "A Gaussian measure on $\mathcal{E}'(S^1)$ by Minlos Theorem and its value for $L^2(S^1)$",
but it seems much more nontrivial than I expected... so, I post an ...
- 3,477
1
vote
1
answer
218
views
Perturbation of matrices
Let $A(t)$ be a symmetric $n\times n$ matrix that continuously depend on $t\in [0,1]$. Let $\lambda_1(t)$ stand for the smallest eigenvalue for $A(t)$.
Question. Does there exist a Lebesgue measurable ...
- 4,115
8
votes
3
answers
1k
views
Is there a specific named function that is the inverse of $x+x^a$ for $x$ real?
This seems such a simple question that I fear I must have missed some elementary maths.
I am looking for a way to solve $x+x^a = y$ by reference to an already defined function, $a,x,y > 0$ are real....
- 83
9
votes
1
answer
339
views
A topological characterisation of a.e. continuity
We say a measurable function $f: \mathbb R^n \to \mathbb R$ is essentially continuous if the inverse image of any open set $O$ differs from an open set by a set of null measure, in the sense that ...
- 6,321
2
votes
0
answers
103
views
Find a function $f\geq 0$ such that $e^{-t[(x-\partial_x)\partial_x]^2} f$ is not non-negative for some $t\geq 0$
Consider the square of the Ornstein-Uhlenbeck operator $$A=[(x-\partial_x)\partial_x]^2=(x-\partial_x)\partial_x (x-\partial_x)\partial_x.$$ We know that $[(x-\partial_x)\partial_x]^2$ cannot be a ...
- 90
6
votes
1
answer
346
views
Characterization of sums of periodic functions over the real line
Is there any known characterization of the functions $\mathbb{R \to R}$ that can be written as a sum of (a finite family of) periodic functions? Not assuming any regularity condition (not even ...
10
votes
2
answers
597
views
How to determine the asymptotics of $\sum_{n=0}^{\infty} e^{-\frac{2^n}{x}}$
I'm generally interested in being able to find an asymptotic expansion of
$$ \sum_{n=0}^{\infty} \left[ e^{- \frac{f(n)}{x}} \right] $$
As $x \rightarrow \infty$ and $f(n)$ is a smooth monotonically ...
- 2,689
2
votes
1
answer
200
views
Laguerre polynomial and series
Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$.
Consider the sum
$$\sum^\infty_{j=0} \frac{1}{(b-j)}L^{m}_j(x)$$
where $b\not\in\Bbb N,x>0$ and $m\in \Bbb N$.
I have found this series ...
- 531
10
votes
1
answer
757
views
The $9$th tetration of $-\sqrt2$
Let $^na$ denote the $n$th tetration of $a$, so that $^0a=1$ and
$$^{n+1}a=a^{^na}$$
for $n=0,1,\dots$. (For complex $x$ and $y$, here we use the definition $x^y:=e^{y\ln x}$, where $\ln$ is the ...
- 128k
1
vote
1
answer
2k
views
Product of Dirac delta function
The following equation may be meaningful, but how can we make it well-defined
$$\delta(x-a)\cdot\delta(x-b)=0$$
Question: How do we defined this equation? Or more broadly define product between ...
- 13
7
votes
3
answers
662
views
Asymptotics for $\int\exp( -x t / \log t)dt$
What is the asymptotic growth rate of $$f(x) = \int_e^\infty e^{ - x t / \log t} dt$$ as $x \to 0$?
As an example of what is meant by "growth rate" consider $$g(x) = \int_e^\infty e^{-x t} ...
- 457
2
votes
1
answer
475
views
A continuous injection from $[0,1]$ to $\mathbb{R}^2$
Consider the continuous and injective mapping
\begin{eqnarray*}
\varphi:[0,1] &\rightarrow& \mathbb{R}^2, \\
t &\mapsto& (x(t),y(t)),
\end{eqnarray*}
such that $x(0)<x(1)$, and
\...
- 105
2
votes
1
answer
264
views
Is a continuous functional on continuous functions the restriction of a continuous functional on the space of all functions?
As sets, we can consider the space $C(\mathbf{R}^n;\mathbf{R}^k)$ - of all continuous functions from $\mathbf{R}^n$ to $\mathbf{R}^k$ - to be a subset of the product space $(\mathbf{R}^k)^{\mathbf{R}^...
- 1,179