Mathematical analysis. Consider a more specific tag instead: (real-analysis), (complex-analysis), (functional-analysis), (fourier-analysis), (measure-theory), (calculus-of-variations), etc. For data analysis, use (data-analysis).

learn more… | top users | synonyms (1)

11
votes
0answers
133 views

Can we find this infinite root in term of elementary function?

Let $f(x)=\left(x+f(x+1)\right)^\frac{1}{x}$. What is the value of $f(2)$ ? More precisely, how to find the value of $$\sqrt{2+\sqrt[3]{3+\sqrt[4]{4+\cdots}}}~?$$ Thank you.
11
votes
0answers
266 views

On the Constant Rank Theorem and the Frobenius Theorem for differential equations.

Recently I was reading chapter $4$ (p. $60$) of The Implicit Function Theorem: History, Theorem, and Applications (By Steven George Krantz, Harold R. Parks) on proof's of the equivalence of the ...
10
votes
0answers
148 views

Notions of stability for differential equations

Consider a system of differential equations $$\dot{x} = f(x,u)$$ $$y = h(x,u)$$ where $x(t), u(t)$ are vectors in some $\mathbb{R}^n$. We define the infinity norm of a function in more-or-less in the ...
10
votes
0answers
206 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
10
votes
0answers
851 views

Eigenvalues and eigenfunctions for the Fredholm integral operator $K(g) = \int_0^1 e^{x t} g(t) dt$.

I would like to compute the eigenvalues and eigenfunctions for the Fredholm integral operator $$K(g) = \int_0^1 e^{xt} g(t) dt.$$ The sources I've checked* seem to say that the process is fairly ...
9
votes
0answers
171 views

How to prove there exists $n_{1}a_{n_{0}}+n_{2}a_{n_{1}}+\cdots+n_{k}a_{n_{k-1}}<3(a_{1}+a_{2}+\cdots+a_{N})$

Let $a_{1},a_{2},\cdots,a_{N}$ be nonnegative reals, not all $0$. Prove that there exists a sequence $$1=n_{0}<n_{1}<\cdots<n_{k}=N+1$$ of integers such that ...
9
votes
0answers
486 views

Complicated exercise on ODE

I have this exercise extracted from a examination of qualitative theory of ODE (in which we study the existence and uniqueness of solutions, and stability using the function of Lyapunov) I don't know ...
9
votes
0answers
608 views

Cauchy-Formula for Repeated Lebesgue-Integration

Recently, I came across the following statements. They were annotated as consequences of Fubini's Theorem but neither proof nor reference were given. Let $f:[a,b]\times [a,b]\to\mathbb{R}$ be ...
8
votes
0answers
315 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$, ...
8
votes
0answers
634 views

Errata for Dieudonné's Treatise on Analysis volume 2 second edition

I was looking again at the beautiful and quite complete work of Dieudonné, his Treatise of Analysis, to refresh my memory about some aspects of classical analysis. I especially love this Treatise for ...
8
votes
0answers
216 views

Is there a closed form solution of $f(x)^2+(g*f)(x)+h(x)=0$ for $f(x)$?

