All Questions
5,873 questions
-1
votes
1
answer
102
views
Is it true that $\nabla_x \int_0^\infty f(t,0) dt = 0 \implies \nabla_x f(t,0) = 0 \ \forall t>0$? [closed]
Let $f:\mathbb R_+ \times \mathbb R^N \to \mathbb R$ and $$F(x) = \int_0^\infty f(t,x) dt.$$ If $\nabla_x F(0) = 0$ do we have that $\nabla_x f(t,0) = 0$ for all $t \in \mathbb R_+$? If not, which ...
- 131
-1
votes
2
answers
129
views
Is it possible for all of the smooth/continuous curves in $R^3$ to form a Hilbert space? [closed]
Under which condition can it form a Hilbert space? Or what space can it form?
You can write down certain condition to make it to be a Hilbert space, e.g., Let $$p(t)=[x(t),y(t),z(t)]^T\in \text{R}^3$$ ...
- 11
-1
votes
1
answer
120
views
Existence of sequence of measurable sets with prescribed densities
Consider Lebesgue measure $m$ on $[0, 1]$. Fix a countable sequence $a_i, 0 < a_i < 1$ such that $\sum_i a_i = 1$. Is there a sequence of disjoint measurable subsets of $[0, 1]$, $E_i$ whose ...
- 2,069
-1
votes
1
answer
230
views
Prove that $\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2})$ [closed]
Let $a,b\in\mathbb{Z}$, and $f\in C^2([a,b])$ such that $|f''(t)|\asymp \lambda$ for $a\le t\le b$. Prove that
$$\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2}).$$
...
- 31
-1
votes
1
answer
237
views
Theorem with an example [closed]
i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?
- 277
-1
votes
1
answer
61
views
Asking for some references on correlations of joint optimization problems
Here are two problems that I am trying to understand, and it would be nice if someone could provide references on whether there is some structure theorem for these problems that have been studied in ...
-1
votes
1
answer
204
views
Cauchy reduction formula with measure (a variation)
The Cauchy reduction formula conveniently compresses $n$ integrations of a function $F(x)$ into a single integral. Here I am interested in reducing the following "curved-space" ...
- 141
-1
votes
1
answer
189
views
f a continuous function satisfying $\sqrt{xy}(f(x) + f(y)) \leq 1 \; \forall x,y \in [0\; 1]$ Show that $\int_0^1 f(t) dt \leq \frac{\pi}{2} $ [closed]
Let $f :[0 \; 1] \rightarrow R $ be a continuous function satisfying
$ \sqrt{xy}(f(x) + f(y)) \leq 1 \; \forall x,y \in [0\; 1]$ ....(1)
Show that
$\int_0^1 f(t) dt \leq \frac{\pi}{2} $
.... (...
- 9
-1
votes
1
answer
179
views
Real number which is different from all rationals [closed]
By diagonalization, it is possible to construct a real number $r \in [0,1]$ such that for every rational $q \in [0,1]$, there exists an index $i \in \mathbb{N}$ such that $r_i \neq q_i$ (where $x_i$ ...
- 1
-1
votes
1
answer
338
views
Capacity and harmonic measure
Suppose $D$ is a bounded domain of $\mathbb{R}^{n}$ with $n>1$ and $E$ a subset of its boundary. We know that if $E$ has capacity zero I.e. it is a polar set , then the harmonic measure of $E$ ...
- 411
-1
votes
1
answer
70
views
Is this kind of interpolation correct?
Let $f=\sum f_j$ be a finite sum. Assume that
$$ \|f\|_2\le(\sum\|f_j\|_2^2)^\frac12$$
$$\|f\|_\infty\le C\max_j\|f_j\|_\infty$$
Then can we conclude that for $2<p<\infty$
$$\|f\|_p\le C^{1-\...
- 1
-1
votes
1
answer
149
views
How to choose compactly supported smooth $h$ so $h^2(x)+ h^2(x-1)=1$ for all $x\in [0,1],$ and $\int_{-3/4}^{3/4} |h(x)|^2 dx =3/2$? [closed]
It is known that we may choose smooth $f:\mathbb R \to [0,1]$ such that $f(x)=1$ if $x\geq \frac{3}{4} $ and $f(x)=0$ if $x\leq -\frac{3}{4}+1.$
Define $h(x)= \sin (\frac{\pi}{2} f(x+1))$ if $x\...
- 305
-1
votes
1
answer
208
views
Does this function belong to $L^2(\mathbb{D})$?
Edit: After the answer of Prof. Eremenko to the previous version, I realized that a weaker assumption works for the main motivation of this post. so I revise the question.
The unit ...
- 356
-1
votes
1
answer
196
views
Closed form for sum involving digamma? [closed]
Let $\Gamma(n)$ be Euler's Gamma function and $\psi_0$ = $\frac{\Gamma'(n)}{\Gamma(n)}$ be the Digamma function.
Is there a closed form for
$$\sum_{n=1}^{\infty} \frac{\psi_0(n)}{n^2}=?$$
I've done ...
-1
votes
1
answer
505
views
Derivative of smooth function change sign infinitely on [0,1]? [closed]
Can the derivative $f^\prime$ of a smooth function $f\in C^\infty[0,1]$ change sign infinitely many times (or $f$ have infinitely many isolated critical points)? If yes, how about an analytic function ...
- 113
-1
votes
1
answer
346
views
An infinite set in a compact space
Let $X$ be a topological space. Is there any characterization for the property that says "for every infinit subset $A$ of $X$ there exists $a\in A$ such that if $f$ be an arbitrary real continuous ...
-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}$. ...
user61586
-1
votes
1
answer
222
views
Does the divergence of the sum of reciprocals of a set of integers imply this density statement about the set?
Suppose $A \subseteq \mathbb{N}$ is such that $\displaystyle{\sum_{n \in A} n^{-1}} = \infty$. Suppose $B \subseteq \mathbb{N}$ is infinite.
Is there a set $X \subseteq [1,\infty)$ and a increasing ...
- 11
-1
votes
1
answer
1k
views
derivatives and uniformly convergence [closed]
Let $f$ be a function of a real variable expandable in power series on $\mathbb R$: there exists a sequence $(a_n)_{n\in\mathbb N}$ of reals such that for all $x\in\mathbb R$, one has
$$f(x)=\sum_{n\...
- 3,996
-1
votes
2
answers
418
views
An inequality involving multi-index [closed]
I came across these inequalities while learning about Schwartz functions (Classical Fourier Analysis, Grafakos) and I have no idea how to prove this:
For $x \in \mathbb{R}^{n}$ and $\alpha = (\alpha_{...
- 339
-1
votes
1
answer
187
views
Limit of a function in a weighted Sobolev space
I have a function $f(x)$ in the space $H^{2,-s}(\mathbb{R}^3)$; have this limit sense
$$\lim_{|x-y|\to 0} f(x)$$
? ($y$ is a fixed point)
If i have $f$ in $H^2$ I can say that
$$\lim_{|x-y|\to 0} f(x)=...
- 25
-1
votes
1
answer
113
views
Lipschitz function which is surjective on subset implies that the subset is dense
Let $f: \mathbb{R}^n \to \mathbb{R}^n$ be a Lipschitz-function. Suppose $A \subseteq \mathbb{R}^n$ is an $(n-1)$-connected subset such that $f(A) = \mathbb{R}^n$. I would like to show that $A\subseteq ...
- 261
-1
votes
1
answer
213
views
Building a smooth function from a rapidly decreasing sequence
Is it possible to build a 1-priodic smooth function from a rapidly decreasing sequence such that the sequence be the Fourier coefficients of the function?
More precisely:
Let $\lbrace c_k\rbrace _{k \...
- 581
-1
votes
1
answer
142
views
A pathological (?) function involving powers
This is inspired by a recent math.SE question.
Given that mathematicians like to come up with theoretical constructs which do not necessarily always have any practical purpose (but sometimes provide ...
- 13.4k
-1
votes
1
answer
168
views
Searching the roots of a self-consistent transcendental equation
I have the equation
$$M = c_1 + c_2M - c_3T\ln\left(\left|\frac{e^{(c_4M + c_5)/T}-1}{e^{(c_6M + c_5)/T}-1}\right|\right)$$
where $c_1, \dots, c_6$ are constants.
I am interested in the roots of $$M\...
-1
votes
1
answer
155
views
Is this recurrent sequence decreasing?
Let $S_n$ be defined as $\frac{1}{n}\sum_{t=1}^{t=n} [px_t^2 - (p+q)x_t]$ where $x_t = 1-(1-p-q)^t$. We want to find the conditions on $p$ and $q$ such that $S_n$ is monotonically decreasing for all $...
-1
votes
1
answer
80
views
Minimal covering sets of continuous endomorphisms
For any topological space $(X,\tau)$, let $\text{End}(X)$ denote the set of continuous functions $f:X\to X$. We say that ${\cal C}\subseteq \text{End}(X)$ covers $\text{End}(X)$ if for every $f\in \...
- 48.9k
-1
votes
1
answer
103
views
Sum of $\sum_{1\leq k\leq k'\leq n}\frac{k^{\alpha}}{k'^{\alpha}}$ [closed]
I want to calculute or estimate of order $O(n^{2-\varepsilon})$, where $\varepsilon>0$, of the following sum for $0<\alpha<1$
$$\sum_{1\leq k\leq k'\leq n}\frac{k^{\alpha}}{k'^{\alpha}}.$$
-1
votes
1
answer
119
views
Existence of a function with slow growth on derivatives
Does there exist a smooth compactly supported function $$f \in C^{\infty}_c((0,1))$$
such that
$$ \|D^k f\|_{L^{2}(0,1)} \leq \left\lfloor{\alpha\,k}\right \rfloor! \quad \forall\, k\in \mathbb N$$
...
- 4,135
-1
votes
1
answer
81
views
Closed on generic set implies closed set whole set [closed]
Assume that $f:\mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$ is a continuous on a set $A$. Let $B \subset A$ be a generic set in $\mathbb{R}^{2}$ i.e, the countable intersection of the open and dense ...
- 1,043
-1
votes
1
answer
102
views
Compactness of a special kind of Integral operators
Let $(S(t))_{t>0}$ be a continuous operator from $L^2(0,1)$ to its self and Let $K$ be the operator $$\eqalign{
& K:{L^2}(0,1) \to {L^2}(0,1) \cr
& f: \to (Kf)(x) = \int\limits_0^1 {k(...
- 617
-1
votes
1
answer
83
views
On probabilistic extension for Bernstein polynomials
Suppose $X_m\sim p_m(x)$ is a discrete distribution on $[0,1]$ where the value takes multipliers of $\frac{1}{m}$ (e.g., $p_m(x=\frac{k}{m})=\frac{1}{m+1})$. Suppose $p(x)=\lim\limits_{m\rightarrow\...
- 101
-1
votes
1
answer
136
views
An elementary question about integration by parts! [closed]
Let $f,g: R \rightarrow R$ be two positive increasing functions. Under what (non-trivial) conditions one can guarantee that $\int_{0}^{\infty}f'g dx\geq \int_{0}^{\infty}g'fdx$.
-1
votes
1
answer
69
views
Proof of $\lim_{i\to\infty}\lambda_i^{-1}\left|f(\hat{x}+\lambda_ix,u_i) - f(\hat{x},u_i) - D_xf(\hat{x},u_i)(\lambda_ix)\right| = 0$
I am trying to prove or disprove the next statement that seems necessary for the proof of Proposition 2.9 of this book.
Let $U\subset R^k$ be compact and $f:R^n\times U \to R^m$ be twice ...
- 183
-1
votes
1
answer
59
views
Does there exist any subsequence $(u_{n_k})$ converging strongly in $L^q(\mathbb{R})$, for any $1 \le q \le \infty$? [closed]
Fix a function $\varphi \in C_c^\infty(\mathbb{R})$, $\varphi \not\equiv 0$, and set $u_n(x) = \varphi(x + n)$. Let $1 \le p \le \infty$. Does there exist any subsequence $(u_{n_k})$ converging ...
- 17
-1
votes
1
answer
226
views
separable BV space for PDE's, Whats stopping us? [closed]
Consider the metric space BV(0,1) with the following metric
$$ d(u,v) = \|u-v\|_{L^1} + |TV(u)-TV(v)| $$. It is separable, compact, uniformly bounded and complete. So What is the really obvious thing ...
- 698
-1
votes
1
answer
519
views
Poisson kernel is the Cauchy distribution, reference?
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Can someone give me a reference to a proof that the Poisson kernel is the Cauchy distribution?
-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)...
- 1,759
-1
votes
1
answer
159
views
Question about the derivative of a fuctional
I have this lemma+proof and i dont understand why it follows from $J'(u_n)\rightarrow 0$ that $-\Delta_p u_n- f(x,u_n)\rightarrow 0$ such that
$J(u)=\frac1p\int_{\Omega} |\bigtriangledown u|^p dx-\...
- 277
-1
votes
1
answer
349
views
A question about approximation of Real analytic functions
Define $B$ to be the set of functions $f:[0,1]\rightarrow \mathbb{R}$
for which there exists a dense set $C\subset [0,1]$ of computables numbers and an algorithm $F$ such that for any $x_0\in C,$ in ...
- 105
-1
votes
0
answers
132
views
Trig conjecture about square roots and Arcsin
Let $r(a,b)$ be a rational number depending on positive integers $a,b$ and $r(a,b)$ being nonnegative. For every $b$ there is an $a$ such that $r(a,b)$ is not $0$.
Let $C(b)$ be a squarefree positive ...
- 769
-1
votes
0
answers
51
views
Existence of continuous crossection
Let $G$ be a second countable locally compact Hausdorff groupoid. Then $G= \sqcup_{u\in G^{0}}G^{u}$ where $G^{0}$ is the unit space of $G$ and $G^{u}=r^{-1}(u)$. Here $r:G \to G^{0}, r(x)=xx^{-1}$.
...
-1
votes
2
answers
87
views
Limits of integral series
Suppose we have the series of functions:
\begin{equation}
F(x)=\sum_{n=1}^{\infty} f_n(x)
\end{equation}
where convergence is uniform.
Additionally, consider the partial functions of the series:
\...
-1
votes
1
answer
550
views
Lower bound of an expectation
Suppose a random variable $X$ has unit variance i.e. $\sigma^{2} = 1$. Is there a positive constant $c > 0$ such that
$$\mathbb{E}[\ | X - \mathbb{E}[X] | \ ] \ge c $$
My attempt of a solution is ...
- 643
-1
votes
1
answer
74
views
Example(s) where replacing a multivariate, discrete RV with a single, univariate RV fail
Let $X_1,\ldots,X_n,Y,Z$ be $n+2$ binary random variables and define $X=(X_1,\ldots,X_n)$. In most problems, instead of treating $X$ as $n$ distinct binary random variables, there is no loss of ...
- 1
-1
votes
1
answer
236
views
Natural candidates for sub-half-exponential which limit to half-exponential function from below
There are no closed form candidates for half-exponential functions "Closed-form" functions with half-exponential growth.
However sub-half-exponentials (functions whose composition grows ...
- 1,826
-1
votes
1
answer
193
views
Limit of the convolution of derivative of Gaussian heat kernel
I'm looking for the following limit:
$$\lim_{\varepsilon\to 0^+}\int_{-\sqrt{\varepsilon}}^{\sqrt{\varepsilon}}\frac{1}{\sqrt{2\pi}\varepsilon^{3/2}}\left(-1+\frac{x^2}{\varepsilon}\right)e^{-\frac{x^...
-1
votes
1
answer
126
views
Is there a name for this family of integral?
This one: $\int_{0}^{\bar{x}}e^{-x^{a}}x^{b}(1-x)^{c}dx,a,b,c\ge0$. When $a=1,c=0,\bar{x}=\infty$ it is the gamma function.
- 101
-1
votes
1
answer
180
views
Orthogonal polynomials of the second kind
Let $L: \mathbb{R}[x] \rightarrow \mathbb{R}$ be a positive definite linear functional and let that $\{s_n\}$ be a positive semi-definite sequence such that $L(x^n)= s_n, n\ge 0.$ Given a positive ...
- 1
-1
votes
1
answer
63
views
Idempotent solutions to the implict function theorem other than the identity?
I am interested in the following problem. Assume that an (anti)symmetric function $g:\mathbb{R}^2 \to \mathbb{R}$ satisfies the implicit function theorem. That is, $g(x,y) = \pm g(y,x)$ and $g(x,y)=0$ ...
- 1