All Questions
5,629 questions
5
votes
2
answers
271
views
Continuous map from connected subset of R^n to one of the real zero of an odd degree polynomial whose coefficients are polynoms of the variables
Let take a real multivariate polynomial $P(x_1, \ldots, x_n, y)$ such as the degree of P relatively to the variable $y$ is odd. Thus, for each $X = x_1,\ldots,x_n \in\mathbb{R}^n$, the univariate ...
- 34.7k
9
votes
1
answer
1k
views
Specifying $L^p$ norms of derivatives
Given a sequence of positive numbers $\{a_n\}$ and $1 < p < \infty$, $p\neq 2$, is it possible to build a function $f\in C^\infty(\mathbb R)$ so that $\|f^{(n)}\|_{L^p(\mathbb R)} = a_n$?
For ...
- 91
7
votes
1
answer
306
views
An indicator of a planar subset as an element of a tensor product
Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that
$$
f^2=f
$$
(that ...
CommunityBot
- 1
4
votes
2
answers
655
views
Differentiability: Partially Defined Functions
These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds.
(Cf. discussion on p. 45.)
Definition
Let $E$ and $F$ be two Banach spaces together with a plain subset $A\subseteq ...
- 25.3k
15
votes
1
answer
1k
views
Calculate in closed form $\int_0^1 \int_0^1 \frac{dx\,dy}{1-xy(1-x)(1-y)}$
The following question has a 500 points bounty on MSE that soon comes to an end, and no answer
as expected was given yet. How would a professional solve the problem? Wish you succcess.
https://math....
CommunityBot
- 1
6
votes
0
answers
207
views
Degree of Chebyshev polynomial necessary
In general, given $0<a<1$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[1-\frac{a}2,1+\frac{a}2]$ at every $x\in[1-a,1+a]$ and $f(0)=0$. What is minimum degree that is ...
CommunityBot
- 1
6
votes
1
answer
489
views
Henstock, Differentiation under the integral sign
Does anyone know, where I can find the proof of necessary and sufficient conditions for differentiating under the integral sign in case of Henstock integral? Here are the theorems but not all the ...
- 63
2
votes
0
answers
519
views
Regularity in PDE theory
I stumbled over this question in the context of PDE theory and thought that maybe somebody here knows whether the following is true or not?
Let $U$ be connected,open and bounded in $\mathbb{R}^n$ ...
- 231
1
vote
2
answers
692
views
Can we extend an a.e. Lipschitz map defined on a closed subset of R^N to the whole space so that it is still a.e. Lipschitz?
I have the following question. Let $A$ be a metrically oriented $n$-dimensional subset of $\mathbb{R}^N$ and $f$ a continuous map from $A$ to $\mathbb{R}^M$. We know that $\operatorname{Lip} f < +\...
CommunityBot
- 1
0
votes
0
answers
152
views
The Lebesgue measure of the low level sets of the two-dimmension Fourier transform of a compactly supported function
Let $f\in {{L}^{1}}\left( {{\mathbb{R}}^{2}} \right)$ be a density function with the support $\operatorname{supp}\left( f \right)\subset \left[ a,b \right]\times \left[ c,d \right]$. Denoted by $\hat{...
- 141
-1
votes
1
answer
69
views
Glueing smooth functions give a smooth function if reparametrized [closed]
Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and
$$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 (t)...
- 25.3k
9
votes
3
answers
658
views
Degree necessary of a polynomial?
Given $-1<a<b<0$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[a,b]$ at every $x\in[b^2,a^2]$ and $f(0)=0$. What is minimum degree that is needed and maximum degree that ...
- 1,488
1
vote
1
answer
181
views
Interesting property of analytic functions
Let $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$, be an analytic application, such that: $f(t)=0\Longleftrightarrow\ t=t_0$.
Is it true that there is an analytic function $g:(t_0-\varepsilon, ...
- 54.2k
5
votes
0
answers
252
views
Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?
Recently, I have been studying the properties of the Riesz potential
$$
I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.
$$
The classical Hardy-Littlewood-Sobolev ...
- 632
0
votes
1
answer
111
views
Convergence in an infinite matrix
Let $\omega$ be the first infinite ordinal, and let $A$ be a real $(\omega+1)\times(\omega+1)$-matrix, that is $A$ is a map $A:(\omega+1)\times(\omega+1) \to \mathbb{R}$.
Suppose that $A$ has the ...
- 48.9k
2
votes
0
answers
151
views
Weak Morrey Spaces
As is well known, Morrey spaces are widely used to
investigate the local behavior of solutions to second order elliptic partial differential
equations. Recall that the classical Morrey spaces $\...
- 201
14
votes
1
answer
975
views
Positive roots of a polynomial
Let $a_i>0$, $i=1,\dots,n$, and put $\overline{a}:=\frac{1}{n}\sum_{i=1}^n a_i$. Assuming not all $a_i$'s are equal, take
$$
p(x):=\sum_{i=1}^n a_i (a_i-\overline{a})\prod_{k=1,\dots,n\;k\neq i} (x+...
- 34.3k
7
votes
1
answer
532
views
how wiggly is a generic level set?
Typical level sets of smooth real-valued functions are manifolds, so they cannot be fractals. If we coarse grain a bit though, sometimes we get space-filling behavior, eg. every point could be within ...
- 91.8k
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
0
votes
1
answer
304
views
Lagrangian flow preserves symplectic form
Let $X$ be a configuration space and $L: TX \rightarrow \mathbb{R}$ a Lagrangian. Then I want to show that the Lagrangian flow $F^t(x(0),x'(0)) = (x(t),x'(t))$ preserves the symplectic form just like ...
- 685
3
votes
0
answers
275
views
Maximizing the discrepancy in Jensen's inequality for a certain function
Let $\underline{b}=\{b_1,\dots,b_n\}$ be a fixed sequence of positive numbers, and let $a>0$ be a parameter.
Define
$$
D(a;\underline{b}):=\frac{1}{\frac{1}{na}+\frac{1}{\sum_{i=1}^n b_i}}
-\sum_{...
- 959
10
votes
1
answer
761
views
Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?
Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $j'_{n+1/2,1}$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$.
...
- 135
10
votes
1
answer
700
views
Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?
Let us denote the Riesz potential in $\mathbb R^d$ by
$$
I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}}
\, dy.$$
By the classical Hardy-Littlewood-Sobolev theorem ...
- 2,834
3
votes
1
answer
109
views
random odes adapted solution
Let $\{\omega_t\}$ be a Levy process (like Brownian Motion, stable process). Consider the following random ode
$$x_t=x_0+\int_0^tb(x_s+\omega_s)ds$$
Where $b$ is a bounded continuous function (not ...
- 7,559
4
votes
3
answers
1k
views
Introductory texts to mathematics [closed]
I am interested in texts recomendations for a 14 years old boy who wants to study more mathematics than he does at school. He seems quite talented, but his knowledge of maths is rather low. I would ...
- 754
2
votes
1
answer
68
views
When is a convex program continuous in its constraint vectors?
Consider $$F(z)=\min ae^{-x}+b e^{-y} s.t. x\ge 0, y\ge 0\text{ and } x+y=z$$
I checked if this function is continuous, but it is not at $z=0$. $F(z)=2\sqrt{ab}e^{-z/2}$ when $z\ne 0$, and $F(0)=a+b$....
- 516
-1
votes
1
answer
2k
views
Real and imaginary part of an holomorphic function
I guess this could be a very elementary question. Anyway I can not find an answer in literature.
Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. ...
CommunityBot
- 1
5
votes
1
answer
229
views
Does this infinite sum arising from separation of variables converge?
This problem came up in a PDE where I used separation of variables to formally get a solution. Now I need to know whether that formal solution is sensible.
Let $a_k >0$ be an increasing sequence ...
- 902
54
votes
4
answers
3k
views
When has the Borel-Cantelli heuristic been wrong?
The Borel-Cantelli lemma is very frequently used to give a heuristic for whether or not certain statements in number theory are true.
For example, it gives some evidence that there are finitely many ...
- 19.6k
4
votes
1
answer
1k
views
Fourier coefficients of real analytic functions on an n-dimension torus
Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of $...
- 5,169
10
votes
2
answers
344
views
A moment problem
Suppose $X, Y$ are two positive random variables such that $\mathbb{E}[X^\alpha] = \mathbb{E}[Y^\alpha]$ for all $\alpha \in (0, 1/2)$.
It is also known that the first moment exists for each of them, ...
- 24.2k
4
votes
1
answer
455
views
Generalisation of Lebesgue differentiation theorem to Orlicz spaces
If $f\in L_{p}^{\rm loc}(\mathbb{R}^{n})$ and $1\leq p<\infty$, then a stronger version of Lebesgue differentiation theorem holds: $$\lim\limits_{r\rightarrow 0}\dfrac{\|f\chi_{B(x,r)}\|_{L_{p}(\...
- 201
46
votes
2
answers
7k
views
Is $\sum_{k=1}^{n} \sin(k^2)$ bounded by a constant $M$?
I know $\sum_{k=1}^{n} \sin(k)$ is bounded by a constant. How about $\sum_{k=1}^{n} \sin(k^2)$?
- 43.7k
1
vote
0
answers
2k
views
What does the Riemann–Stieltjes integral measure? [closed]
The Riemann–Stieltjes integral is a generalization of the Riemann integral, and has a definition based on a sum analogous to the Riemann sum:
$$ S(P,f,g) =\sum_{k=1}^{n} f(x_k)\Delta g(x_k) $$
where $...
3
votes
1
answer
271
views
Gradient estimate of convex functions
Consider a special type of convex function $g(\cdot):\mathbb{R}^d \to \mathbb{R}_+\cup\{+\infty\}$ such that $g(x)=+\infty$ as $|x|\to \infty$. Then $g$ is differentiable almost everywhere within its ...
- 599
2
votes
1
answer
108
views
Follow up question to: Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
This is a follow up question of the question Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
...
CommunityBot
- 1
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...
- 1,191
0
votes
1
answer
216
views
Upper bound for a ratio of modified Bessel functions
I am looking for an upper bound for the ratio of Bessel I functions $\dfrac{|I_\nu'(z)|}{|I_\nu(z)|}$ where $\nu$ is complex, and $z$ is a positive real number. Do you know any results about it? Thank ...
- 13k
5
votes
1
answer
218
views
Existence of doubling non-Polish metric measure spaces
Let $(X,d,\mu)$ be a metric measure space (i.e. $(X,d)$ is a metric space and $\mu$ is a Borel measure on $X$). Let's say that $X$ is doubling if there exists a constant $C \geq 1$ such that $0 < \...
- 29.8k
3
votes
4
answers
934
views
Is there a compact connected Hausdorff space in which every non-empty $G_\delta$ set has non-empty interior?
Q1.
Is there a compact connected Hausdorff space (with at least two points) in which every non-empty $G_\delta$ set has non-empty interior? (Without the requirement for connectedness, every finite $...
CommunityBot
- 1
4
votes
1
answer
554
views
Smoothing operator raising the smoothness exactly by one
Is there a continuous map $S: C^k(M)\to C^{k+1}(M)$ with the following properties?
(1) if $S(f)$ is $C^{k+2}$, then $f$ is $C^{k+1}$,
(2) if $f$ is $C^\infty$, then so is $S(f)$,
(3) $f$ and $S(f)$ ...
- 45k
5
votes
1
answer
327
views
Convergence in energy of bounded (semi)subharmonic functions
Consider a sequence $(f_n)$ of functions in the flat torus $T^d$ converging Lebesgue-a.e. to a limit function $f$.
Assume that:
1) $|f_n|(x)\leq 1$ for every $n,x$
2) $\Delta f_n\geq -1$ in the ...
- 660
1
vote
1
answer
657
views
Local Uniform Convergence
Suppose $f(x)$ is a positive continuous function on $[0,\infty)$ and that $f(x+u)-f(x)\to 0$ as $x\to\infty$ for every given $u\in[0,\infty)$. Prove that, given any $a>0$, $f(x+u)-f(x)\to 0$, as $x\...
- 109k
26
votes
5
answers
8k
views
Proof that no differentiable space-filling curve exists
Could someone provide a reference or a sketch of a proof that no differentiable space-filling curve exists?
Or piecewise differentiable?
Must every continuous space-filling curve be nowhere ...
CommunityBot
- 1
5
votes
1
answer
501
views
Hausdorff measure of the graph
Is there any example of a real valued function on the real line whose domain has Lebesgue measure zero but the graph (in the plane) has positive one dimensional Hausdorff measure?
Of course if such ...
- 14k
4
votes
1
answer
1k
views
What is the value of the infinite product: $(1+ \frac{1}{1^1}) (1+ \frac{1}{2^2}) (1+ \frac{1}{3^3}) \cdots $? [closed]
What is the value of the following infinite product?
$$\left(1+ \frac{1}{1^1}\right) \left(1+ \frac{1}{2^2}\right) \left(1+ \frac{1}{3^3}\right) \cdots $$
Is the value known?
- 179
9
votes
2
answers
2k
views
Stokes theorem with corners
I've found the following version of Stokes' theorem in G. Stolzenberg's lecture notes 19:
Notation:
for $1 \le n \le m$
$\Lambda(m, n) = \{ \lambda: \{1,...,n\} \rightarrow \{1,...,m\} \ | \ \...
CommunityBot
- 1
-2
votes
1
answer
193
views
Analysis of Sobolev spaces [closed]
I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
- 902
3
votes
1
answer
176
views
Uniqueness of the maximum derivative of a rational function
This may seem like an elementary question, but bear with me; you'll find that it is actually quite hard. Consider the function
$$f(x)=\frac{a_nx^n}{\sum_{i=0}^n a_ix^i}$$
with all $a_i\geq 0$ and $a_0=...
- 4,588
12
votes
1
answer
1k
views
Does every strictly increasing, unbounded sequence of positive real numbers contain arbitrarily long, finite subsequences which are "sort of increasing" or "sort of decreasing" (as defined below)?
Is the following true?
If $(x_0, x_1, \dots)$ is a strictly increasing, unbounded sequence of positive real numbers, then there exist fixed $M,N \geq 1$ such that the sequence $(x_0, x_1, \dots)$ ...
CommunityBot
- 1