When $g(x)$ and $h(x)$ are given functions, can $f(x)^2+(g*f)(x)+h(x)=0$ be solved for $f(x)$ in closed form (at least with some restrictions to $g,h$)? (The $*$ is not a typo, it really means ...
7
votes
0answers
122 views

Showing L infinity norm bounded by L2 norm on a manifold

I have the following problem that I'm working on: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality ...
7
votes
0answers
128 views

Product of the first n cyclotomic polynomials.

Let $$F_n(\alpha) = \prod_{k = 1}^n \Phi_k(e(\alpha))$$ where $e(\alpha) = e^{2\pi i\alpha}$ It is clear that $F_n(\alpha) = 0$ iff $\alpha = \frac{a}{q}$ for relatively prime $a, q$ s.t. $q \le n$. ...
7
votes
0answers
259 views

Fixed point of a shrinking map. Proof.

Could you please verify my proof? Let $f:X \to X$ be a shrinking map on a compact metric space $(X,d)$. In other words: $d(f(x),f(y)) < d(x,y)$ for all $x,y \in X$. Prove: $f$ has a unique ...
7
votes
0answers
164 views

$W^{1,p} $ and $W^{2,p}$ Estimates.

In the beginning of section 4 in here the author says that one can easily adapt the methods in the preceding section to obtain $W^{1,p}$ estimate. I'm trying to do this. I think the following: the ...
7
votes
0answers
407 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
7
votes
0answers
167 views

Prime numbers, analysis of polylogarithms

Can any interesting results concering prime numbers be obtained using the analytic properties of the polylogarithm, similar to how analytic methods are used on the zeta function to obtain results ...
7
votes
0answers
208 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
273 views

How can we prove a simple case of the High Indices Theorem?

Let $(a_n)$ be a sequence of real numbers such that $$f(x) = \sum_{n=1}^{\infty} a_n x^{2^n}$$ converges for $|x| < 1$ and $f(x)$ converges to $a$ as $x \to 1^{-}$. Then I have to prove that $\sum ...
6
votes
0answers
83 views

How to master general topology for analysis?

I started learning topology long ago. I first exposed myself to metric topology in Baby Rudin and Munkres Topology 2nd ed. Part I. Munkres is my most revisited book ever since. The first big ...
6
votes
0answers
215 views

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
6
votes
0answers
193 views

The Stable Manifold Theorem Applications

Definition: Let $\phi_t(x)$ be the flow of the nonlinear system $x'=f(x)$. The global stable manifold of $x'=f(x)$ at $0$ is defined by: $$W^s(0)=\bigcup_{t\leq 0}\phi_t(S)$$ Where $S$ is a ...
6
votes
0answers
91 views

Higher Order Derivative Proof .

I would appreciate if someone could check over my proof for this question and advise me if it is correct. My attempt so far; Now as $f$ is k times differentiable , it taylor series about $x_{0}$ ...
6
votes
0answers
130 views

Prove $\ell_1$ is complete

I try to prove that $\ell_1$, the space of absolutely convergent sequences in $\mathbb{C}$ with norm $\| x \| = \sum_{k=1}^{\infty} |x_k|$, is complete. I already proved that, if $\{ x_n \}$ is a ...
6
votes
0answers
128 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried with Hamilton (1982) The Inverse Function Theorem of Nash and Moser. But, the article is very encyclopedic. I have a background in ...
6
votes
0answers
137 views

Interpretation of the Laplace transform

Here's my intuitive understanding of the Fourier transform of $f:{\mathbb R}\rightarrow{\mathbb C}$, defined by $$\mathcal{F}(f)(\omega) = \int_{-\infty}^{\infty}e^{-2 \pi i \, \omega \,x}f(x)dx$$ I ...
6
votes
0answers
230 views

Integral of a gaussian function of trigonometric functions

I need help with the analytical solution of this integral: ...
6
votes
0answers
89 views

Prove that (M,+,*) is a field

Prove that the multiplication $*:M \times M \to M$ defined by this table: * | 0 1 -------- 0 | 0 0 1 | 0 1 together with the commutative group (M,+), is a field (M,+,*). Group axioms: 1) ...
6
votes
0answers
221 views

Characterize the continuous functions with finite right-hand derivative for at least one point of $[0, 1]$

