Theoretical foundations of calculus: limits, convergence of sequences, construction of the real numbers, least upper bound property, and related analysis topics such as continuity, differentiation, and integration through the fundamental theorem of calculus.

learn more… | top users | synonyms

24
votes
0answers
267 views

Is there an integral for $\pi^4-\frac{2143}{22}$?

In Ramanujan's Notebooks, Vol 4, p.48 (and a related one in Quarterly Journal of Mathematics, XLV, 1914) there are various approximations, including the close (by just $10^{-7}$), $$\pi^4 \approx ...
13
votes
0answers
101 views

How smooth can non-nice associative operations on the reals be?

Suppose ${*}:\mathbb R\times\mathbb R\to\mathbb R$ is $\mathcal C^k$ and associative. Does it necessarily satisfy the identity $a * b * c * d = a * c * b * d$? For $k=0$ the answer is "no" -- a ...
13
votes
0answers
117 views

Exponential integral $ \int_0^\infty \frac{x^t}{\Gamma(t+1)}\text dt$

Now since the sum $$ \sum_{n=0}^\infty \frac{x^n}{n!},\quad x\in\Bbb R, $$ does have some relatively nice properties, is the same true for its analogues integral? If we take the gamma function to be a ...
13
votes
0answers
366 views

Two questions about weakly convergent series related to $\sin(n^2)$ and Weyl's inequality

By using partial summation and Weyl's inequality, it is not hard to show that the series $\sum_{n\geq 1}\frac{\sin(n^2)}{n}$ is convergent. Is is true that ...
11
votes
0answers
126 views

Reducing multi-variable functions to a composition of 1- or 2-variable functions

There are some special functions of 3 or more complex variables that are analytic in some domain (a region in $\mathbb C^n$) with respect to each variable. To give some examples: the incomplete beta ...
11
votes
0answers
454 views

Integral $\int_0^\infty \frac{\log^2 x \cos ax}{x^n-1}dx$

Hi I am trying to calculate $$ I:=\int\limits_0^\infty \frac{\log^2 x \cos (ax)}{x^n-1}\mathrm dx,\quad \Re(n)>1, \, a\in \mathbb{R}. $$ Note if we set $a=0$ we get a similar integral given by $$ ...
10
votes
0answers
481 views

Analytic form of: $ \int \frac{\bigl[\cos^{-1}(x)\sqrt{1-x^2}\bigr]^{-1}}{\ln\bigl( 1+\sin(2x\sqrt{1-x^2})/\pi\bigr)} dx $

Background: On my quest to solve difficult integrals, I chanced upon this site: http://www.durofy.com/5-most-beautiful-questions-from-integral-calculus/ Good problems for me, (novice), although I ...
10
votes
0answers
209 views

Closed form of $\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$

Find the closed form of $$\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$$ I know the closed form for smaller powers like $2, 3$ exists, but I'm not sure if there is a closed form for this ...
10
votes
0answers
367 views

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
10
votes
0answers
280 views

The closed form of $\sum_{n=0}^{\infty} \arcsin\bigl(\frac{1}{e^n}\bigr)$

In my study on some type of integrals I met the series below that I don't how to approach it. Of course, one of the obvious questions is: does it have a closed form? Before answering that, I need to ...
10
votes
0answers
313 views

Differentiable functions satisfying $f'(f(x))=f(f'(x))$

