All Questions
5,629 questions
1
vote
1
answer
265
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 825
4
votes
0
answers
116
views
Lipschitz extension of a flow can still be a flow?
Consider a map $\Phi: [0,T] \times \mathbb{R}^d \to \mathbb{R}^d$, and assume that there exists a set $U \subset \mathbb{R}^d$ such that $\Phi\rvert_{[0,T] \times U}$ is $L$-Lipschitz. It is well ...
- 697
4
votes
1
answer
296
views
The maximal difference between a function and translates of itself
Note: We view the sphere $S^1$ as $[0,1]$ with the endpoints identified, and equip it with its usual addition structure, and Lebesgue measure.
Question: Does there exist an absolute constant $C > 0$...
- 6,223
4
votes
1
answer
305
views
Holomorphic extension of the Fourier transform of a measure
If an entire holomorphic function $f(z)$ is given by the analytic continuation of $f(x)=\int_\mathbb{R}e^{-ix\xi}\,d\mu(\xi)$ with a finite Borel measure $\mu$ on $\mathbb{R}$, then $g(x):=\int_\...
- 63
0
votes
1
answer
129
views
Sequence of functions converges pointwise to identity [closed]
Let
For $n\in \mathbb{N}$ and $k\in \{0, 1, 2, ..., 2^{n}-1 \}$ is defined
$$I_{k}^{n}=\left[\frac{k}{2^{n}}, \frac{k+1}{2^{n}}\right)$$
and $f_{n}:[0, 1) \rightarrow \mathbb{R}$ is defined by
$$f_{n}(...
- 251
5
votes
1
answer
526
views
Boyd & Chua 1985: Is the proof of Lemma 2 correct?
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'm reading this article by Boyd and Chua [1], in which they prove the approximability of arbitrary time-invariant (TI) operators ...
- 153
2
votes
2
answers
127
views
Is there a restriction on the structure of the set of points where all derivatives of a $C^\infty$ real function are 0? [duplicate]
Let $f$ be an infinitely differentiable real function and let $Z(f)$ denote the set of points on which all derivatives of $f$ vanish. It is not hard to describe an $f$ such that $Z(f)$ is any ...
- 481
3
votes
2
answers
2k
views
Can every real function be approximated with a Riemann-integrable one with any precision required?
Is there some proof that Riemann-integrable functions are dense in the space of all real functions?
In a sense that for every real function $f$ and number $\varepsilon>0$, there is Riemann-...
- 117
1
vote
1
answer
312
views
Showing that the infimum is a minimum
Let $V > 0$ and let $\Phi(\cdot)$ be the standard normal CDF.
Consider the infimum of
$$f(x_1, x_2,x_3, p_1, p_2, p_3) := p_1 \Phi(x_1) + p_2 \Phi(x_2) + p_3 \Phi(x_3)$$
with respect to $x_1, x_2, ...
- 113
5
votes
1
answer
335
views
Long tail property of Laplace transforms
A function $F: \mathbb R_+ \rightarrow \mathbb R_+$ is said to be long tailed if $F(\infty)=0$ and for all $y \geq 0$ $$\frac{F(x+y)}{F(x)} \rightarrow 1, \quad x\rightarrow \infty.$$
Let $\mu$ be a ...
- 135
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
1
vote
0
answers
98
views
Periodicity in one Fourier variable
Let $f:[0,1]\times [0,1] \to \mathbb C$ be a double periodic function (periodic in both variables) that depends real-analytically on its argument.
We can thus write $f$ as $$ f(x) = \sum_{n \in \...
1
vote
1
answer
90
views
The number of roots of pseudo-exponential polynomials
Assume that $J$ is the interval $(-\pi,\pi]$. For $k=1,\ldots,2n$, suppose that $\lambda_k$s are real functions on $J$ with $|\lambda_k|=1$, meaning that $\lambda_k(t)$ is either $-1$ or $1$ where $t\...
- 4,058
1
vote
1
answer
258
views
What is the measure of two sets which partition the reals into subsets of positive measure?
This is a follow up to this question, where I wish to partition the reals into two sets $A$ and $B$ that are dense (with positive measure) in every non-empty sub-interval $(a,b)$ of $\mathbb{R}$.
(In ...
- 63
8
votes
1
answer
412
views
Weakest theory over which "all sets are measurable" has consistency strength?
Some convention: $\textrm{DC}$ stands for axiom of dependent choice, $\text{LM}$ stands for the statement "all subsets of $\mathbb{R}$ are Lebesgue measurable", $\textrm{IC}$ for "there ...
- 333
4
votes
1
answer
425
views
An exercise on log-concave random variable on the real line
Let $X$ be a real random variable with log-concave density $f$. Assume that $E(X) =0$ and $E(X^2)=1$.
Show that there is a universal (independent of $X$) constant $c>0$ such that:
$$P(X\in[-1/2;0])\...
- 245
5
votes
1
answer
222
views
If every point is a Lebesgue point of $f$, does $f$ satisfy the intermediate value property?
Let $f: \mathbb R \to \mathbb R$ be a locally integrable measurable function.
We say $f$ satisfies the intermediate value property if given any $a, b\in \mathbb R$ with $a < b$, whenever $u \in \...
- 6,223
5
votes
1
answer
234
views
Can a continuous bounded variation function be $C^0$-reparametrized to be continuously differentiable?
Let $f: [0, 1] \to \mathbb R$ be a function of bounded variation. We say that $g$ is a $C^0$ reparametrization if $g = f \circ s$ for $s$ a continuous increasing bijection from a finite interval $I$ ...
- 6,223
1
vote
0
answers
102
views
Proving that a quantity is positive (Gaussian density and Gaussian CFD)
$\def\R{\mathbb R}$$\def\aha{{1/2}}$$\def\maha{{1/2}}$
Hi everyone,
I am interested in the following problem:
Let consider the heat equation problem:
$$\forall (t,x) \in \mathbb{R}_+\times\mathbb{R}, ~...
- 393
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
14
votes
2
answers
2k
views
Generalisation of Cauchy's mean value theorem
I apologise in advance if this is an elementary question more fitted for Math Stack Exchange. The reason why I have decided to post here is that the question I am used to seeing on that site are not ...
- 413
6
votes
1
answer
308
views
Operation preserving log-concavity of sequences
Here a log-concave sequence $(a_0,a_1,a_2,\ldots)$ is a sequence of positive real numbers such that $a_i^2 \geq a_{i-1}a_{i+1}$ for each $i\geq 1$. These are pervasive within mathematics.
A polynomial ...
- 1,889
3
votes
2
answers
382
views
Singular support: equivalent definition
Let $U\subset\mathbb{R}^{d}$ be an open set. The singular support of a distribution $u\in\mathcal{D}^{\prime}(U)$ is defined to be the compliment of the set of points, which have a neighbourhood in ...
- 1,171
87
votes
8
answers
16k
views
Why is Lebesgue integration taught using positive and negative parts of functions?
Background: When I first took measure theory/integration, I was bothered by the idea that the integral of a real-valued function w.r.t. a measure was defined first for nonnegative functions and only ...
- 50.6k
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
2
votes
1
answer
215
views
Asymptotics for oscillatory integral
Consider the following integral for $f \in C_c^{\infty}(\mathbb R^n)$, $x_0$ fixed (possibly zero), and $n \ge 3$
$$F(\lambda) = \int_{\mathbb R^n} e^{i\lambda \vert x-x_0 \vert^2} \frac{f(x)}{\vert x ...
1
vote
0
answers
123
views
Dependence of Sobolev embedding theorem constant on smoothness
Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that
$$
\|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
- 11
1
vote
1
answer
233
views
Continuity of a rational function
This is a simple question. Given a real valued rational function
$$
f (x) = \frac{p(x)}{q(x)}\quad x\in\mathbf R^N,
$$
this is called regular on a point if the denominator $q$ does not vanish there. ...
- 29
107
votes
9
answers
36k
views
solving $f(f(x))=g(x)$
This question is of course inspired by the question How to solve f(f(x))=cosx
and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
- 41.4k
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
0
votes
1
answer
300
views
Is there a reference on the space of Lipschitz continuous functions?
I have hard a time finding the specific properties I'm looking for, I'm wondering if there is literature which proves (or disproves) that the space of all Lipschitz continuous functions of some ...
1
vote
0
answers
269
views
Monotone likelihood ratio of a kernel based on $\log(\cosh(x))$
Let $f(x) = \log(\cosh(x))$, and define the kernel density:
$$p_r(\phi;\theta) = \Big(f\big(r\cos(\phi-\theta)\big) - f\big(r\cos(\phi+\theta)\big) \Big)\hspace{0.5pt} \frac{\sin(2\phi)}{\sin(2\theta)}...
- 391
5
votes
3
answers
770
views
Arzelà–Ascoli for equi-Lebesgue continuous functions
Given a measurable subset $A$ of $[0, 1]$, a sequence of functions $f_n: [0, 1] \to \mathbb R$ is said to be equi-Lebesgue continuous on $A$ if for every $x \in A$, and $\varepsilon > 0$, there ...
- 6,223
2
votes
1
answer
165
views
Continuity of an upper semi-continuous function over periodic points
Let $f: X \to \mathbb{R}$ be an upper semi-continuous function on $X$, which is a compact subspace of a vector space. Let sequence $x_n, n \in \mathbb{N}$, with positive elements - periodic: there ...
- 1,043
1
vote
3
answers
159
views
Estimating the integral $\int_{\epsilon}^1 \Bigl\lvert \int_0^x \frac{f(y)}{\lvert x-y\rvert^{1/2}} dy\Bigr\rvert^2 dx$ for $L^2$ function $f(y)$?
I guess the chances are slim but still curious about the integral in the title.
Let $f : [0, \infty) \to \mathbb{R}$ be a locally "square-integrable" function on $[0,\infty)$.
Then, for any $...
- 3,477
17
votes
2
answers
2k
views
Explicit and fast error bounds for polynomial approximation
Main Question
This question is about finding explicit, calculable, and fast error bounds when approximating continuous functions with polynomials to a user-specified error tolerance.
EDIT (Apr. 23): ...
- 697
9
votes
2
answers
440
views
How to prove this sum involving powers of cosec is an integer?
It is claimed that the following function produces only integer values for all integer $m \geq 1$, $N \geq 2$.
$F(m,N)=\frac{N^m}{2^m}\displaystyle \sum_{j=1}^{N-1} \operatorname{cosec} ^{2m}\left(\...
- 201
23
votes
2
answers
2k
views
Are such functions differentiable?
In my recent researches, I encountered functions $f$ satisfying the following functional inequality:
$$
(*)\; f(x)\geq f(y)(1+x-y) \; ; \; x,y\in \mathbb{R}.
$$
Since $f$ is convex (because $\...
- 995
0
votes
1
answer
99
views
Recovering the openness of a map from the openness of its scalar projections
Good morning. I have been thinking about the following question for a while without much success, therefore I'm starting to doubt its validity, although I don't have a clear counterexample in mind.
...
- 311
6
votes
1
answer
300
views
Log-convexity of determinant
Let $f(z):=\langle g(z),g(z)\rangle,$ where $z \mapsto g(z)$ is holomorphic and $\langle \bullet,\bullet\rangle$ is an inner-product on some function space, such as $L^2$, such that $\langle g(z),g(z)\...
5
votes
1
answer
340
views
How to give a counterexample of this estimate related to Paley-Littlewood theorem?
I am studying Paley-Littlewood theorem in Harmonic analysis, and I met an exercise. I would like to construct a function $f$ as a counterexample to show that the inequality
\begin{equation}
\| f \|^...
- 187
8
votes
3
answers
1k
views
Ramanujan's Master Formula: A proof and relation to umbral calculus
The Ramanujan's master theorem states that:
$$
\int_0^{\infty}x^{s-1}\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}a_nx^ndx=\Gamma(s)a_{-s}
$$
I found a really strange proof recently on a personal blog:
Define
$...
- 302
4
votes
1
answer
254
views
$\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}$ for various $x$
Let $$f(x)=\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}.$$
Compute $f(1)$ and $f(2)$.
19
votes
3
answers
1k
views
Is there a Cantor set $C$ in $\mathbb{R}^{2}$ so the graph of every continuous function $[0,1]\rightarrow [0,1]$ intersects $C$?
Consider the Cantor ternary set on the real line with the usual topology and define a Cantor set to be any topological space $C$ homeomorphic to the Cantor ternary set.
The idea is to construct a ...
- 2,136
3
votes
2
answers
348
views
Subdifferential of a convex function admits a continuous selection
Let $F$ be a continuous convex function on $\mathbb{R}^n$.
If the subdifferential $\partial F(x)$ of $F(x)$ admits a continuous selection, for every $x \in \mathbb{R}^n$, does it mean that $F$ is ...
- 33
2
votes
1
answer
112
views
Uniqueness of the zero of $f-f*G_\sigma$ with $f$ convex/concave
I am struggling with the following problem. Let $f$ be a real smooth function:
strictly convex on $(-\infty,0)$,
strictly concave on $(0,\infty)$,
strictly increasing.
For $\sigma>0$, how can one ...
- 393
2
votes
1
answer
179
views
Definition of integral over level sets in coarea formula
This is probably a simple question, maybe more suited for MSE. In the coarea formula, you have
$$\int_{{\mathbb{R}}^n} g (x) |\nabla f(x)|\, dx= \int_\mathbb{R} \left(\int_{\{f=t\}} g d \mathcal{H}^{n-...
- 697
1
vote
1
answer
65
views
Boundedness of maximisers of parametric strictly concave functions
Let $L:[0,1]\times \mathbb R^m\times \mathbb R^n\to \mathbb R$ be defined by
$$L(\lambda, x,y):=\sum_{1\le i\le m}\alpha_i x_i + \sum_{1\le j\le n}\beta_j y_j -\sum_{1\le i\le m, 1\le j\le n} p_{i,j}\...
- 1,399
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
- 1
3
votes
0
answers
125
views
Extracting moments of $\max(X_1,\ldots,X_k)$ from asymptotic behavior of $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$
For fixed $k$ suppose we have $X_1,\ldots,X_k$ non-negative random variables with density functions.
Setting a): We know $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$ exactly for any integers $n,m \in \mathbb{...
- 1,295