All Questions
Tagged with mg.metric-geometry real-analysis
108 questions
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
9
votes
2
answers
519
views
The fraction of the sphere a fixed distance from a subspace
The following problem has a beautiful geometric interpretation in terms of the proportion of points on the Euclidean sphere in $\mathbb{R}^d$ that lie at least a certain distance away from a $k$-...
- 91
12
votes
4
answers
2k
views
Seeking a Geometric Proof of a Generalized Alternating Series' Convergence
Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges:
$$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$
Note that $S(...
- 7,831
2
votes
1
answer
297
views
A raceway problem
Let $f(x)=\sin x$, and $g(x)=\sin x + 1$. Consider a set
$S=\{(x,y)| f(x)\leq y \leq g(x), x\in [0,2\pi]\}$. This set $S$ can be considered as "Raceway"
My question is finding the shortest path in $S$...
- 3,320
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 8,512
7
votes
4
answers
3k
views
completeness axiom for the real numbers
Do any treatises on real analysis take the following as the basic completeness axiom for the reals?
"Let $A$ and $B$ be set of real numbers such that
(a) every real number is either in $A$ or in $B$;
...
- 19.7k
6
votes
1
answer
802
views
Approximation of a Sobolev function that has vanishing trace on the reduced boundary of a Caccioppoli (i.e. finite perimeter) set
For $\Omega\subset\mathbb{R}^N$ open and bounded, let $W^{1,p}(\Omega)$ denote the usual Sobolev space of $L^p(\Omega)$ functions with weak partial derivatives in $L^p(\Omega)$ and $W_0^{1,p}(\Omega)$ ...
- 143
28
votes
7
answers
5k
views
Rolle's theorem in n dimensions
This looks like a statement from a calculus textbook, which perhaps it should be.
"Rolle's theorem". Let $F\colon [a,b]\to\mathbb R^n$ be a continuous function such that $F(a)=F(b)$ and $F'(t)$ ...