All Questions
5,909 questions
4
votes
0
answers
105
views
On a much weaker version of the Normal conjecture
I would like to ask you about the following question. It is conjectured that every algebraic irrational number is normal (absolutely normal). I know the result by Bugeaud and Adamczewski about the non-...
- 12.3k
2
votes
1
answer
4k
views
What “mild solution” means, and how to find it?
In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
- 571
5
votes
1
answer
852
views
Functions that map open balls to open balls of different radius?
For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function.
...
- 576
2
votes
1
answer
166
views
Approximate sequence of numbers
Let $n \in \mathbb N$ and $k_n \in \left\{0,..,n \right\}$ then we define the numbers
$$x_{n,k_n} = \frac{k_n+n^2}{n^3+n^2}.$$
It is easy to see that these numbers satisfy
$$x_{n,0} = \frac{1}{n+1} ...
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
- 623
0
votes
4
answers
571
views
How to compute this series: $\sum_{k=0}^\infty \frac{C_k}{2^{2k+1}}$ [closed]
How to compute this series: $$\sum_{k=0}^\infty \frac{C_k}{2^{2k+1}}$$ where $C_k$ is the catalan number: $C_k=\frac{1}{k+1}{2k \choose k}$. (Further, is there any general method to treat this ...
- 109k
5
votes
1
answer
200
views
An inequality involving $L^1$ and $L^\infty$ norms of a function of a real variable and its derivative
I got to the following inequality by a (hopefully correct) tortuous argument:
If $F:[a,b] \to \mathbb{R}$ is a absolutely continuous monotone function then:
$$ \|F'\|_1^2 \leq 4 \|F\|_1 \, \|F'\|...
- 3,146
11
votes
4
answers
4k
views
When is the infimum of an arbitrary family of measurable functions also measurable?
Let $(X,\Sigma,\mu)$ be a measure space and consider a family of $\mu$-measurable functions $f_i:X \to \mathbb{R}$ for $i$ lying in some index set $I$. Define $$f(x) = \inf_{i \in I} f_i(x)$$
I think ...
- 28k
16
votes
1
answer
2k
views
Are continuous functions almost completely determined by their modulus of continuity?
Given a function $f: \mathbb{R}\to\mathbb{R}$, we define its left modulus of continuity, $L(f): \mathbb{R} \times (0, \infty)\to [0,\infty]$ by
$$L(f)(x, e) := \sup \{d \ge 0 \,:\, f((x, x+d)) \...
- 2,079
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
- 2,079
5
votes
1
answer
581
views
A problem in real analysis of a topological nature
Let $f: R \to R$ be a function such that the closure of its graph contains as a subset the graph of a uniformly continuous function. Does there exist a dense subset $S$ of $R$ such that the ...
- 29.8k
2
votes
1
answer
301
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
CommunityBot
- 1
4
votes
1
answer
241
views
Is a function $u\in \mathrm{SBV}(\Omega)$ with these additional properties essentially bounded?
Some related earlier discussion can be found here.
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary, $\mathcal H^{N-1}(\partial\Omega)<\infty$ and $u\in SBV(\Omega)$. Then
$$
...
CommunityBot
- 1
0
votes
1
answer
137
views
Given these conditions, can a function be defined that is well defined a.e.?
I have two functions, and I want to combine them to define a certain function.
Suppose for every fixed $e$ in $(0, ∞)$, we have a function $g_e (x): \mathbb{R} \to [0,\infty]$ that is well defined a....
- 28.2k
0
votes
1
answer
212
views
Exterior cone condition for $\mathrm{supp}\, u$ and Lebesgue points of $u$
Let $u:\mathbb{R}^n \to \mathbb{R}$ be an $L^1$ function with compact support. Let $\bar x \in \partial \mathrm{supp}\, u$ and assume that $\mathrm{supp} \, u$ satisfies the exterior cone condition at ...
- 28k
0
votes
1
answer
119
views
Are these conditions enough to ensure joint measurability?
Suppose $f(x, e): \mathbb{R} \times (0, \infty)\to [0,\infty]$ is right continuous in $x$, and monotone increasing in $e$. Is $f$ jointly measurable?
- 2,101
-5
votes
1
answer
184
views
a question of definite integral [closed]
1.$$\int_{0}^{1} \frac{1}{1+e^{-(x+\ln(u/(1-u)))/\tau}}\, du$$
2.$$\frac{1}{\sqrt{2}\pi}\int_{-\infty}^{+\infty}\frac{e^{-u^{2}/2}}{1+e^{-(x-u)/\tau}}\,du$$
please help me. I tried to use MATLAB but ...
- 188k
11
votes
0
answers
320
views
Constructing an infinite chain of subsets of 'hyper' algebraic numbers?
This question is cross posted from MSE.
Let $F$ be a subset of $\mathbb{R}$ and let $S_F$ denote the set of values which satisfy some generalized polynomial whose exponents and coefficients are ...
- 211
1
vote
0
answers
177
views
Singular integral of the composition of the Hilbert transform and fractional Laplacian
Given $0<s<1$, we can define the Fractional Laplacian by
$$\Lambda^{-s}f(x):=(-\Delta)^{-s/2}(x)=\int_{-\infty}^{+\infty}|x-y|^{-1+s}f(y)dy$$
or by means of Fourier transform as $$\widehat{\...
- 111
3
votes
1
answer
311
views
Kantorovich duality with pseudometrics
The usual framework for the Kantorovich duality in optimal transport theory uses Polish spaces as ground spaces for the distributions that should be transported. Are there results available that ...
2
votes
0
answers
304
views
Prove conjugation law for Exp(z) using only Exp(x + y) = Exp(x)Exp(y) [closed]
Starting with just the property $E(x + y) = E(x)E(y)$, one can prove quite a lot of the main properties of the exponential function on real numbers. For example, $E(0) = 1$, and $E'(X) = E(X)$, and $E(...
- 21
8
votes
1
answer
315
views
Oscillation operator of a function
Call a function from $[0, 1]$ to itself a box function.
Given any box function $f$, define its oscillation function $Of$ as $$Of(x) = \lim _{d \to 0} \sup _{y, z \in B_d (x)} |f(y) - f(z)| \, .$$ ...
- 3,574
1
vote
0
answers
78
views
Potential for a Monotone Operator
[Cross-posted from math.stackexchange]
I have a question about understanding the proof of Theorem 4.11 in the paper A Potential Theory for Monotone Multivalued Operators (accessible here). The ...
- 291
1
vote
0
answers
114
views
Final time maps of IVP's approximating functions $X\subseteq\mathbb{R}^n\to\mathbb{R}^n$
I originally posted this question on the Mathematics StackExchange and got told to consider putting it on here, on MathOverflow. I will word the question a bit differently:
Let $X$ be a compact $k$-...
- 121
2
votes
0
answers
46
views
A special integral equation of Volterra type
Let $a,f \in L^2(0,t)$ (where $t \leqslant 1$), and consider the following integral equation:
$$
f(t)\int_0^t a(s)\,ds + \int_0^t a(t - s) f(s) \, ds = 0
$$
My question is : under what condition ...
0
votes
1
answer
128
views
Can we find the $a$ value?
We have the following limit with and $a
\in \mathbb{R}$ and $
u \in \mathbb{R}$ . And here, ${\lfloor x \rfloor}$ is floor function
$$\lim_{u \rightarrow \infty}
\frac{f(a)-\int_1^u ( {x-...
- 188k
5
votes
1
answer
600
views
Extending continuous functioms defined on the irrationals
Lavrentieff proved a Theorem which implies that every real valued continuous function defined on a dense subset $D\subseteq \mathbb R$ admits a continuous extension to some $G_\delta $ subset of $\...
- 29.8k
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
- 16.2k
2
votes
1
answer
138
views
The blow-up rate of a nonlinear oscillator
(Related to this Math.SE question.)
For $p>1$, let $u$ be a solution to $$\tag{1}\frac{d^2 u}{dt^2} + u = |u|^{p-1}u$$ that blows up at $T>0$, that is $$\lim_{t\nearrow T}u(t)=+\infty.$$
...
- 128k
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 128k
3
votes
1
answer
378
views
Poincare constant on non-convex domain
I'm wondering if there is any results on the optimal constant for the Poincare inequality on a non-convex domain in $\mathbb{R}^3$, since most of the things I found are results on convex ones.
Any ...
- 111
1
vote
1
answer
119
views
Is every finite graph isomorphic to the proximity graph of some $S\subseteq \mathbb{R}^n$?
This is the question that I should have asked before asking this older question.
If $(X,d)$ is a metric space, we associate with it a simple, undirected graph, called its proximity graph $G(X,d)$ ...
- 109k
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
- 31
10
votes
2
answers
373
views
Can a vector-function $v:\mathbb{R}^n\to \mathbb{R}^n$ be an eigenvector of its own Jacobian matrix?
Good morning,
I've came across this question, which has been puzzling me for some days. Suppose we are given a vector-valued function $v:\mathbb{R}^n\to \mathbb{R}^n$, $v(x)=\left( v_1(x),\dots, v_n(...
- 12.9k
1
vote
1
answer
222
views
Multidimensional improper Riemann integrals with oscillatory kernels: Existence
I have asked this question three weeks ago here
https://math.stackexchange.com/questions/2998601/does-this-oscillatory-integral-exist/2998930#2998930
but received no relevant answers.
Let $n\geq 2$ ...
- 188k
1
vote
0
answers
145
views
How to show that this function is continuous (Geometric Measure Theory)
I want to prove that the function $F: \mathbb{R}_+ \to \mathbb{R}$ defined by
$$F(t)=\int_{\{d=t\}} g \, d\mathcal{H}^{n-1}$$
is continuous if $g:\Omega \subset \mathbb{R}^n\to \mathbb{R}$ is ...
- 19
1
vote
1
answer
95
views
A question on a special "metric"
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
- 128k
17
votes
2
answers
1k
views
"Insanely increasing" $C^\infty$ function with upper bound
Let $C^\infty$ denote the collection of functions $f:\mathbb{R}\to\mathbb{R}$ such that for every positive integer $n$, the $n$-th derivative of $f$ exists. For $f\in C^\infty$ we set
$f^{(0)} = f$, ...
- 128k
2
votes
0
answers
73
views
Proof of a technical fact in the book of Schapire and Freund on boosting
Disclaimer: I asked this question on math.stackexchange.com two weeks ago but it has not been answered yet so I figured that I might as well try to also post it here.
I am currently looking at ...
- 121
3
votes
1
answer
2k
views
When do supremum and expectation commute?
This is an alternative form of the question in When do maximum and expectation commute?
When we looking for conditions on $G(t,x(t))$ such that
$$
\sup\limits_{t\in [0,N]}E[G(t,X(t))]=E[\sup\limits_{...
- 128k
3
votes
1
answer
334
views
The Poisson equation
I see the following theorem in Lihe Wang's A geometric approach to the Calderon--Zygmund estimates
$$
\triangle u=f\quad in \quad \> B_2. \>\quad \quad \quad \quad (1)
$$
Lemma 7: There is a ...
CommunityBot
- 1
2
votes
1
answer
240
views
A measure of noncompactness by a convex function
Let $E, \left \| \right \|$ be a Banach space, $\mathfrak{M}_E$ indicate a family of all nonempty bounded subset of $E$, $\mathfrak{N}_E$ the familly of all relatively compact sets, and $Ker \mu=\{X\...
- 291
1
vote
1
answer
193
views
Quantitative finite speed of propagation property for ODE (cone of dependence)
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 5,380
5
votes
0
answers
268
views
An integral trigonometric inequality
Problem 1. Suppose that $\xi>0$ and $\sin(2\xi)<0$.
Let $$b_\nu=(N-v+1)\tfrac{\pi}{\xi}\quad\mbox{for}\quad\nu=1,\dots,N:=\big[\tfrac{\xi}{\pi}\big].$$
Prove that
$$\mathrm{sgn}(\sin \xi)\...
- 4,535
3
votes
1
answer
197
views
Simple but entangled inequalities
Do there exist functions $F,G$ on $[0,1]$ with $0\le F,G< 1$, such that for all $x, y\in [0,1]$ with $x+y\le 1$, the following hold?
1) $G(x)\le x$,
2) $G(1)<1$,
3) $F(x)>0$ if $x>0$,
...
- 128k
1
vote
1
answer
515
views
About exchanging min and max and correctness of an inequality
Let $v_i \in \mathbb{R}^{n}, \ i=1, \ldots, m, \ \ $ $\mathcal{S}$ a convex polyhedron and $x \in \mathbb{R}^{n}$ be given. Consider the following solution $(s^{*},i^{*})$ to the problem
\begin{...
- 128k
12
votes
1
answer
694
views
History of the Jaccard distance $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$
I'm wondering where the relative probabilistic distance or Jaccard distance was first studied:
$$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$
where $\overline A$ is the complement of $A$...
- 24.8k
2
votes
0
answers
164
views
Generalization of regularly varying functions
A continuous function $L :\mathbb{R}_+ \to \mathbb{R}_+$ is called regularly varying (at infinity) if for all $a > 0$,
$$
\lim_{x\to \infty} \frac{L(ax)}{L(x)}= g(a)
$$
for some function $g(a)&...
- 3,223
3
votes
1
answer
336
views
A moment inequality
Let $\chi(s)=\int_{0}^{1}x(t)^{s}f(t)dt$,
where $x(t)$ and $f(t)$ are real valued continuous functions for
$t\in[0,1]$, and $f(t)\geq0$.
Is it possible to show that
$\left(\chi(0)\chi(2)-\chi(1)^{2}...
- 128k
0
votes
0
answers
700
views
Sigma algebra generated
Let $\mathcal{L} \subset \mathbb{R}$ the Lebesgue sigma algebra and $\mathcal{B} \subset \mathbb{R}^{n}$ the Borel sigma algebra. I'll denotes by $\mathcal{L} \times \mathcal{B}$ the smallest sigma ...
- 648