Let $(E,d_\infty)$ the metric space of continuous functions defined on $ [0,1] $, with $$ d_\infty(f,g)=\sup\{ |f(x) - g(x)| : x\in [0,1] \}. $$ For all $ n\in \mathbb{N} $ let $$ F_n = \{ f: \exists ...
6
votes
0answers
622 views

Nasty Integral - Closed form solution?

Any suggestions on how to integrate this beast?: $$\int_0^{\omega_t}\int_{\omega_t}^f\sin^2(\omega_{12}/2)\sin^2(\omega_{23}/2)d\omega_{23}d\omega_{12}$$ where: $f = 2\pi+2\tan^{-1}(y,x)$ $y = ...
5
votes
0answers
103 views

How prove there exist $\xi$ such $3af'(a)=3f(a)+a^3f'''(\xi)$

let $f(x)$ have three derivatives on $[0,a]$,and such $f(0)=f''(0)=0$, show that: there exsit $\xi\in[0,a]$ such $$3af'(a)=3f(a)+a^3f'''(\xi)$$ I think we can use Tarlor to solve it, ...
5
votes
0answers
225 views

A question about the article 'You can't hear the shape of a drum'

I have read the article http://www.math.upenn.edu/~kazdan/425S11/Drum-Gordon-Webb.pdf, , where Gordon and Webb describe in a simple a way the contruction of a pair of isospectral but non isometric ...
5
votes
0answers
254 views

Explain this step in lecture notes

The bounty offered is for the person that explains me how the author gets from equation 3.19 to equation 3.20 in these lecture see here. Normally I would agree that copying the relevant equation would ...
5
votes
0answers
137 views

Why is the derivative of the translates of a measure measurable?

Let G be a topological group and X a measure space. Let $G \times X \rightarrow X$ be a measurable group action, $\mu$ a $\sigma$-finite measure on $X$, and $g\mu$ (for any $g \in G$) the measure ...
5
votes
0answers
104 views

Solve PDE by getting two ODEs

My goal is to solve this PDE for $f:[-1,1] \times \mathbb{R}_{\ge 0}\rightarrow \mathbb{C}$ $$ \partial_t f(x,t) = -\partial_x^2 f(x,t) + g(t)V(x)f(x,t).$$ I would consider this PDE to be solved if ...
5
votes
0answers
106 views

$f$ continuous nowhere implies $f$ not Riemann integrable

I am trying to prove the statement in the title, without using the theorem which says that the set of discontinuities of a Riemann integrable function must have measure $0$. I am aware that similar ...
5
votes
0answers
135 views

Showing some complicated integral expression is bounded

In my research, I come across some expression I need to bound. I wish to show that the following integral is bounded in $t$ and $x$, i.e. the following supremum is finite: $$\sup_{t,x\in ...
5
votes
0answers
109 views

Gradient on Sobolev spaces

Suppose I have a function $\Phi \in L_p(\Omega)$ and $\nabla\Phi \in W^{-\alpha}_p(\Omega)$, $1<p<\infty$ and where $\Omega\subset\mathbb{R}^n$ is a bounded domain. Can I conclude that $\Phi\in ...
5
votes
0answers
112 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 ...
5
votes
0answers
106 views

How can I show it?

Let $f$ be an absolute continuous function in $(0, 1)$ and satisfies $$ |f(x+h)+f(x-h)-2f(x)|\leq \text{const}\frac{|h|}{(\log\frac{1}{|h|})^{\gamma}} , $$ where $\gamma \in (0, 1)$ and $|h|$- is ...
5
votes
0answers
167 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
5
votes
0answers
131 views

Fractal dimension of Gaussian white noise is infinite?

I read in this paper that the fractal dimension of Gaussian white noise is infinite. The paper does not prove it nor give a reference to support it. I failed to find a reference from online searching. ...
5
votes
0answers
68 views

A problem about Cantor set and found when learning dynamical systems.

Consider the family of functions F(x)=$x^3 -\alpha$x, for $\alpha \gt 0$ Prove that if $\alpha$ is sufficiently large, then the set of points |$F^n(x)$| which do not tend to infinity is a Cantor ...
5
votes
0answers
96 views

Existence of smooth extension of a function defined on a closed interval

Suppose $ f: [0,1] \rightarrow \mathbb{R}$ is a function such that derivatives of all orders exist ( at the end points of the interval the appropriate one-sided derivatives exist) and are continuous $ ...
5
votes
0answers
104 views

Do there exist solutions for this equation?

We know that solutions exist for equations of the following variety: $$ye^y=x \iff y=W(x)$$ Where W is the Lambert W function. We can augment the problem slightly, and ask if there exist solutions ...
5
votes
0answers
243 views

Dual and completion of metric spaces

Say we have a metric space $(M,d)$, and we want to complete it in the following sense: Definition: A completion of $(M,d)$ is a complete metric space $(\widetilde{M},d')$ together with a Lipschitz ...
5
votes
0answers
250 views

Open Problem in Fixed Point Theory [Prize]

This open problem appeared on the bulletins of Evans Hall at Berkeley this week. I hope this doesn't violate StackExchange policy (the solution carries a $500 prize), but I thought why not re-post ...
5
votes
0answers
146 views

Operator completly continuous

For $\lambda>0$, let $v(t)=\lambda \phi(t)$. Consider the BVP consisting of the equation $$u'''=\lambda[f(t,[u-v]^*+\gamma)+M(t)] ,t\in (0,1)$$ and (BC):$u(0)=u'(p)=\int_q^1 w(s)u''(s)=0 ...
5
votes
0answers
77 views

$M$ is compact, non-empty, perfect, and $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination?

Assume that $M$ is compact, non-empty, perfect, and homeomorphic to its Cartesian square, $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination of ...
5
votes
0answers
460 views

The Cantor Space as $\{0,1\}^{\mathbb{N}}$ and as $[0,1]$.

The Cantor-Space is defined as the space of all infinite binary sequences, i.e. the space $\{0,1\}^{\mathbb{N}}$. It has a natural metric, $$ d(x,y) = \inf\{ 2^{-|w|} : w \in pref(x) \cap pref(y) \} ...