All Questions
739 questions
5
votes
0
answers
1k
views
Boundary of an open, bounded and convex set in $\mathbb{R} ^n$
Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
5
votes
4
answers
589
views
Looking for a reference on conformal mapping on $\Bbb R^n$
A mapping $T: \Bbb R^n\to \Bbb R^n$ is said to be conformal if it is bijective and preserves angles, i.e.,
if $x, y: [0,1]\to \Bbb R^n$ are curves with $x(t_0)=y(t_0)$ then
$$\cos (Tx(t_0),Ty(t_0))= \...
- 1,101
5
votes
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 41.9k
5
votes
1
answer
425
views
"Interlacing property" of certain polynomials
I posted this question on MO which was quickly and decidedly answered by Noam D. Elkies.
Once more referring to the same set of polynomials
$$u_n(x) =
{2}^{n-1}\prod _{k=0}^{n-1}(2x+2k+1)
-{2\,n-1\...
- 43.2k
5
votes
1
answer
332
views
On a certain norm of the identity operator on $\mathbb R^2$
$\newcommand\R{\mathbb R}\newcommand\Q{\mathcal Q}$For mutually orthogonal vectors unit vectors $a=[a_1,\dots,a_n]^T$ and $b=[b_1,\dots,b_n]^T$ in $\R^n=\R^{n\times1}$ (so that $n\ge2$) and for all $x=...
- 128k
5
votes
0
answers
221
views
Can we construct a computable sequence of trigonometric polynomials that converges pointwise to a given continuous function defined on the torus?
Consider any continuous function $f$ on an $m$-dimensional torus $\mathbb{T}^m$. Can we construct a sequence of band limited functions (trigonometric plynomials), with the band width (degree of the ...
- 698
5
votes
2
answers
922
views
What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?
In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in
Troelstra,...
- 16.6k
5
votes
2
answers
565
views
Geometry of Level sets of elliptic polynomials in two real variables
Updated:
A polynomial $P(x,y)\in \mathbb{R}[x,y]$ is called an elliptic polynomial if its last homogeneous part does not vanish on $\mathbb{R}^2\setminus\{0\}$.The two answers to this post provide a ...
- 356
5
votes
1
answer
564
views
Convergence of discrete Laplacian to continuous one
I make the following observation:
Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.)
This one has eigenvalues ...
- 536
5
votes
2
answers
301
views
Euler–Maclaurin formula in $\mathbb{Z}^d$
I was wondering whether there is a Euler–Maclaurin formula of sorts for expressions such as
$$
\sum_{x \in [a,b]^d\cap \mathbb{Z}^d} f(x) - \int_{[a,b]^d}f(x)
$$
where $d\ge 2$ is an integer, $a,b \...
- 446
5
votes
1
answer
243
views
How much time does a function spend above or below its average value around a point?
Given a locally integrable function $f: \mathbb R \to \mathbb R$, define $
K: \mathbb R \times \mathbb R+ \to \mathbb R$ by
$$
K(x, r) :=
\begin{cases}
1, & \text{if }f(x) > \dfrac{1}{2r}\...
- 2,069
5
votes
1
answer
618
views
Is the harmonic series worse than any summable series?
It is well-known that the harmonic series is not summable. In some sense this means that it takes a lot of rather large values.
We define the operator $F_{\varepsilon}: \ell^{\infty}(\mathbb N) \...
- 536
5
votes
2
answers
1k
views
Equation between the two branches of the lambert w function
My question: Is there an equation connecting the two branches $W_0(y)$ and $W_{-1}(y)$ of the Lambert W function for $y \in (-\tfrac 1e,0)$?
For example the two square roots $r_1(y)$ and $r_2(y)$ of ...
- 497
5
votes
1
answer
712
views
Does this condition imply absolute continuity?
Let $f: [0, 1] \to \mathbb R$ be a measurable function. Define the (possibly infinite valued) upper and lower Dini derivative $D^+ f, D^- f: [0, 1] \to [-\infty, \infty]$ by
$$D^+ f (x) := \limsup_{y \...
- 6,215
5
votes
1
answer
474
views
An inequality for certain positive-semidefinite matrices
Suppose that $G=(G_{ij})$ is a positive-semidefinite symmetric matrix with the diagonal entries all equal $1$ and all off-diagonal entries $\le0$. Does it then necessarily follow that
$$\sum_{i,j}(G^5)...
- 128k
5
votes
3
answers
620
views
Poisson equation on manifolds
Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation
$$\Delta u=f$$
does have a solution on $C^{\infty}(\mathcal{M})$ ...
- 1,171
5
votes
1
answer
350
views
Set of translations of a real function having a dense linear span
Let $W$ be the space of continuous functions $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $\lim_{x\rightarrow \pm \infty} f(x)=0$, and consider the sup-norm topology on $W$.
Problem. does there ...
- 537
5
votes
0
answers
586
views
A minimal eigenvalue inequality
Suppose $A$ is an $n\times n$ real symmetric positive definite matrix. Let $A^{(-1)}_{i,j}$ be the $n\times n$ matrix the entries $(i,i),\,(i,j),\,(j,i),\,(j,j)$ of which equal to the corresponding ...
- 2,239
5
votes
1
answer
2k
views
Commuting with self-adjoint operator
Let $T$ be an (unbounded) self-adjoint operator. Assume that there is a bounded operator $S$ such that $TS=ST.$ For which kind of $f$ do we have that $f(T)S=Sf(T)?$
My thought was that using a ...
- 501
5
votes
0
answers
195
views
What are the possible $L^{\infty}$ closures of an integration-invariant linear subspace of $C([0,1],\mathbb{R})$?
Let $S \subset C([0,1],\mathbb{R})$ be an $\mathbb{R}$-linear subspace that is invariant under the $T := \int_0^x$ integration operation: if $g \in S$ then the function $f = Tg$ defined pointwise by $...
- 13.8k
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 6,215
5
votes
2
answers
297
views
Is the $W^{1, \infty}$ limit of differentiable a.e. functions also differentiable a.e.?
Let $f_n$ be a sequence of continuous, differentiable a.e. functions on $[0, 1]$ with
$f_n \to f$ uniformly for some continuous $f$.
$f'_n - g \to 0$ in $L^\infty$ for some measurable $g$,
where we ...
- 6,215
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
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
5
votes
0
answers
107
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
- 10.5k
5
votes
2
answers
483
views
Are there any known approaches of generalizing functions that do not have a limit at infinity to values at infinity?
Let's consider the affinely extended real line. The functions that have a limit on positive or negative infinity $\lim_{x\to+\infty} f(x)$ or $\lim_{x\to-\infty} f(x)$ can be generalized to the values ...
- 10.1k
5
votes
2
answers
503
views
Minimizing $x_1^2+x_2^2+x_3^2+x_1x_2+x_2x_3+x_3x_1$
Look at the expression
$$
f(x_1,x_2,x_3) = x_1^2+x_2^2+x_3^2+x_1x_2+x_2x_3+x_3x_1.
$$
The numbers $x_1,x_2,x_3$ are non-negative, and I assume that $x_1+x_2+x_3=3$. This is a sum of squares and "...
- 2,207
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
- 19.7k
5
votes
0
answers
247
views
Involutions on $[0,1]$ given by power series (related to probability generating functions)
Let $A$ be a function from $[0,1]$ to $[0,1]$. $A$ is an involution if $A(A(x))=x$ for all $x\in[0,1]$.
Which involutions $A$ exist such that $A(x)=\sum_{k=0}^\infty a_k x^k$ with $a_0=1$ and $a_k\...
- 3,937
5
votes
1
answer
410
views
Is there always a real $x$ such that $\cos n_1 x + \cos n_2 x + \cos n_3 x < -2$?
Problem: Given three positive integers $0 < n_1 < n_2 < n_3$. Is there always a real number $x$ such that
$$\cos n_1 x + \cos n_2 x + \cos n_3 x < -2?$$
- 1,053
5
votes
0
answers
270
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
- 156k
5
votes
2
answers
202
views
Monotonicity of a parametric integral
For real $x>0$, let
$$f(x):=\frac1{\sqrt x}\,\int_0^\infty\frac{1-\exp\{-x\, (1-\cos t)\}}{t^2}\,dt.$$
How to prove that $f$ is increasing on $(0,\infty)$?
Here is the graph $\{(x,f(x))\colon0<...
- 128k
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 124
5
votes
3
answers
1k
views
Property/Relations using Fourier series/transform, which give complete information about all the jump singularities of a function.
Consider a function which has only jump singularities of the form of the function itself or one of its derivatives jumping. Now let $\hat{f}(k)$ be its Fourier transform/series. We know the decay of ...
- 698
5
votes
2
answers
647
views
Dominated convergence 2.1?
After this question : Dominated convergence 2.0?
I want to know, what about the case when $h\in L^1([0,1])$.
The completed question :
Let $(f_n)_n$ be a sequence in $C^2([0,1])$ converging ...
- 4,074
5
votes
1
answer
598
views
An inequality related to Lagrange's identity and $L_p$ norm
Let $a_1, a_2, \cdots , a_n$, $b_1, b_2, \cdots, b_n$ be real numbers, $p \in [1, +\infty)$, prove that
$$\sum_{1\leq i < j \leq n} |a_ib_j - a_jb_i|^p \leq c_p \sum_{i=1}^n |a_i|^p \sum_{i=1}^n |...
- 563
4
votes
0
answers
151
views
Estimating the size of $\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}$
Let $\Omega$ be a bounded domain in $\Bbb R^n$. Define
$$
\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \},
$$
i.e. it the ring of thickness $r$ at the boundary of $\Omega$. Intuitively, ...
- 1,245
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
4
votes
1
answer
377
views
Differential inequalities under which a flat function must be identically zero
Let $f:\mathbb{R}\to \mathbb{R}$ be a smooth function which is flat at $0\in \mathbb{R}$. That is $f^{(k)}(0)=0,\; k=0,1,2,\ldots $.
Assume that $|f''(x)|\leq M|f(x)|\quad \forall x\in \mathbb{R}$ ...
- 356
4
votes
1
answer
227
views
Continuity upgrade for nonlinear maps
Let $E,F,G$ be topological vector spaces such that $F\subset G$ with continuous embedding.
By continuity upgrade I mean the following phenomenon: In some circumstances a continuous linear map $f:E\...
- 779
4
votes
1
answer
379
views
A constant ratio of integrals? Part I
Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$.
For $0<r\leq1$, consider the average of its Dirichlet integral
$$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
- 43.2k
4
votes
2
answers
548
views
Convergence of a sequence
Let $x_0=1$ and
$$x_{k+1} = (1-a_k)\left(\frac{3}{2}-\frac{1}{2}\frac{1}{x_k}\right)$$
where $a_n$ is a known sequence satisfying that $a_k\in(0,1)$ for all $k$ and $a_k\to 0$ as $k\to\infty$. How to ...
- 311
4
votes
1
answer
249
views
Does this functional admit an absolute minimizer?
This is a close relative of the following problem.
Let $\Omega$ be an open, bounded subdomain of $\mathbb R^n$ with smooth boundary, and $f_i \in W^{1, \infty} (\Omega)$ a sequence of functions ...
- 6,215
4
votes
1
answer
277
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
4
votes
1
answer
288
views
$C^1$ function with a dense set of maximum values
Let $f: [0, 1] \to \mathbb R$ be a function on the unit interval. We say $y \in \mathbb R$ is a local maximum value of $f$ if $y = f(x)$ for some strict local maximum $x$ of $f$.
Question: Does there ...
- 6,215
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,215
4
votes
1
answer
109
views
Dividing a spherical cap into three equal wedges
Background: Optimal ways to cut an orange.
In this problem, we have a spherical orange, and we do not wish to eat its central column which is modelled as a cylinder. Part of the procedure involves an ...
- 1,459
4
votes
1
answer
642
views
Explicit and fast error bounds for approximating continuous functions
Main Question
This question is about finding explicit, calculable, and fast error bounds (no hidden constants) when approximating continuous functions with polynomials or simpler functions to a user-...
- 697
4
votes
2
answers
977
views
Articles with examples of Darboux functions without fixed points
A function $f: I \to J$ ($I,J$ intervals) has the Darboux property or the Intermediate value property if for every $a < b \in I$ and for every $\lambda$ between $f(a)$ and $f(b)$ there exists $c \...
- 2,222
4
votes
1
answer
287
views
Local maxima of the sum of Gaussian functions in *multiple dimensions* are always strict local maxima - prove/disprove/prove conditionally?
This is a follow up of the question in one dimension, that asked to show that the all the maxima of the sum of Gaussian
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, x_1 < x_2 < \dots < x_n$$
are ...
- 1,467