All Questions
5,657 questions
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
8
votes
0
answers
414
views
For $f$ Lipschitz with $|\nabla f| = 1$ a.e., what is the supremal Hausdorff dimension of the set on which $\varepsilon< |\nabla f| < 1-\varepsilon$?
Let $f$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere.
Let $\varepsilon \geq 0$. What is the supremal Hausdorff dimension of the set on which $f$ is differentiable with $\varepsilon &...
- 6,215
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
8
votes
0
answers
296
views
Is there a real-analytic approach to evaluate a definite integral (with an elementary integrand) whose value involves Lambert $W$?
I have never seen a real-analytic approach to evaluate integrals of the form below
$$\int_a^b\text{elementary function}(x)\,dx=\text{constant non-trivially involving}\,W(\cdot)\tag1$$ The elementary ...
- 1,459
8
votes
0
answers
422
views
Non-affine smooth transformation of Gaussian is Gaussian
Suppose $Z\sim N(0,1)$ (standard Gaussian) and $f: \mathbb{R} \to \mathbb{R}$ is a differentiable function such that $f(Z)\sim N(0,1)$. My question is whether there exists any such $f$ other than $f(x)...
- 399
8
votes
0
answers
518
views
Concave and other bounded functions: Series representation and converging polynomials
Main Question
Suppose $f:[0,1]\to[0,1]$ is continuous, polynomially bounded, and belongs to a large class of functions (for example, the $k$-th derivative, $k\ge 0$, is continuous, Lipschitz ...
- 697
8
votes
0
answers
314
views
How to prove that $ \sum_{m=0}^{\infty} { \Gamma\{(1+2m)/\alpha\}\over \Gamma(1/2+m)} { (-t^2/4)^{m}\over m !} \ge (\alpha/2)^{3}\exp(-t^{2}/4) $
I would love to prove the following inequality
$$
{1\over \sqrt{\pi} } \sum_{m=0}^{\infty}
\Gamma\{(1+2m)/\alpha\}
{ (-t^2)^{m}\over (2m) !}=$$
$$
\sum_{m=0}^{\infty}
{ \Gamma\{(1+2m)/\alpha\}\over \...
- 178
8
votes
0
answers
327
views
How does Conway's proposed compromise for constructing the real numbers in ONAG actually work?
I have also asked this question on Math Stack Exchange (link).
In On Numbers and Games, after discussing the inclusion of the real numbers in the surreal numbers, No, Conway discusses the merits of ...
- 455
8
votes
0
answers
256
views
Structural Stability on Compact $2$-Manifolds with Boundary
I'm studying the structural stability of vector fields and I'm interested in learning about this phenomenon on compact $2$-manifolds with boundary.
Let $M^2$ be a compact connected 2-manifold and $\...
- 333
8
votes
0
answers
110
views
Connected component optimization
For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...
- 623
8
votes
0
answers
334
views
Criterion for smooth functions [duplicate]
Let $f:\mathbb{R}→\mathbb{R}$ a real-valued function and $m,n∈\mathbb{N}^∗$ coprime, i.e. greatest common divisor of m and n is 1, and define $f^m:=f\cdot f\cdot\ldots\cdot f.$
Show that
$$f^m,f^n\in ...
- 81
8
votes
0
answers
210
views
Concavity of product and ratio of sums
Apologies if this question is not appropriate for MathOverflow. I have asked at Math.StackExchange without success.
Consider the function $f:\mathbb{R}^n\rightarrow \mathbb{R}$ defined as
$$
f(x)=\...
- 389
8
votes
0
answers
433
views
Heisenberg group: function without vertical derivative
Let $\mathbb H$ be Heisenberg group with vector fields
$$
X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t
$$
and $U\subset\mathbb H$ is an open set.
I am ...
- 399
8
votes
2
answers
509
views
Condition to guarantee that an inhabited and bounded set of reals has a supremum
This question is about constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF. The “reals” (and the symbol $\mathbb{R}$) refer to ...
- 32.5k
8
votes
1
answer
2k
views
Summary of sufficient conditions for convergence of Fourier series
I would like to summarize various sufficient conditions for various modes of convergence of Fourier series. The followings are what I have gathered so far:
$L^p$ convergence:
if $f \in L^p(\mathbb{T}...
- 315
7
votes
6
answers
3k
views
Elementary proof that an open subset of $\Bbb{R}^n$ does not have measure zero?
There is an elementary theory of subsets of $\Bbb{R}^n$ of measure zero, namely one defines the volume of a cube in the obvious way and one says that a subset $A$ has measure zero if given any $\...
- 2,797
7
votes
3
answers
3k
views
incompleteness in real analysis
Godel's theorem tells us that any sufficiently powerful consistent formal theory of the integers is incomplete; but what about formal theories of the real numbers? More precisely, what about theories ...
- 19.7k
7
votes
5
answers
6k
views
Advantages of the sequence definition of limits
I will be teaching an introductory analysis course in the coming semester. In it the students will learn about limits of real sequences, and then will learn about limits of functions in terms of ...
7
votes
3
answers
2k
views
A question on fractional derivatives
I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...
user168611
7
votes
1
answer
391
views
Does $(\nabla \times F) \cdot F= (\nabla \times F) \cdot \nabla f$ have a solution?
A grad student asked me this question during office hours, and I couldn't for the life of me come up with a proof or counterexample:
For a given $F:\mathbb{R}^3 \to \mathbb{R}^3$, does $(\nabla \...
- 73
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
7
votes
4
answers
986
views
Probability that planar Brownian motion doesn't "encircle" 0
Suppose $B_t$ is a standard Brownian motion in $\mathbb{R}^2$ and $T = \text{inf}\{t : |B_t| = 1\}$. Let $E$ denote the event that $0$ is contained in the unbounded component of $\mathbb{R}^2 \...
- 71
7
votes
2
answers
606
views
Countably representing all closed sets of positive measure
This may be a naive question, but I don't see an immediate argument.
Question: Does there exist a sequence $\{C_m\}_{m=1}^\infty$ of Borel subsets of $[0,1]$ with positive Lebesgue measure $|C_m|>0$...
- 1,959
7
votes
2
answers
682
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
user127612
7
votes
3
answers
393
views
Non-smooth function with all differences of translates smooth?
Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function
$$
g_t : x \mapsto f(x) - f(x-t)
$$
is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...
- 853
7
votes
2
answers
2k
views
Is it meaningful to work on convergencies, integration, etc. on the Zariski topology?
Since I have studied analysis as well as algebra recently, I am familiar to work on integrablities, and such concepts when I look at topologies. Currently, I am studying algebraic geometry, and I want ...
- 97
7
votes
5
answers
667
views
Reference for graduate-level text or monograph with focus on "the continuum"
I always had the dream to design a course for my graduate students like "mathematical models of the continuum". This course should cover history of real numbers, the Measure Problem, the ...
- 125
7
votes
3
answers
905
views
A definition of the fractional derivative
I was investigating the idea of fractional derivatives and devised the following definition. WHich definition is it equivalent to and can I have a reference for it?
$$\frac{d^n}{dx^n}f(x) = \lim_{h \...
- 1,129
7
votes
2
answers
331
views
Does every subset of $\mathbb N$ with full natural density contain arbitrarily long geometric progressions?
We use the standard definition of natural density. We say a subset of $\mathbb N$ has full natural density if it has natural density $1$.
Question: Does every subset of the naturals with full natural ...
- 6,215
7
votes
4
answers
6k
views
Numerically computing $\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$
In the book, "Pi and the AGM" by Borwein and Borwein, it is mentioned that Gauss computed the following integral to the eleventh decimal palce.
$\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$
How did he do it? ...
- 263
7
votes
2
answers
582
views
"sinc-ing" integral
Let $a_1,\dots,a_n, b$ be positive real numbers.
*Question.** Is this true?
$$\int_{-\infty}^{\infty}\frac{\sin(bx+a_1x+\cdots+a_nx)}{x}\prod_{j=1}^n\frac{\sin(a_jx)}{a_jx}\,\,dx=\pi.$$
My ...
- 43.2k
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 ...
- 8,998
7
votes
1
answer
1k
views
The sinc function strikes again [duplicate]
Recall $\text{sinc}(x)=\frac{\sin x}x$. It's a familiar exercise that $\int_0^{\infty}\text{sinc}(x)\,dx=\frac{\pi}2$.
But, at present, I wish to ask about the following claim on a "sinc-ing" ...
- 43.2k
7
votes
4
answers
6k
views
The characteristic (indicator) function of a set is not in the Sobolev space H¹
Is it true that the characteristic
(indicator) function of a subset of
Euclidean space with finite positive
measure is never in the Sobolev space
$H^1 = W^{1,2}$? And if so, what is the best/easiest/...
- 1,771
7
votes
1
answer
1k
views
A variational problem - some guidance
This is a problem I'm thinking about, to learn some more advanced calculus of variations on my own. I would appreciate some help, or a solution, just to have a sample to compare in the future.
Let
$\...
user125029
7
votes
2
answers
479
views
Asymptotic behavior of $\sum_{k=1}^{\infty} \sqrt{\max\{1 - k^2/x^2,0\}}$ as $x\to\infty$
Let $f:\mathbb{R}\to\mathbb{R}$ be the function $$f(x) = \sum_{k=1}^{\infty} \sqrt{\max\left\{1 -\frac{k^2}{x^2},0\right\}}.$$
Numerical experiments suggests that there exists $n\in\mathbb{N}$ and a $...
- 2,605
7
votes
6
answers
959
views
Intersection of two Jordan curves lying in the rectangle
Given a rectangle $ABCD$.
Let a Jordan curve $L_1$ joins the vertexes $A$ and $C$
and all points of $L_1$ belong the rectangle.
Let a Jordan curve $L_2$ joins the vertexes $B$ and $D$
and all points ...
- 97
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 ...
- 541
7
votes
2
answers
537
views
How should I understand the "$C^\infty$ functions" whose domain is the dual of $C^\infty(\mathbb{R}^n)$?
I am reading Colombeau's book "New Generalized Functions and Multiplication of Distributions" and he uses the notation $C^\infty({C^\infty}'(\Omega))$ out of nowhere.
Here $\Omega$ is any ...
- 3,477
7
votes
2
answers
567
views
Is a function of several variables convex near a local minimum when the derivatives are non-degenerate?
This is a cross-post.
Let $U \subseteq \mathbb R^n$ be an open subset, and let $f:U \to \mathbb R$ be smooth. Suppose that $x \in U$ is a strict local minimum point of $f$.
Let $df^k(x):(\mathbb R^n)^...
- 6,741
7
votes
3
answers
4k
views
Is a semicontinuous real function Borel measurable?
Let $f(x,u): [0,1]^2 \mapsto \mathbb{R}$ be a continuous
function.
[Q] Is $g(x) = \inf_{u\in [0,1]} f(x,u)$ always Borel measurable?
If not, can one find a counter-example?
Note that, for any $c$,
...
- 1,399
7
votes
2
answers
786
views
Mapping exponentiation onto addition
I was inspired by Does there exist a function which converts exponentiation into addition? to think about mapping exponentiation onto addition.
The question asks whether there exists $f:\mathbb{R}\...
- 333
7
votes
1
answer
298
views
Functions $f \geq 0$ on $\mathbb{R}$ which are of the form $f = |g|^2$ for some entire function $g$
I think the answer to this question must be well known. Is it possible to characterize those functions $f \colon \mathbb{R} \to \mathbb{R}_+$ which are of the form $f(x) = |g(x)|^2, x \in \mathbb{R},$ ...
- 2,101
7
votes
3
answers
670
views
Cofinality of a $\sigma$-ideal of $\mathbb{R}$
The cofinality of a partially ordered set $\left( P,\leq \right)$, written $cof(P)$, is the smallest cardinality of a subset $T$ of $P$ that is [EDIT: cofinal] in $P$, i.e. for every element $p\in P$ ...
- 73
7
votes
2
answers
627
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 1,171
7
votes
4
answers
395
views
A geometric mean form of the Hermite-Hadamard inequality, for negative powers
The following inequality appeared in the analysis of a random approximation algorithm:
$$
\int_u^{u+1} x^p\ \mathrm{dx} \leq \sqrt{u^p(u+1)^p}\text{, for } -1\leq p\leq 0, u\geq 1.
$$
This resembles ...
- 81
7
votes
1
answer
1k
views
Is the sum of a Darboux function and a polynomial necessarily a Darboux function?
A function $f: \mathbb{R} \to \mathbb{R}$ is called a Darboux function if and only if it maps every connected subset of $\mathbb{R}$ to a connected set.
As an example :
We know that (a.k.a., the ...
- 850
7
votes
3
answers
390
views
Bounds on polynomial values
Assume $f(x)\in\Bbb{R}[x]$ is a polynomial of degree $n$.
Question. If $\int_{-1}^1f^2(x)\,dx=1$, is it true that
$$\vert f(x)\vert\leq \frac1{\sqrt2}(n+1), \qquad \text{for $\vert x\vert\leq1$}\,\,\...
- 43.2k
7
votes
2
answers
2k
views
Does anyone know what is the right reference for the following simple lemma from harmonic analysis?
The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds
$$\bigg\|\sum_j a_j\chi_{\lambda B_j}\bigg\|_p\leq C(...
- 1,881
7
votes
1
answer
374
views
Is each $G_\delta$-measurable map $\sigma$-continuous?
Definition. A function $f:X\to Y$ between topological spaces is called
$\bullet$ $G_\delta$-measurable if for each open set $U\subset Y$ the preimage $f^{-1}(U)$ is of type $G_\delta$ in $X$;
$\...
- 41.9k