All Questions
5,635 questions
-2
votes
0
answers
17
views
when does $h$ exist?
Let $\zeta(s)$ denote the Reimann zeta function in the critical strip. It is easy to see that $$ \zeta(s) = 0 \Longleftrightarrow \Re(\zeta(s))+\Im(\zeta(s)) = 0 ~~~~ \text{and} ~~~~~~ \Re(\zeta(s)) \...
0
votes
0
answers
25
views
A system of nonlinear Diophantine equations whose positive solutions are not coprime
Consider the following system of Diophantine equations:
$$v_1k_1=k_1^3-k_2^3+k_3^3 \\
v_2k_2=k_1^3+k_2^3-k_3^3 \\
v_3k_3=-k_1^3+k_2^3+k_3^3 \tag{1}$$
where $v_1,v_2,v_3$ and $k_1,k_2,k_3$ are integer-...
- 303
3
votes
1
answer
64
views
How irregular can the set of points of non-differentiability for an L1 function's primitive F get, before it fails the FTC?
A Fundamental Theorem of Calculus for Lebesgue Integration, J. J. Koliha begins with the passage
Lebesgue proved a number of remarkable results on the relation between integration and differentiation....
- 128k
31
votes
4
answers
8k
views
Counterexamples to differentiation under integral sign?
I'm exploring differentiation under the integral sign (I want to be much faster and more assured in doing this common task). So one thing I'm interested in is good counterexamples, where both ...
- 831
3
votes
1
answer
352
views
Sequential separability on $C_p(X)$
Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
- 4,713
4
votes
1
answer
271
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
2
votes
0
answers
12
views
On compact embeddings in weighted Riesz potential spaces
I wonder if there is any references for the study of the following type of spaces
$$ X_{\delta,\alpha}=\{ u\in L^2_\delta(\mathbb{R}^n):\, u= (-\Delta)^\alpha f \quad\text{for some}\quad f\in L^2_{\...
- 4,135
0
votes
1
answer
114
views
Bounding $(\int_{S^1}\left|\partial_r u(r\omega)\right|^2 d\omega)^{1/2}$ with $(\iint \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy)^{1/2} $?
The following inequality is trivially true
$$\left(\int_{S^1}\left|\frac{\partial u}{\partial r}(r\omega)\right|^2 d\omega\right)^{1/2} \le \left(\int_{S^1}\left|\nabla u(r\omega)\right|^2 d\omega\...
CommunityBot
- 1
15
votes
1
answer
762
views
Does there exist a nowhere smooth function, that has arbitrary many derivatives?
I'm sorry if my title sounds misleading, I don't know a better way to word my question briefly. But I have the following question about functions.
First, as long as $A$ is a dense subset of $\mathbb{R}...
- 700
3
votes
0
answers
90
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101
2
votes
0
answers
221
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
- 989
2
votes
0
answers
76
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
2
votes
1
answer
459
views
About the number of critical points of a function
Suppose that $f$ is a totally monotone function on $(0,\infty)$, so that $(-1)^n f^{(n)}\ge0$ for all $n=0,1,\dots$, $f(0+)\in(0,\infty)$, and $f(t)\sim\frac{1}{t^{\frac{3}{2}}}$ as $t\to\infty$. Can ...
- 128k
1
vote
1
answer
306
views
The number of intersection points of two completely monotonic functions
Is there a way to show that two completely bounded decreasing monotonic function which are also differentiable over $[0,\infty)$ intersect at most at one point? or showing some counterexamples.
...
- 4,713
4
votes
2
answers
871
views
Decay of eigenfunctions for Laplacian
Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$.
Its eigendecomposition is fully known:
see wikipedia
It seems like the largest eigenvalue $\lambda_1$ is ...
CommunityBot
- 1
2
votes
1
answer
155
views
Does the support of a smooth compactly supported function have a smooth boundary?
Let $U$ be a bounded domain in $\mathbb{R}^n$ and $f:U\to \mathbb{R}^n$ an infinitely differentiable function with compact support. My question is whether $\operatorname{supp}(f)$ has a smooth ...
- 3,425
3
votes
1
answer
144
views
Jordan plane curve such that $\frac{d(g(x),g(y))}{d(x,y)}\to0$?
Write $g$ as the inverse of $f$.
Is there a continuous injective $f:S^1\to C\subset\mathbb{R}^2$ such that
$$
\displaystyle\sup_{d(x,y)<r}\dfrac{d(g(x),g(y))}{d(x,y)}\to0
$$ as $r\to0$?
If you like,...
- 6,367
2
votes
0
answers
101
views
An inequality related to Problem 10210 AMM 1992 No. 3
Problem. Let $A$ be a $N \times N$ real matrix whose $(i,j)$ entry is $a_{ij} \ge 0, \forall i, j$. Let $1$ denote $N\times 1$ all-ones vector. Prove that
$$N^2 1^\top A^\top A A^\top 1 \ge (1^\top A ...
- 1,053
4
votes
1
answer
388
views
Proofs of inequalities used by Erdos-Renyi in their Random Graphs Paper 1
Please refer to this, it is Erdos-Renyi 1959 paper 1 on Random Graphs. I am currently working on this, but I am stuck on the fifth page, where they use two estimates. More specifically, here's the ...
CommunityBot
- 1
20
votes
3
answers
4k
views
Propositions equivalent to the completeness of the real numbers
Can anyone point me to a reasonably comprehensive article (or book chapter) explaining which basic theorems of calculus are equivalent to the completeness axiom of the reals and which ones aren't?
...
- 16.6k
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
- 617
2
votes
1
answer
137
views
Convergence of the average weight of an infinite path through a weighted directed graph
Consider a directed graph $G = (V, E, w)$, where $V$ is the set of vertices, $E \subseteq V \times V$ is the set of directed edges (with self-loops allowed), and $w : E \to \mathbb{R}_+$ is a weight ...
CommunityBot
- 1
0
votes
1
answer
142
views
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? [closed]
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? The affine is composition of rotation and continue automorphism.
- 128k
18
votes
1
answer
2k
views
Function of two sets intersection
Let $U$ be the set of all nonempty subsets of $[0,1]$ that are a union of finitely many closed intervals (where an "interval" that is a single point does not count as an interval). Does ...
CommunityBot
- 1
0
votes
1
answer
124
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
- 6,476
0
votes
0
answers
71
views
Fourier decay implies what kind of regularity
We consider a function $f:\mathbb R^2 \to \mathbb C$ that is compactly supported and bounded. In addition, we know that
$$\lim_{\vert x\vert \to \infty} \vert x \vert^2 \vert \hat{f}(x)\vert =0,$$
...
1
vote
0
answers
146
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
- 501
0
votes
1
answer
114
views
Fourier transform of exponential over torus
I found the following formula for the Fourier transform on a flat 2-torus, but I don't quite know how to derive it. We have a variable $q=(q_x,q_y) \in [0,2\pi)^2$ and by considering it in polar ...
- 128k
1
vote
0
answers
58
views
Asymptotic behavior of the Hermite functions
I would like to understand the asymptotic behavior of the Hermite function :
$$\psi_k(x) = \frac{1}{\sqrt{2^k k!}}H_k(x) e^{-\frac{x^2}{2}},$$
where $H_k(x)$ is the $k-$th Hermite polynomial. For ...
- 21
3
votes
2
answers
352
views
General version of Weyl's lemma
The classical Weyl's lemma say, suppose $u \in L^1_{loc}(\Omega)$ satisfies
$$\int_{\Omega}u \Delta \phi dx=0\ \ \forall \phi\in C_c^{\infty}(\Omega),$$
then $u$ is harmonic in $\Omega.$ What I want ...
0
votes
0
answers
53
views
Spectral theory of compact operator for quasi-Banach spaces
Let $X$ be a Banach space and let $Y\subset X$ be a quasi-Banach space (with compact inclusion). Suppose $T:X\to X$ is a compact operator such that $1$ is not its eigenvalue and $T|_{Y}:Y\to Y$ is ...
- 938
10
votes
2
answers
513
views
Is there a purely constructive presentation of the HK integral?
Treating the Riemann integral in a constructive setting is easy and straightforward. Treating the closely related but much more powerful Henstock-Kurzweil integral constructively is almost easy, ...
- 1,947
6
votes
3
answers
747
views
Clarification and Proof of Inequality (8.11) in Analytic Number Theory by Iwaniec and Kowalski
I am studying inequality (8.11) from Analytic Number Theory by Iwaniec and Kowalski. It is found on top of page 200. In bottom of page 199, the authors prove that
$$
|S_f(N)|^2 \leq N + \frac{2N^2}{q} ...
- 47.1k
2
votes
1
answer
242
views
Modify a random variable to make its range Borel?
Let $X: \Omega\to{\mathbb R}$ be a random variable. Is it always possible to modify it (i.e. change the value of $X$ on a subset of $\Omega$ of zero measure) so that the range of $X$ is a Borel set?
...
2
votes
0
answers
194
views
Functions such that the *integral* of the Fourier transform is non-negative?
Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that
$$\int_{-\infty}^x \widehat{f}(t) dt \...
- 20.2k
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
- 1,429
0
votes
1
answer
66
views
Does convergence in probability of iid samples imply convergence in measure of the sampled functions?
Let $g_i: [0, 1] \to \mathbb R$ be $L^1$ functions, equibounded in $L^1$ norm. Let $X_i$ a sequence of iid uniform random variables on $[0, 1]$. Suppose that
$$\frac{1}{n} \sum_{i = 1}^n g_i (X_i) \to ...
- 128k
-3
votes
1
answer
194
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 1,381
6
votes
0
answers
130
views
Do there exist strictly contracting eikonal functions on $\mathbb R^n$?
A function $f: \mathbb R^n \to \mathbb R$ is said to be a strict contraction if
$$|f(x) - f(y)| < |x - y|$$
for all $x \neq y$.
A function $f$ is said to be eikonal if it is differentiable ...
- 6,155
0
votes
0
answers
55
views
Compactness and Leray-Schauder degree
What's the relationship between compactness of solutions in partial differential equations (PDEs) and the Leray-Schauder degree?
- 471
1
vote
0
answers
100
views
Prove or disprove that $|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$
$|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$.
I had this conjecture for a long time. I tried various methods and techniques but they all failed. It might also be wrong ...
- 178
5
votes
2
answers
354
views
Can one show that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$?
Is it true that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$ ?
Or in other words can you show that the higher order derivatives of the reciprocal of the Riemann zeta function ...
- 22.5k
1
vote
1
answer
76
views
Upper bounds for the spatial differential of the inverse of a flux
It is well known that given a regular velocity field $b: \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ (say, continuous in time and uniformly Lipshitz in space), the flux $X$ associated to $b$ is a ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
7
votes
1
answer
552
views
Example of continuous function which is not differentiable everywhere in a strong sense
Is there a continuous function
$$u\colon (0,1)\to \mathbb{R}$$
such that at every point $x\in (0,1)$ one has
$$\lim\sup_{y\to x+0}\frac{u(y)-u(x)}{y-x}=+\infty?$$
In particular $u$ is not ...
5
votes
0
answers
163
views
Does this weak omniscience principle have a name?
In constructive analysis, I'm looking at principles which follow both when there exists at least one discontinuous function from $\mathbb{R}$ to $\mathbb{R}$ (equivalent to WLPO i.e. $x > 0$ or $x \...
- 869
2
votes
0
answers
43
views
Distributions and time-kernels
Let $U\subset\mathbb{R}^{d}$ be an open subset and set $M:=I\times U$, where $I=(a,b)\subset\mathbb{R}$ is some open subset. Lets consider a linear operator $B:C^{\infty}_{c}(M)\to C^{\infty}(M)$ that ...
- 63.9k
0
votes
0
answers
22
views
Has this notion of "variation along the diagonal of a not-necessarily-smooth function" been studied before?
I am interested in knowing whether something along the lines of the "diagonal variation" defined below has been studied before. In spirit, the basic idea is that it is a kind of ...
- 708
9
votes
5
answers
2k
views
Convexity of distance-to-boundary function
Let $\Omega\subset\mathbb{R}^{n}$ be an open,
bounded convex domain. Denote $d_{\Omega}:\Omega\rightarrow\mathbb{R}$
the distance-to-boundary function, that is,
$$
d_{\Omega}\left(x\right):=\inf\left\...
- 45k
1
vote
1
answer
90
views
Sobolev inequality with weight in the case $1<n\leq p$
Assume that $1<n\leq p$. Does there exist a (non-negative) measure $\mu$ (preferably with some positive density function with respect to the Lebesue measure $dx$) and $q>p$ so that for all $f\in ...
- 6,476