All Questions
5,630 questions
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
2
votes
1
answer
152
views
Polynomial degree comparison of Nullstellensatz and Positivstellensatz over real algebraic sets
Suppose we have a (finite) system of polynomials $P = \{ p_i \} \subseteq \mathbb{R}[x_1, \ldots, x_n]$. Then it is well known by the Nullstellensatz that either $P$ has a simultaneous zero over $\...
- 14k
5
votes
1
answer
254
views
Blow-Up for Semi-Linear Wave Equations
I am reading C. D. Sogge's book "Lectures on Non-Linear Wave Equations". As an exercise, I attempted to fill out the details of the proof of Theorem 5.1 (Local Existence of Solutions for Semilinear ...
CommunityBot
- 1
3
votes
0
answers
314
views
Is a particular set of polynomials dense in a set of functions?
Let us consider the set $\mathcal{F}$ of strictly increasing continuous functions from $[0;1]$ on $[0,1]$ that cancel in $0$ and are equal to $1$ in $1$. So, if $f\in \mathcal{F}$ one has $f(0)=0$ and ...
- 60.6k
1
vote
2
answers
3k
views
Are there dense sets of positive but not full measure? [closed]
This topic came out today during a discussion with a colleague. I realized that a counter-example to his claim could be constructed if there exits a subset $A \subset [0,1]$ such that $0 < \mu(A) &...
CommunityBot
- 1
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
8
votes
2
answers
2k
views
Is it true that for each bounded continuous function we can find a set of analytic functions to uniformly converge it?
Is it true that for each bounded continuous function $f:\mathbb R \to \mathbb R$, we can find a set of analytic functions $g_i:\mathbb R \to \mathbb R, i=1,2,...$ such that $g_i$ uniformly converges ...
- 25.3k
7
votes
2
answers
2k
views
Baire Category Theorem Application
In Antoine Henrot Michel Pierre -
Variation et optimisation de formes, Une analyse geometrique, a book I'm studying I found an interesting problem. The problem is listed below. The first 3 points of ...
- 3,993
-1
votes
1
answer
148
views
Analytic extension of the exterior Newtonian potential into the domain
I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain.
Definition of Newtonian ...
CommunityBot
- 1
2
votes
2
answers
421
views
Bi-Lipschitz constant of arc-length parametrisation of convex curve
Assume that $f:[0,2\pi]\to [0,2\pi]$ is a an increasing diffeomorphism, and let $\underline f = \min f'$ and $\overline f = \max f'$ and define $$g(s) = \int_0^s e^{if(t)} dt.$$ Assume that $g(0)=g(2\...
- 89
1
vote
0
answers
85
views
What are good bounds on ratios of subdeterminants?
Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...
- 1,893
7
votes
1
answer
234
views
When is this sum of perfect powers bounded
For any positive integers $n,d$, let
$$
A_d(n)=\frac{\sum_{k=1}^n k^{2d}}{n(n+1)(2n+1)}
$$
It is easy to see (and well-known) that for fixed $d$, $A_d(.)$ is
a polynomial of degree $2d-2$. Then we ...
CommunityBot
- 1
4
votes
1
answer
332
views
Limit of a hypergeometric integral
Let $n,N,T$ be positive integers, with $N=\binom{n}{2}$, and $3\leq n\leq T\leq N$. Define:
$$P(z):=z^{N+1-T}\int_0^1\frac{(1-t^2)^{n-2}}{(1-(1-z)t)^{N+1}}{}_2F_1\left[-T,N+1,N+2-T; \frac{tz}{1-(1-z)...
- 1,273
5
votes
2
answers
2k
views
Constructive Proof to Show that Algebraic Numbers are Algebraically Closed
EDIT2: After reading some papers, I think the question can best be rephrased as "How can the minimal polynomial for a polynomial with algebraic coefficients be calculated. I have seen papers and ...
CommunityBot
- 1
0
votes
1
answer
137
views
Equality cannot hold unless $x \in \{-1,1\}$ and/or Wronskian is not zero [closed]
By playing around with assoc. Legendre polynomials, I arrived at
$$((l+1)+m) (P_l^m(x))^2+((l+1)-m)(P_{l+1}^m(x))^2 = 2(l+1)x P_l^m(x)P_{l+1}^m(x).$$
Now, I want to show that we don't have equality ...
- 3
2
votes
0
answers
98
views
What does integrability of a strictly monotonic function imply about the tails of that function?
In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?
3
votes
0
answers
262
views
About the small set expansion conjecture
Given a graph $G=(V,E)$ and a $\delta > 0$ one wants to calculate $h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)$. ($\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , n - \...
- 1,893
3
votes
1
answer
283
views
Extension of Sobolev Functions
Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
\begin{...
- 2,494
1
vote
1
answer
215
views
Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$
My singular integral operator is defined by
\begin{align}
Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t},
\end{align}
that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast f....
- 16.2k
0
votes
0
answers
121
views
A special approximation of BV functions
Suppose $\Omega:=B(0,1)\subset \mathbb R^2$. Let $u\in BV(\Omega)$ be a radially symmetric, i.e., $u(x)=u(Rx)$ for all $R\in SO(2)$. In addition, suppose $w$ to be an affine function,. i.e., $\...
CommunityBot
- 1
5
votes
1
answer
239
views
Function and its Gradient with Prescribed Norms
I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
- 902
0
votes
1
answer
80
views
Graph of bounded continous functions with distance 1
Let $V = \{f:[0,1]\to \mathbb{R}: f \text{ is continuous}\}$ and consider the metric that is defined for $f,g\in V$ by $$d(f,g) = \max\{|f(t)-g(t)|: t\in [0,1]\}.$$
We set $E = \{\{f,g\}: f,g \in V\...
- 109k
9
votes
3
answers
4k
views
Is there a reference for compact imbedding theory of Hölder space?
This question is posted and unanswered from math.stackexchange.
Suppose $0 < \alpha < \beta$ and $\Omega$ is bounded. Then, the Hölder space $C^\beta(\Omega)$ is compactly imbedded to $C^\alpha(...
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
0
votes
1
answer
237
views
Hadwiger-Nelson problem in higher dimensions
Given a positive integer $n\in \mathbb{N}$ we define the Hadwiger-Nelson graph $\text{HN}_n$ by
$V(\text{HN}_n) = \mathbb{R}^n$;
$E(\text{HN}_n) = \{\{v_1, v_2\}: v_1, v_2 \in \mathbb{R}^n \text{ and ...
- 48.9k
1
vote
1
answer
188
views
"Schwarz symmetrization" on annulus
If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
- 2,834
7
votes
1
answer
497
views
Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?
Is it true that
$$
||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ?
$$
where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...
- 24.2k
2
votes
1
answer
238
views
Asymptotic behaviour of eigenvalues
If you look at $-\Delta + q$ on the sphere in $\mathbb{R}^3$ for example and $||q|| < \infty,$ is there a way to asymptotically describe the behaviour of the eigenvalues? Probably they behave ...
- 1,164
0
votes
1
answer
247
views
Proving a complicated inequality with powers of logarithms
I am currently formalising some results from complexity theory with a theorem prover. For that, I have to prove the following statement:
Let $p, b, \varepsilon \in \mathbb R$ with $\varepsilon>0$ ...
- 379
4
votes
2
answers
3k
views
Power series with non-integer exponents
Motivation:
For the sake of concreteness, I'll state a very particular context, but my question is a little more general. I'm trying to find a function $\gamma\colon [0,\delta) \to [0,\delta')$ that ...
- 151
0
votes
1
answer
200
views
Number of critical points
Let $f:[0,2\pi]\rightarrow R^2$ be a smooth function such that $f([0,2\pi])$ is a smooth closed simple curve $C$. Suppose $(0,0)$ lies inside the the bounded open region enclosed by $C$ and $f(t)=(x(t)...
- 343
1
vote
0
answers
100
views
Summing a function at integer points
For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum
$$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$
If $F_f(y)$ is defined for all $y$, it is periodic of period 1.
...
- 37.7k
2
votes
1
answer
186
views
Does $\int \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \to \Phi(u)$ imply that $f_t \to \delta_1$?
I'm looking at a family $(f_t)$ of densities of some continuous random variables and know that
$$\int_{-\infty}^{\infty} \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \xrightarrow{t \to \...
CommunityBot
- 1
1
vote
2
answers
931
views
A question on the Lebesgue differentiation theorem
In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit
$$
\lim_{\...
- 109k
17
votes
1
answer
3k
views
Integrals of pullbacks and the Inverse function theorem(s?)
The usual story goes like this:
Smooth picture (?):
For a smooth bijection $\phi: M \to N$ between $n$-manifolds the following
is true:
$\phi^{-1}$ is a local diffeomorphism a.e.
...
- 7,817
6
votes
1
answer
843
views
Orlicz Norm and A result on expectation
I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined:
Consider arbitrary, non-negative, convex function $\psi:\...
- 3,993
1
vote
1
answer
191
views
What is the fractional derivative smoothness of functions from the Zygmund class?
Let $\Lambda([0,1])$ be the Zygmund class of continuous on $[0,1]$ functions for which $$\sup h^{-1}|f(x+2h)-2f(x+h)+f(x)|<\infty.$$ What would be the exact smoothness class for the fractional ...
- 902
1
vote
0
answers
99
views
Set nor its compliment contain an uncountable closed set [closed]
Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?
- 121
11
votes
4
answers
2k
views
Inserting an open and simply-connected set between a compact set and an open set
In a paper I am reading, the following is considered obvious:
Let $K$ be a compact and connected subset of $\,\mathbb R^2$, with $\mathbb R^2\smallsetminus K$ also connected, and $U\subset \mathbb R^...
- 922
5
votes
0
answers
183
views
On Rényi entropy/divergence
The Rényi entropy for a probability density function $f$ with dominating measure $\mu$ of order $\alpha>0$ is defined as
$$H_\alpha(f)={1 \over {\alpha-1}}\log\int f^\alpha d\mu.$$
If $f$ is ...
- 105k
8
votes
2
answers
555
views
Finiteness as a motivation for compactness
Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...
CommunityBot
- 1
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
- 1,771
2
votes
1
answer
223
views
Infinite sum of asymptotic expansions
I have a question about an infinite sum of asymptotic expansions:
Assume that $f_k(x)\sim a_{0k}+\dfrac{a_{1k}}{x}+\dfrac{a_{2k}}{x^2}+\cdots$
with $a_{0k}\leq \dfrac{1}{k^2}$, $a_{1k}\leq \dfrac{1}{k^...
- 21
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 ...
CommunityBot
- 1
3
votes
1
answer
338
views
The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations
Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or $C^{0,1}(\mathbb{R}^...
CommunityBot
- 1
1
vote
0
answers
115
views
Uniform estimate of a function given by an integral
consider the function $f_{n}(x,a,t):=e^{-(ax+n+1/2)^2t}$ with $t,x,a > 0$. The claim is now that there exists a constant $C>0$ such that for all even natural numbers $n=2k$, $k\in\mathbb{N}$ one ...
- 424
2
votes
1
answer
446
views
Approximation of subharmonic functions
Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
$$\chi_\epsilon(x)=\frac{c_n}{\...
- 91.8k
1
vote
1
answer
189
views
Precompactness of a sequence of convex functions
Suppose we have a bounded convex open set $\Omega$ in $\mathbf{R}^n$,and a sequence of convex functions $P_n$ such that $||P_n||_{L^2(\Omega)}\leq C\forall n$.Is it possible to find a subsequence ...
CommunityBot
- 1
4
votes
0
answers
684
views
A difficult integral which the Risch algorithm shows is not elementary
For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$:
$$\int_{\delta}^...
- 1,441
1
vote
0
answers
576
views
Perturbation of Laplacian via Kato-Rellich theorem
Let's consider a potential $V(x)\in L^3(\mathbb{R}^3)$. I want to know if the following Hamiltonian
$$-\Delta+V(x)$$
is self-adjoint on $H^2(\mathbb{R}^3)$.
My idea is to use Kato-Rellich theorem; ...
- 11