All Questions
5,856 questions
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 ...
- 6,213
-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})...
- 125
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 1,219
9
votes
1
answer
428
views
The cardinality of projections of subsets of the Hilbert cube by inner products
I have three related questions.
Question 1: Is there a subset $X$ of the Hilbert cube $[0,1]^{\Bbb N}$ of cardinality continuum, such that for each sequence $a\in [0,1]^{\Bbb N}$ with $\sum a_n$ ...
- 3,104
2
votes
0
answers
207
views
Seeking alternative elementary proof instead of applying Lojaseiwicz's inequality for $f(x,y) \geq c (x^2+y^2)^{\frac{M}{2}}$
Let $B\subseteq \Bbb{R}^2$ be a closed ball centered on $(0,0)$ of radius $0<\delta<1$. Let $f:B\to \Bbb{R}_{\geq 0}$ be real analytic and contain only one zero in $A$, namely $(0,0)$. In other ...
- 171
7
votes
2
answers
567
views
Intuition for Agmon-Douglis-Nirenberg ellipticity
First of all, I am sorry if this is a too basic question, but I stumbled over this notion of ellipticity only very recently.
I am trying to understand the definition of ellipticity of systems due to ...
- 1,429
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}(\...
- 1,429
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}\...
- 43.2k
4
votes
0
answers
238
views
Conjectural values of some determinants involving Legendre symbols (I)
$\newcommand\Legendre{\genfrac(){}{}}$Let $p$ be an odd prime, and let $\Legendre\cdot p$ be the Legendre symbol. In 2003, Robin Chapman evaluated the determinants
$$\det\left[\Legendre{i+j}p\right]_{...
- 15.6k
8
votes
1
answer
258
views
Sequential colimit of iterated quotients of Cauchy sequences
We work in constructive mathematics.
The sets and functions in the foundations form a Grothendieck topos, which means that all colimits exist, and in particular, that all sequential colimits exist. ...
- 2,624
0
votes
0
answers
54
views
Weyl equidistribution for a periodic $L^2$ function
Let $\alpha $ be a fixed irrational number. For a function $g:\Bbb R\to\Bbb C$, define $$g^*(x)=\sup_{N\geq 1} \frac{1}{N} \sum_{n=1}^N |g(x+\alpha n)| ,$$
and assume that there is a constant $C>0$ ...
- 213
0
votes
0
answers
64
views
Calculating hyperbolic Fourier series
Question:
is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines
$f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$
or even ...
- 13.2k
4
votes
1
answer
250
views
Does a generic linear map admit a vector whose iterates span $V$?
We say a linear map $T$ on a finite dimensional vector space $V$ admits spanning vectors if there exists some vector $v \in V$ whose iterates $v, Tv, T^2 v, \dots$ under $T$ span $V$.
Question: ...
- 6,213
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 ...
0
votes
0
answers
120
views
Equality of two measures on functional spaces
It is well known that if $\mu$ and $\nu$ are two measures on the space $C^0([0,1],\mathbb{R}^n)$ of continuous mappings from $[0,1]$ to $\mathbb{R^n}$ endowed with its Borel $\sigma$-algebra satisfy $$...
- 1
3
votes
0
answers
141
views
Existence of very weak solution to the elliptic equation $\partial_i(a^{ij}\partial_j u)=\partial_k\partial_l f$
Let $a^{ij}\in W^{1,n}\cap L^\infty (B^1)$ be uniformly elliptic, i.e. $\lambda|\xi|^2\le a_{ij}(x)\xi_i\xi_j\le \Lambda |\xi|^2$ for a.e. $x\in B^1$, $\xi\in\mathbb R^n$, where $B_1\subset \mathbb R^...
- 435
9
votes
3
answers
553
views
Bounding the $n$-th derivatives of $\frac{1-\cos(x)}{x^2}$
Define the smooth map $f : \mathbb{R} \rightarrow \mathbb{R}$ by $f(x) := \frac{1-\cos(x)}{x^2} = -\sum\limits_{k=1}^\infty \frac{(-1)^k}{(2k)!} x^{2k-2}$.
I am looking for a nice bound on $|f^{(n)}(x)...
- 1,295
-2
votes
1
answer
93
views
Express the connection between roots [closed]
$\DeclareMathOperator\elim{lim}\DeclareMathOperator\Lim{Lim}\DeclareMathOperator\lmb{lmb}\DeclareMathOperator\Lmb{Lmb}\DeclareMathOperator\mts{mts}$There are two similar functions; they determine the ...
- 55
0
votes
0
answers
63
views
A maximisation problem : finite or not?
Let $\mathcal M_2$ be the space of real $2\times 2$ matrices and $\mathcal S_2\subset \mathcal M_2$ be its subset consisting of positive semidefinite elements, i.e. $A\in \mathcal S_2$ iff $A$ is ...
- 1,399
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 852
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
4
votes
1
answer
188
views
Bound in terms of harmonic oscillator
I wonder if the following is true: Let $\alpha >0$ be a positive real number, do we have
$$\Vert H^{\alpha} \psi''\Vert \le \Vert H^{\alpha+1} \psi\Vert,$$
where $H = -\frac{d^2}{dx^2} + x^2$ is ...
16
votes
3
answers
1k
views
A kernel 'more analytic' than $\exp(-x^2)$
I am looking for an analytic function $F: \mathbb{R} \rightarrow (0,\infty)$ with $\int_{\mathbb{R}} F(x) \, dx = 1$ and the property, that $\sum\limits_{k=0}^{\infty} |c_k| \varepsilon^k (2k)! < \...
- 1,295
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
1
vote
0
answers
56
views
Extension of this maximisation problem : finite or not?
$\mathcal M$ is the space of real $d\times d$ matrices and $\mathcal S\subset \mathcal M$ is its subset consisting of positive semidefinite elements. We consider the distance the product space $\...
- 1,399
0
votes
0
answers
109
views
A Lipschitz function induced by the infimum of the length of curves
Recently I have read a paper, Quasiconformal Images of Hölder Domains, written by S. M. Buckley in 2004, published by Annales Academiæ Scientiarum Fennicæ Mathematica. I am confused about page 33 of ...
- 69
1
vote
0
answers
195
views
Conjectural values of some determinants involving Legendre symbols (II)
Let $p$ be an odd prime, and let $(\frac{\cdot}p)$ denote the Legendre symbol. Motivated by the evaluation of the determinants
$$\det\left[\left(\frac{j+k}p\right)\right]_{1\le j,k\le(p-1)/2}\ \ \text{...
- 15.6k
0
votes
0
answers
106
views
How to prove that $f(x) := |x|^{\frac{\lambda - n}{p}}(1 - \psi(x))$ satisfies a specific property related to its limit at the origin
Disclaimer. I have asked this question a month ago on MSE (click here to access the original post) and even bountied it. I got an answer on MSE, but unfortunately I don't feel like it has enough ...
- 51
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 71
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 $ ...
0
votes
0
answers
66
views
convolution of the fundamental solution with the homogeneous solution
I have a question about the convolution of the fundamental solution with the homogeneous solution. Namely if the 2 are convoluble then the homogeneous solution is necessarily zero?
Let $U$ and $E$ ...
21
votes
1
answer
1k
views
Does summing divergent series using cutoff functions give consistent results?
One way to try to give a value $S$ to a divergent series $\sum_{n=1}^\infty a_n$ is with a smooth cutoff function:
$$
S = \lim_{N\to\infty}\sum_{n=1}^\infty a_n \eta\left(\frac{n}{N}\right)
$$
where $\...
- 313
2
votes
1
answer
321
views
A strange functional inequality
Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions.
Is it true that
$$
\int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
- 4,074
3
votes
1
answer
493
views
A strange condition of convexity?
During my research, I come across this question.
Let $f \in C^2(\mathbb R, \mathbb R_+^*)$ with $\forall x \in\mathbb R, f'(x) \geq |f''(x)+f(x)|$.
Is it true that $\forall x \in \mathbb R, f''(x) \...
- 4,074
1
vote
1
answer
111
views
How to show such result for generalized $ O(|x|^{-1/2}) $ function?
Assuming that $ \chi\in C_c^{\infty}([-2,2]) $ is a cutoff function such that $\text{supp }\chi\subset[-2,2]$, $\chi\equiv 1 $ in $ [-1,1] $, and $ 0\leq\chi\leq 1 $, suppose that $ f\in C^{\infty}(\...
- 1,219
9
votes
2
answers
584
views
Does this integral condition characterize $L^\infty$?
Let $\Omega$ be a bounded, connected open subset of $\mathbb R^n$ with smooth boundary. For any $f \in L^1 (\Omega)$, is it true that $f \in L^\infty (\Omega)$ if and only if the following condition ...
- 6,213
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
0
votes
3
answers
278
views
A generalisation of Tchebychev inequality
Let $f,g \in C(\mathbb R)$ with $\exists M \in \mathbb R^*, \forall (x,y) \in \mathbb R^2, M\times (f(x)-f(y))(g(x)-g(y)) \geq 0$.
Is it true that exists $ u$ any real function, and $a,b$ monotone ...
- 4,074
1
vote
1
answer
125
views
Integrability of modified diagonalizable Jacobian
I have a smooth function $f$ from $\mathbf{R}^N$ to $\mathbf{R}^N$. For each $x\in \mathbf{R}^N$ the Jacobian of $f$, $J_f$, is diagonalizable as
$$
J_f(x)=S(x)\Lambda(x) {S(x)}^{-1},
$$
where the ...
- 19
0
votes
1
answer
80
views
Orthogonal space of polynomials
Let $f \colon [0,+\infty) \to \mathbb R$ be a continuous function. Assume that for any non-negative integer $n$, the function $f(t) t^n$ in integrable in $(0,+\infty)$ and
$$
\int_0^{+\infty} f(t) t^n ...
2
votes
0
answers
80
views
Stability of Hölder constants of frozen Itô stochastic integrals
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 825
9
votes
1
answer
378
views
Does “on average” Hölder continuity imply Hölder continuity?
Let $\Omega$ be a smooth, bounded, connected open subset of $\mathbb R^n$.
A function $f: \Omega \to \mathbb R$ is said to be Hölder continuous on average of order $\alpha$, for $0 < \alpha < 1$ ...
- 6,213
2
votes
1
answer
146
views
Understanding the integral $\int_0^1\det(v(t),v'(t))dt$ where $v(t)$ is path in the plane
Let $v(t) : [0,1]\rightarrow\mathbb{C}^2$ be a smooth path, and let $v' := dv/dt$. I'd like to understand what the integral:
$$I(v) := \int_0^1 \det(v(t),v'(t))dt$$
tells us about $v$, where $\det(v(t)...
- 7,527
0
votes
0
answers
54
views
Inequality between inverses of real functions
Let $s\geq 0$ and
$$
f(x)=-\log(x) \quad\text{an}\quad g(x)= \log(\log(1/x)+1)$$ for all $x\in(0,1)$. Is there exists $C_s>0$ such that for all $x,y\in(0,1)$,
$$
f^{-1}(s g(x)) \cdot f^{-1}(s g(y))...
- 39
19
votes
3
answers
1k
views
What standard Banach space is isomorphic to the completion of this different normed structure on $\ell^1$?
A colleague asked me the following question:
"What can one do with the following norm on $\ell^1$: $|x|=\int_1^2 |x|_pdp$ where $| \;\; |_p$ is the standard norm on $\ell_p$?"
This ...
- 356
7
votes
2
answers
592
views
Prove that the following function is positive
Consider the following function:
$$K(x, y; t) = \sum_{n \geq 0} \frac{e^{-(2n+1)t}}{\sqrt{\pi} 2^n n!} H_n(x) H_n(y) \exp\left(-\frac{(x^2 + y^2)}{2}\right)
$$
This is Mehler's kernel, and can be ...
- 90
5
votes
1
answer
167
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
- 187
1
vote
1
answer
75
views
Lower bound of $\frac{f(x)}{x^{n+1}}$
Let $f:[0,a]\to \Bbb{R}_{\geq 0}$ be real analytic, $a<1$. Furthermore, $f(0) = 0$ and $f$ is strictly increasing on $[0,a]$. Let $n\in \Bbb{N}$ be the smallest positive integer such that $f^{(n)}(...
- 171
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)}\,...
- 4,143
3
votes
2
answers
620
views
Are there any functions $f$ beyond trivial examples where $\int f(x +f(x + f(x +\dotsb)))\,dx$ $= F(x+F(x+F(x +\dotsb))) + C$ for some function $F$?
Basically the title explains most of my question here. Purely out of curiosity (I have no real application), I am wondering if there are any "interesting" functions $f$ where we know of a ...
- 149