All Questions
5,628 questions
2
votes
0
answers
189
views
A sharp version of a Tauberian theorem
The following Tauberian theorem is true (see Theorem I.11.1 of ''Tauberian theory: A century of developments''). Let $ a_n $ a sequence of real numbers.
If $f(x) = \sum_{n=1}^\infty a_n x^n $ ...
2
votes
0
answers
207
views
History of bump functions
When were the standard bump function examples such as $e^{-1/(1-x^2)}$ first understood, and what was the context or motivation at the time?
As an upper bound I would guess that they must have been ...
- 2,247
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 21.5k
1
vote
1
answer
175
views
Analyzable functions and accelero-summation
Is there a complete and rigorous, yet concise, definition of what an analyzable function is, along with the related notion of accelero-summation, both in the sense of Écalle? All of the definitions I ...
CommunityBot
- 1
4
votes
1
answer
182
views
Extracting a subsequence Cesàro converging to the limsup of the Cesàro sums
Let $X_n$ be a sequence of uniformly bounded random variables — that is, there exists some $K > 0$ such that $|X_n| \leq K$ almost surely for all $n \in \mathbb N$.
Write $\bar X_N := \frac{1}{N} \...
- 12.9k
1
vote
1
answer
79
views
PDF of the difference of two Beta Prime distribution
I am struggling to find the PDF of the difference of two Beta Prime distribution.
Definition
A random variable is said to have a Beta Prime distribution $\text{B}'(\alpha, \beta)$ with $\alpha, \beta&...
- 128k
10
votes
2
answers
3k
views
Gluing two diffeomorphisms together
A fundamental construction in a first course on manifolds is to build a smooth function $\psi\colon \mathbb{R} \to \mathbb{R}$ with the property that for some $0<\delta<\epsilon$ we have
$\psi(...
- 28k
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
- 869
4
votes
1
answer
165
views
Dual spaces of Banach-valued $L^{p}$-spaces
Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
- 9,007
3
votes
2
answers
517
views
Several definitions of approximate continuity of real functions
I found the definition of approximate continuity stated as follows:
A function $f:\mathbb R \to \mathbb R$ is approximately continuous at $x_0$ iff there exists a set $A\in \mathcal L$ such that $x_0\...
- 1,309
2
votes
1
answer
139
views
Domain of the infinitesimal generator of a composition $C_0$-semigroup
In the paper [1] the following $C_0$-group is presented,
$$
T(t)f(x) = f(e^{-t} x) , \quad x \in (0,\infty) \quad f \in E
$$
where $E$ is an ($L^1,L^\infty$)-interpolation space. In mi case, I'm just ...
- 6,035
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
- 434
7
votes
1
answer
370
views
Duality of $H^1$ and BMO
While proving that the dual of $H^1$ is $BMO$ in Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, page 143, Stein says that we have $\left\Vert g \right\Vert_{H^1} \...
- 183
-1
votes
1
answer
204
views
Cauchy reduction formula with measure (a variation)
The Cauchy reduction formula conveniently compresses $n$ integrations of a function $F(x)$ into a single integral. Here I am interested in reducing the following "curved-space" ...
- 141
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]$, $...
- 6,206
3
votes
2
answers
436
views
Closed form for $ \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \dotsb + x_n^p} \, \mathrm{d}x_1 \dotsm \mathrm{d}x_n $
I asked this question on MSE, but received no answer.
Recently, reading this problem, I found out that
$$ \lim_{n\to \infty} \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \...
- 128k
3
votes
1
answer
346
views
Prove that $\lim\limits_{n\to\infty}\left(\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}-\frac{\pi}{4}n\right)=\frac{1}{2}$
I came across the above question in a mathematical problem. It is not difficult to see that
$$
\lim\limits_{n\to\infty}\left(\frac{1}{n}\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}\right)=\int\...
- 6,367
14
votes
3
answers
2k
views
Every function on reals a sum of two surjective real functions?
From this question, and the answer thereof, we can see that every real valued function on reals is a sum of two injective functions. Is the same true if we replace injectivity by surjectivity.
For ...
- 503
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
- 969
0
votes
0
answers
22
views
Approximation of Lipschitz functions by convex combinaison of Lipschitz functions depending on projections
Let $K\subset \mathbb R^2$ be compact. For any $c>0$, denote by ${\rm Lip}_c(K)$ the collection of Lipschitz functions $f:K\to\mathbb R$ whose Lipschitz constant is less than or equal to $c$. Set $...
- 1,334
9
votes
8
answers
1k
views
$n$-th derivative of $\exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right)$
Let $\lambda$ and $\mu$ be two positive real numbers and let denote $f$ the function defined as:
$$\forall x>0,~f(x):= \exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right).$$
I am struggling to find ...
- 17k
0
votes
2
answers
178
views
"Find a representation [using Mellin transform] of 𝑓(𝜇,𝛽) as Gauss hypergeometric function in variable 𝜇"
This is a follow-up to the first comment (by Nemo) to the posting Compute the two-fold partial integral, where the three-fold full integral is known . (I also just asked this as a comment to that ...
- 1
4
votes
0
answers
158
views
Measurability of $L^{p}(L^{q})$ integrable functions
Let $ F: \mathbb{R}^n \times (0,\infty) \to \mathbb{R}$ be a function with the property that
$
\int_{\mathbb{R}^n} \big[ \int_0^\infty |F(x,r) |^q \, dr \big]^{p/q} \, dx < \infty
$
In addition we ...
- 31
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
- 11
6
votes
1
answer
528
views
A functional equation
I am working on some physics problem and got stuck with the following equation: Let $a$ be a very small positive number. Is there a bounded function $F$, $0 \leq F \leq 1$, such that for all $x \in \...
- 3,599
3
votes
1
answer
459
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 5,624
0
votes
0
answers
53
views
Vectors of complex exponentials span $\mathbf{C}^N$
Let $Q = [0,1]\times [0,1]$. Let $1\leq k < \infty$ and $\{(x_l,\xi_l)\}_{l=1}^{k}\subseteq Q$ be such that $(x_i,\xi_i)\ne (x_j, \xi_j)$ for $i\ne j$. Additionally, for $1\leq l \leq k$, let $n_l\...
- 63.9k
122
votes
5
answers
27k
views
Is the series $\sum_n|\sin n|^n/n$ convergent?
Problem. Is the series $$\sum_{n=1}^\infty\frac{|\sin(n)|^n}n$$convergent?
(The problem was posed on 22.06.2017 by Ph D students of H.Steinhaus Center of Wroclaw Polytechnica. The promised prize for ...
- 1,016
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 1,190
1
vote
0
answers
95
views
Distance between two convex sets
Setting
If $A$ an $B$ are two symmetric matrices, we denote by $A >B$ when the matrice $A-B$ is definite positive.
In $\left(\mathbb{R}^{*}_{+} \right)^4$, consider the convex set $$ \Lambda = \...
- 125
7
votes
2
answers
324
views
For this continuous non differentiable function $f$ How to determine $\sup\{a\}$ s.t $\lim\limits_{h\to0}\frac{f(x+h)-f(x)}{h^\alpha}=0$ for all $x$?
I asked this question on MSE here.
Define $g(x)= |x|$ for $|x|\in [-1,1]$ , $g(x+2)=g(x)$
$$f(x)= \sum_{n \ge 1} \frac{3^n g\left(4^n x\right) }{4^n}$$
This function is a famous example of a ...
- 6,367
1
vote
0
answers
96
views
Sequential definitions of continuity and related classes
It is well-known that the usual 'epsilon-delta' definition of continuity is equivalent to the sequential definition (assuming countable choice). Less well-known is the sequential definition of ...
- 4,359
2
votes
1
answer
229
views
Does the existence of derivatives in the average sense imply absolute continuity?
Let $f: \mathbb R \to \mathbb R$ be a measurable function. Suppose there exists some integrable function $g$, and a measurable set $E$ of full measure such that
$$\lim_{r \to 0_+} \sup_{x \in E} \left ...
- 24.2k
1
vote
1
answer
121
views
An asymptotic integral with complex phase
Suppose that $D\subset \mathbb R^2$ is the closed unit disk and that $f\in C^{\infty}(D)$. Assume that for all $\lambda \in (1,\infty)$ there holds
$$ \left|\int_D f(x^1,x^2)\, e^{\lambda (x^1+ix^2)}\,...
- 6,486
2
votes
1
answer
197
views
Prékopa-Leindler style inequality?
Does anyone know a simple proof of the following Prékopa-Leindler style inequality:
If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$,...
- 109k
0
votes
1
answer
53
views
Rate of convergence of the minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 128k
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
-1
votes
1
answer
139
views
$L^1$ convergence
Setting
For $i \in \mathbb{N}$, consider two sequences $f_i,g_i \in L^1(\mathbb{R})$ such that $$ f_i \rightarrow_{L^1} f \in L^1(\mathbb{R}) $$ and also $$ g_i \rightarrow_{L^1} g \in L^1(\mathbb{R})...
- 5,407
0
votes
0
answers
57
views
Projection measure and an integral formula for Lipschitz functions
Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as
$$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
- 75
1
vote
0
answers
92
views
Modulus of Continuity, Heat Flow, and Derivative Estimates
Given $f : \mathbf{R}^d \to \mathbf{R}$, define $P_t f$ by
\begin{align}
(P_t f)(x) = \mathbf{E} \left[ f (x + \sqrt{t} G) \right],
\end{align}
where $G \sim \mathcal{N} (0, I_d)$ is a standard ...
- 801
0
votes
1
answer
102
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 6,486
2
votes
0
answers
116
views
For Polish $X,Y$, $L^p(X,Y)$ is separable
Let $X$ and $Y$ be Polish spaces. Equip $X$ with a Borel probability measure $\mu_X$ and $Y$ with a metric $d_Y$. We can define the $L^p$ space as follows:
Definition. Define
$\begin{align}L^p(X,Y) = \...
- 305
0
votes
0
answers
151
views
Help me find the antiderivative of $W(W(x))$ where $W$ denotes the Lambert W Function
Let $W$ denote the Lambert W Function. I must know the antiderivative of $W^2 = W(W(x))$.
I'm already convinced this function is not elementary. This does nothing to settle up my curiosity, as I ...
- 409
2
votes
1
answer
286
views
Are these conditions regarding products of consecutive terms in a sequence of positive numbers equivalent?
Assume $w_n$ is a bounded (weight) sequence of positive numbers. We want to consider products of consecutive terms in this sequence. For $i,j\in \mathbb{N}$, define $M_i^j = w_i w_{i+1}\cdots w_{i+j-1}...
- 109k
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 4,713
4
votes
2
answers
276
views
A function that maps every perfect set to $\mathbb{R}$
It's known that some real functions map every nonempty open subset onto $\mathbb{R}$.
Is there any function from $\mathbb{R}$ to $\mathbb{R}$ that maps every nonempty perfect set onto $\mathbb{R}$?
- 3,312
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 26.3k
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 63.9k
1
vote
0
answers
96
views
Function whose derivatives eventually vanish almost everywhere
As a takeaway of this post we have the following result.
P. Let $f:[0,1]\to\mathbb{R}$ be infinitely differentiable such that for all $x\in[0,1]$ the sequence $\{f^{(n)}(x)\}$ is eventually $0$. Then ...
- 637