I am wondering whether or not there is a reasonable characterization of differentiable functions $f: \mathbb{R}\to \mathbb{R}$ such that $f'(f(x))=f(f'(x))$ for each $x\in\mathbb{R}$. (Or, if you like ...
10
votes
0answers
486 views

Question regarding the Kolmogorov-Riesz theorem on relatively compact subsets of $L^p(\Omega)$.

Usually, the Kolmogorov-Riesz theorem is quoted for $L^p(\mathbb R^n)$, but I am looking for versions considering spaces over subsets in $\mathbb R^n$. The following is from the book "Sobolev spaces" ...
9
votes
0answers
334 views

Evaluate $\int_0^{\infty} \frac{1-e^{-ax}}{x e^x} dx$

I found two different approaches, both is giving the same answer. Fubini: $$ \begin{align} \int_0^{\infty} \frac{1-e^{-ax}}{x e^x} \,dx &= \int_0^{\infty} e^{-x} \int_0^a e^{-xy} \,dy\, dx \\ ...
9
votes
0answers
425 views

An infinite series expansion in terms of the polylogarithm function

We have the complex valued function: $$f(z)=\sum_{n=0}^{\infty}a_{n}\text{Li}_{-n}(z)\;\;\;\;\;\;\;(\left | z\right |<1)$$ We wish to recover the coefficients $a_{n}$. The only thing I though would ...
9
votes
0answers
301 views

A question connected with the decomposition of a functional on $C(X)$ on Riesz and Banach functionals

Let $X$ be a metric space and let $C(X)$ be a family of all bounded and continuous functions from $X$ in $\mathbb{R}$. We call a positive linear functional $\varphi: C(X) \rightarrow \mathbb{R}$ the ...
8
votes
0answers
62 views
+50

Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]\cdot[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...
8
votes
0answers
123 views

Inequality involving exponential partial sums

Consider the exponential partial sums $E_n(x) = \sum_{i=0}^n \frac{x^i}{i!}$. I want to prove that for all $x \ge 0$: $$2 \frac {E_{n-1}(x)} {E_n(x)} \ge \frac {E_{n}(x)} {E_{n+1}(x)} + \frac ...
8
votes
0answers
93 views

Does $\sum_n |\sin n|^{cn^2}$ converge?

So I recently asked a question about convergence of $\sum_n |\sin n|^{cn}$ for arbitrary $c > 0$ and it turns out that the terms of the series don't even converge, for any $c > 0$, so the series ...
8
votes
0answers
122 views

Integral Asymptotics for inhomogenous phase

I'm looking for asymptotics for an integral of the form: $$F(n):=\int_{1/2-i\infty}^{1/2+i\infty} e^{\phi(n,z)}dz$$ where $\phi(n,z)=(n-n^3)\log(1-z)+n^2\log(1+z)-n\log(z)$. One can solve for the ...
8
votes
0answers
344 views

Two (strictly related) proofs by induction of inequalities.

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
8
votes
0answers
147 views

Limits of series, proof of the convergence of two sequences

I have two sequences $x_i$ and $y_i$ defined by their expressions : $$x_i-x_{i+1}=y_i-y_{i+1}=\sqrt{x_{i+1}y_{i+1}}$$ I have to prove that $xy(x-y)=0$. I tried this : I have ...
8
votes
0answers
109 views

Find all pairs of functions $(f,g)$, $\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$

Find all pairs of functions $(f,g)$ : $\mathbb{R} \to \mathbb{R}, g : \mathbb{R} \to \mathbb{R}$ satisfying : $$\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$$ I am really ...
8
votes
0answers
211 views

Invariant functions on the space of finite sequences of reals

Let $S$ be a space of all finite sequences of real numbers (we don't endow it with metric or topology in general). Before asking the main question, some notation. 1. For each $\mathbf s\in S$ we ...
7
votes
0answers
115 views

An alternative proof of Cauchy's Mean Value Theorem

Let's focus on the following version of Cauchy's Mean Value Theorem: Cauchy's Mean Value Theorem: Let $f, g$ be functions defined on closed interval $[a, b]$ such that 1) Both $f, g$ are ...
7
votes
0answers
154 views

Solving $f'(x) = f(x+1) - f(x)$

Find all $f \in \mathscr{C^\infty}(\mathbb R)$ that satisfy the equation $$f'(x) = f(x+1) - f(x).$$ The 'obvious' answer is the set of all affine maps, but I'm not entirely sure. Some ...
7
votes
0answers
109 views

Difficult Fourier transform exercise

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
7
votes
0answers
130 views

Riesz's 1909 proof of the Riesz Representation Theorem

Frigyes Riesz originally proved the Riesz Representation Theorem on $ C[0,1] $ -- here is his 1909 paper in English (original French). He builds a real valued function $ \text{A} $ on $ [0,1] $ ...
7
votes
0answers
79 views

one-sided differentiability

Well known theorem: If $f\colon\mathbb{R}\to\mathbb{R}$ is differentiable and $f'(x)=0$ for all $x$, then $f$ is constant. The assumption of differentiability can be weakened to continuity and ...
7
votes
0answers
87 views

Dimension score for metric spaces $\mathbb{R}^n$

Given any metric space $(X,d)$, define its score $S(X)$ to be the smallest value of $k$ such that for every $x\in X$ and $r>0$, the ball $B(x,r)$ is covered by at most $2^k$ balls of radius $r/2$. ...
7
votes
0answers
216 views

How to evaluate the integral $e^{-(c\ln(\frac{1}{x}))^s} dx$?

Can anyone help me evaluate $$\int_{\alpha}^1 \exp{\left\{-\left(c\ln\left(\frac{1}{x}\right)\right)^s\right\}} dx$$, Where $0 \leq \alpha \leq 1$ and $s \in \mathbb{R}$. I tried changing ...
7
votes
0answers
135 views

Another way of expressing $\sum_{k=0}^{n} (-1)^k\frac{H_{k+1}}{n-k+1}$

In this post Another way of expressing $\sum_{k=0}^{n} \frac{H_{k+1}}{n-k+1}$ I asked for a solution of the non-alternating series. How about the alternating series? Can we find a nice way of ...
7
votes
0answers
173 views

The elementary methods to compute $\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\quad;\quad\text{for}\, \alpha>0$

How to compute the following integral using elementary methods (high school methods). \begin{equation}\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\qquad;\qquad\text{for}\, ...
7
votes
0answers
346 views

Why is Lebesgue-Stieltjes a generalization of Riemann-Stieltjes? Moreover, is there an example where Lebesgue-Stieltjes is useful

I certainly have a question, but i don't know what the best title should be. Please edit the title if there is a better one :) And I believe, to get a better answer, it would be good to explain ...
7
votes
0answers
343 views

Egorov's theorem for this Lebesgue integral

I want to prove Egorov's theorem using this Lebesgue integral defined by the upper integral $$\int^*f:=\left\{\int h ; h \ge f \text{ and h upper-continuous }\right\}$$ $$\int_*f:=\left\{\int h ; h ...
7
votes
0answers
228 views

Convergence of indicator functions in $L^2[0,1]$ when $m(\limsup(E_n)\setminus \liminf(E_n)) = 0$

I am trying to solve a qualifying exam problem. I would like to know what can be said about the convergence of the indicator functions $I_{E_k}$ in $L^2[0, 1]$ when it's known that $m(\limsup ...
7
votes
0answers
507 views

Equality condition in Minkowski's inequality for $L^{\infty}$

I am trying to find out when equality holds in Minkowski's inequality for $L^{\infty}$ (i.e. a necessary and sufficient condition for equality). I did a search and there was a discussion for the case ...
7
votes
0answers
98 views

Compute $\int_{0}^{+\infty} e^{-y}y^a\mathrm{d} y$

Does the following integral have a finite value? How to compute it? $$\int_{0}^{+\infty} e^{-x^k}\mathrm{d} x$$ where $k$ is given and $0<k<1$. By substituting $x^k=y$ we may obtain an ...
6
votes
0answers
68 views

Fredholm integral?

If one exists, find a continuous, bounded function $f: \mathbb{R} \to \mathbb{R}$ which is not identically zero and which satisfies$$0 = \int_0^\infty K(t, s)f(s)\,ds$$for all $t \in \mathbb{R}$, ...
6
votes
0answers
120 views

Find the closed form of $\int_0^{\large \frac{\pi}{2}}\frac{x^{2n}\cdot\log{{\sin{x}}}}{\sin^{2n}{x}}dx, \space n\ge 1$

I was thinking of the generalization of the problem here, that is $$\int_0^{\large \frac{\pi}{2}}\frac{x^{2n}\cdot\log{{\sin{x}}}}{\sin^{2n}{x}}dx, \space n\ge 1$$ Maybe you recommend me some tools? ...
6
votes
0answers
115 views

The dual of the Banach space $C(\Omega)$

It is well-known that the dual of the Banach space $C([0,1])$, i.e. the space of all continuous functions on the interval, is the space of all functions of bounded variation on the interval, ...
6
votes
0answers
129 views

Finitely additive function on an infinite set, s.t., $m(A)=0$ for any finite set and $m(X)=1$ (constructive approach)

Other exercise which I found in Dudley's Analysis book: Show that there is a measure on a infinite set $X$, defined on $2^X$ s.t. is finitely additive, $m(A)=0$ for any finite set and $m(X)=1$. ...
6
votes
0answers
128 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
6
votes
0answers
52 views

Reference for the fact that a smooth function analytic on every line is itself analytic

Let $f \in \mathcal C^\infty(\mathbb R^p)$ ($p \geq 2$) be a smooth function such that the functions $g_d(t) := f(td)$ are all analytic for all $t \in \mathbb R$ and all $d \in \mathbb R^p.$ (i.e. $f$ ...
6
votes
0answers
93 views

Is $\sigma$-finiteness really a necessary condition for this problem?

Question: Let $(X, \mathcal A, \mu)$ be a measure space and suppose $\mu$ is $\sigma$-finite. Suppose $f$ is integrable. Prove that given any $\varepsilon$, there exists a $\delta >0$ such that ...
6
votes
0answers
240 views

Integral $I=\int_0^1 \frac{\log x \log (1+x) \log(1-x) \log(1+x^2)\log(1-x^2)}{x^{3/2}}dx$

Hi I am trying to integrate and obtain a closed form result for $$ I:=\int_0^1 \frac{\log x \log (1+x) \log(1-x) \log(1+x^2)\log(1-x^2)}{x^{3/2}}dx. $$ Here is what I tried (but I do not think this is ...
6
votes
0answers
135 views

Uniqueness solutions of $dx/dt = f^2(x) + e^{-t}$.

Someone can help me in the following problem? Is a question of Zhang. Let $f(x)$ be continuous for $x \in \mathbb{R}$, show that $dx/dt = f^2(x) + e^{-t}$ has the property of uniqueness of ...
6
votes
0answers
96 views

Asymptotic property of integral involving Bessel function.

Consider the following integral $$ I(s)=\int_{0}^{\infty}{J_{\frac{n-2}{2}}}(sr)r^{A+1}(e^{-r^{2\alpha}}-1)dr, $$ where $J_{\frac{n-2}{2}}$ is the Bessel function of order ${\frac{n-2}{2}}$, $s, A, ...
6
votes
0answers
85 views

$f \in L^1(- \infty , + \infty)$ , Find the limit $ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} \frac{f(x)e^{nx}}{1+e^{nx}} dx $

$f \in L^1(- \infty , + \infty)$ , Find the limit $ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} \frac{f(x)e^{nx}}{1+e^{nx}} dx $ My Attempt $$ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} ...
6
votes
0answers
309 views

If a Radon measure is a tempered distribution, does it integrate all Schwartz functions?

The question might at first sight sound like the answer is trivially "yes", so let me clarify the question a bit. Consider given a Radon measure $\mu$ on $\mathbb{R}^n$. Let ...
6
votes
0answers
749 views

Proof that a sequence of continuous functions $(f_n)$ cannot converge pointwise to $1_\mathbb{Q}$ on $[0,1]$

As a homework question, we got asked the following: Construct a function $f:[0,1] \rightarrow \mathbb{R}$ which is not the pointwise limit of any sequence of continuous functions Thinking about ...