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)

2
votes
2answers
35 views

Confused about proof that diameter of a closure of a set is the same as the diameter of the set.

Definition Let $E$ be a nonempty subset of a metric space $X$, and let $S$ be the set of all real numbers of the form $d(p,q)$, with $p \in E$ and $q \in E$. The supremum of $S$ is called the diameter ...
0
votes
4answers
32 views

$\{-n+\frac{1}{n};n\in\mathbb{N}\}=M$ closed in $\mathbb{R}$

Why is $\{-n+\frac{1}{n};n\in\mathbb{N}\}=M$ closed in $\mathbb{R}$ (here is $\mathbb{R}$ endowed with the standard topology? I could use the criterion: Is $(x_n)\subseteq M$ such that $x_n\to ...
1
vote
0answers
14 views

Notation for vector valued integration

Suppose we have a vector field $\mathbb v=(v^1,v^2)$ on the two dimensional torus $\mathbb T^2$ and we wish to compute $\int_{\mathbb T^2} \mathbb v \cdot \Delta \mathbb v $, where the Laplacian acts ...
2
votes
0answers
11 views

Series $\sum_{d \geq 0} \sqrt{d} \cdot z^d$

As stated in the title, I'd like to compute the series $\sum_{d \geq 0} \sqrt{d} \cdot z^d$ where $z$ is a (small enough) complex number. More generally, for any real value $\alpha$, is there a ...
0
votes
2answers
34 views

Could someone explain me the task?

this is the question: Show that for each linear map $f:\mathbb R^d → \mathbb R^e$ there exists $a < \infty$ so that $\|fw\|< a\|w\|$ for each $w$ in $\mathbb R^d.$ And my problem is that $f$ ...
0
votes
0answers
9 views

Additive and multiplicative model

I'm new in study of survival analysis. There are some basic-questions that I wanna ask and it will be great if somebody could help me to aswer these following questions: What the differences between ...
0
votes
1answer
32 views

Compute the volume element in a differentiable manifold.

Let $A\subset\mathbb{R}^n$ open $g:A\to\mathbb{R}$ of class $C^{1}$ and $g'(x)\not=0$ in each $x\in A$ then I want to compute $dV$ in the differentiable manifold $ M = g^{-1}(0)$. The thing is that ...
2
votes
1answer
17 views

Question about disconnected metric spaces

The definition of disconnectedness that I've been taught is that a metric space $(X,d)$ is disconnected if there exists two non-empty disjoint open sets $A$ and $B$ such that $X=A\cup B$. My ...
1
vote
1answer
21 views

Incomplete beta integral

Let n be greater than one, and B be the beta integral, $$\sum _{j=0}^{\infty } C_j B_{\frac{1}{n}}(j+1,j+2)=\frac{1}{n}$$ Is it correct to call this an inversion formula? What possible ideas are ...
0
votes
1answer
19 views

Jacobi field along every geodesic?

I stumbled over the question: Given a manifold $M$. Can there exist a vector field that is a Jacobi field along every geodesic? Now, the answer is apparently: Yes, because the $0$ vector field does ...
1
vote
0answers
18 views

Normal coordinates and the metric tensor

I was wondering whether the metric tensor in normal coordinates can be expressed somehow in terms of the exponential map. Cause I just don't see how the metric in normal coordinates is actually ...
1
vote
2answers
51 views

How to find the limit points of the set $\{\ a+\alpha\ b \mid a,b \in \mathbb Z, \ \alpha\ \text{is a fixed irrational number} \}$

How to find the limit points of the set $\{\ a+\alpha\ b \mid a,b \in \mathbb Z, \ \alpha\ \text{is a fixed irrational number} \}$ limit point: A point $x$ is said to be a limit point of a non empty ...
3
votes
3answers
59 views

a linear differential equation with periodic coefficients

Let $$y' = a(x) y + b(x)$$ be a linear differential equation with continuous, periodic coefficients $a, b: \mathbb{R} \to \mathbb{R}$ that both have a period of $T > 0$. Also, we assume that ...
0
votes
0answers
42 views

Proving the existence of a sequence such that

I am trying to prove that there exists a sequence, for example: $$ f(n) = n! $$ (or we can select any sequence we need to prove the existence of just one), with the following property: edit: for ...
2
votes
1answer
27 views

Radon-Nikodem Derivative of a purely nonatomic Borel Measure

If $\mu$ is a purely non-atomic Borel measure on a topological space $X$ then must its density be a continous function to $\mathbb{R}$? My intuition says yes because all my counterexamples are not ...
2
votes
0answers
56 views

Finding the maximum of two functions with complicated formulas

Let $$ f(\omega)=1+\frac{m(a+\omega^2)}{a^2+\omega^2}+\alpha\left(\frac{a^2+\omega^2-ma}{a^2+\omega^2}\right)\cos(\omega\tau)+\frac{\alpha m\omega}{a^2+\omega^2}\sin(\omega\tau)\;, $$ and $$ ...
-3
votes
0answers
30 views

Change the subject of a formula [on hold]

$150 \cdot 10^6 = \dfrac{3pR^2}{4t^2}$ How do I find out what $t$ is, hence make it the subject of the equation. I think I know what the answer should be: $p=1.5 \cdot 10^6$ $R= 0.075$ ...
1
vote
1answer
27 views

A domain in $\mathbb{R}^n$ with $C^2$-boundary satisfies an “outer spherical condition”

Let $\Omega\subseteq\mathbb{R}^n$ be a domain and $\partial\Omega\in C^2$, i.e. $\Omega=\overline{\Omega}^\circ$ For all $x_0\in\partial\Omega$, there exists a neighbourhood $U\subseteq\mathbb{R}^n$ ...
2
votes
2answers
31 views

A Chain of Subsets of $\mathbb{R}$ Without any Good Countable Subchain

Consider which $\bigl{(} A_i \bigr{)}_{i\in I}$ is a chain of subsets of $\mathbb{R}$. We say that a countable chain like $\bigl{(} B_n \bigr{)}_{n\in \mathbb{N}}$ is good if : for every $n\in ...
3
votes
1answer
25 views

Connections between Cesaro summation and Borel summation of series

Let $\sum_{n=0}^\infty x_n$ be a given series of numbers, let $S_n=\sum_{k=0}^n x_k$, $n=0,1,2,...$, let $g\in \mathbb R$. We say that this series is convergent to $g$ in the sense of Cesaro if $$ ...
0
votes
0answers
14 views

Definition of normal sets and compactness

I am struggling a little bit with this notion. In Conway's Functions of One Complex Variable, he offers the definition: A set $\mathscr F \subset C(G,\Omega)$ is "normal" if each sequence in ...
4
votes
1answer
28 views

Revolving a $k$-manifold around an axis gives a $(k+1)$-manifold

I want to solve the following problem from M. Spivak's Calculus on Manifolds: Let $\mathbb{K}^n=\{x \in \mathbb{R}^n:x^1=0 \text{ and }x^2>0,\dots,x^{n-1}>0\}$. If $M \subseteq \mathbb{K}^n$ ...
0
votes
1answer
25 views

What is the definition of ``2nd-order quasilinear parabolic'' ? for partial differential systems?

I have to know why the mean curvature flows are 2nd-order quasilinear parabolic. Let $\Omega\subset\mathbb{R}^n$ be a bonded domain (or a smooth manifold of $n$ dimensional) and $N\geq 2$. When the ...
2
votes
0answers
34 views

Continuous function on compact subset of $\mathbb R$ to itself has a fixed point.

Let $f:[a,b] \to [a,b]$ be continuous. Then $f$ has at least a fixed point. I read the following proof from Limaye book. Define $F(x)=f(x)-x.$ Since $a \leq f(x) \leq b,\ \quad F(a)\leq 0 \ \quad ...
1
vote
1answer
17 views

modulation-translation operator continuous in $L^{p}$ norm?

We put, $T_{y}f(x):=f(x-y), \ (x, y\in \mathbb R^{n}).$ It is well-known that $\|T_yf-f\|_{L^{p}} \to 0$ as $y\to 0$ for $1\leq p <\infty.$ Next we put, $M_tT_yf(x):= f(x-ty) e^{i t (x\cdot y)}, ...
1
vote
1answer
36 views

Prove or disprove regarding continuity of $f$ and $g$

Prove or disprove: Let, $f,g:[a,b]\to \mathbb R$ be continuous in $[a,b]$ and are non-zero at any point. There exists $c\in [a,b]$ such that $$g(c)\int_a^bf(x)\,dx=f(c)\int_a^b g(x)\,dx.$$ ...
-1
votes
0answers
39 views

The Coin-Exchange Problem (Application of the Residue Theorem) [on hold]

These day, I have met a problem about application of the Residue Theorem, see section 10.4 of enter link description here.Could anybody help me solve it? (The Coin-Exchange Problem) Suppose $a$ and ...
1
vote
1answer
21 views

tight estimate for a log-linear inequality

Given $q>0$ and $p$, how do we get a tight estimate for the smallest $x$ such that $x\log(x)+px \geq q$? (such an $x$ always exists).
1
vote
2answers
58 views

Find functions $f$ and $\alpha$ such that $\int_1^{\infty}|f|d\alpha$ converges, but $\int_1^{\infty}fd\alpha$ does not exist?

Find functions $f$ and $\alpha$ such that the improper Riemann-Stieltjes integral $\int_1^{\infty}|f|d\alpha$ converges, but $\int_1^{\infty}fd\alpha$ does not exist? I'm really not sure how to start ...
1
vote
1answer
29 views

If $f \in L^2 \cap C_c$ then $\sum_{n \in \mathbb{Z}}|\hat{f}(\xi+2\pi n)|^2 = a_0+…a_n \cos(2 \pi n \xi)$

Let $f \in L^2 \cap C_c$ , then I want to show that $$g(\xi):=\sum_{n \in \mathbb{Z}}|\hat{f}(\xi+2\pi n)|^2 = a_0 + 2 \sum_{n=1}^{N}c_n \cos(2\pi n \xi) $$ for some $N \in \mathbb{N}.$ Does ...
5
votes
0answers
77 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 ...
-1
votes
1answer
58 views

Example of projection sequence on Hilbert space with strong limit P

Let $P_n$ be strongly convergent with limit $P$, where $P_n$'s are projections on a Hilbert space $H$.Suppose that $P_n(H)$ is infinite dimensional. Show by example that P(H)$ may be finite ...
-2
votes
4answers
32 views

Proof $log_{r} a = log_r s \cdot log_s a $ [on hold]

Do you know any proof of this logarithms property: $log_{r} a = log_r s \cdot log_s a $
2
votes
0answers
36 views

How to prove that $\|x+y\|_p<\|x\|_p+\|y\|_p$? [duplicate]

Let $l_p=\{(x_n)\in\mathbb{R}^\mathbb{N}: \sum_{n=0}^\infty |x_n|^p<\infty\}$ and consider the following norm in $l_p$: $$\|x\|_p=\left(\sum_{n=0}^\infty|x_n|^p\right)^{1/p}$$ for ...
3
votes
1answer
33 views

Hessian-Matrix positive definite $\iff$ $a$ local minimum?

It is commonly known that if $f$ is twice differentiable, $\nabla f(a) = 0$ and $H_f(a)$ positive definite, $a$ is a local minimum. So, in short: $H_f(a)$ positive definite $ \implies $ $a$ local ...
0
votes
0answers
17 views

Second derivative and Hessian-Matrix

Suppose $f$ is twice differentiable. Why is $Df(a)[v] + \frac12 D^2f(a)[v,a] = \frac 12 \langle H_f(a) v, v \rangle $ ? $Df(a)[v]$ is the multidimensional derivative of $f$ at point $a$ in ...
4
votes
2answers
34 views

On a condition when bounded sets in $\mathbb R^n$ is convex ?

Is it true that a bounded set in $\mathbb R^n$ , $n>1$ , is convex iff every straight line through an arbitrary interior point of the set intersects the boundary of the set in exactly two points ? ...
1
vote
1answer
19 views

Connected-ness of the boundary of convex sets in $\mathbb R^n$ , $n>1$ , under additional assumptions of the convex set being compact or bounded

Is the boundary of every compact convex set in $\mathbb R^n$ , ($n>1 $ ) connected ? is it path connected ? What if we assume only that the convex set is bounded , is the boundary connected ( and ...
3
votes
1answer
28 views

About convergence in norm of the Fourier Transform

Duoandikoetxea's Fourier Analysis, on page 59 (Corollary 3.7) says that: \begin{equation} \lim_{R \rightarrow \infty}\big\|S_{R}\,f - f\big\|_{p} = 0 \end{equation} for $1<p<\infty$, where ...
2
votes
1answer
21 views

Fourier transform of $L^1$ function square summable?

It is known that for a $L^1$ function $f: \mathbb{R} \rightarrow \mathbb{C}$ the Fourier transform vanishes at infinity and is continuous. Does this even mean that $(\hat{f}(n))_{n \in \mathbb{Z}}$ is ...
1
vote
1answer
27 views

Problem with the Definition of contractible set

I have this definition of contractible set: we say that $A\subset X$ is contractible in $X$ if there exists a continuous function $\eta:[0,1]\times A\rightarrow X$ such that $\eta(0,x)=x, \forall ...
1
vote
2answers
43 views

Finding a choice for Epsilon for open/closed set proofs

I'm studying the proofs for open/close sets by using the following definition: I'm having problems to understand the proofs. The proofs sounds pretty straightforward: just choose a value for ...
1
vote
1answer
28 views

Fourier Analysis Help - $\mathcal L^2$

Let $\{e_k | e_k(x)= e^{ikx}/\sqrt{2\pi\,}\}$ be the orthonormal basis in $\mathcal L^2$ per. I first have to use this basis define two infinite dimensional orthogonal subspaces of $\mathcal L^2$ per. ...
0
votes
1answer
26 views

If the boundary of a convex set in $\mathbb R^n$ ($n>1$) is connected , is it necessarily also path-connected ?

If the boundary of a convex set in $\mathbb R^n$ ( where $n>1$) is connected , is it necessarily also path-connected ?
5
votes
2answers
132 views

Infinite integrals$\int_0^{ + \infty } {\frac{1}{{\left( {x + 1} \right)\left( {{x^n} + 1} \right)}}dx} .$

How to calculate $$\int_0^{ + \infty } {\frac{1}{{\left( {x + 1} \right)\left( {{x^n} + 1} \right)}}dx} .$$
2
votes
1answer
52 views

Let $a_n>0$ for $n \geq 1$ and let series: $\sum_{n=1}^{\infty}a_n$ diverge. Let $S_n=a_1+a_2+…+a_n > 1$ for $n \geq 1$

Prove that the series: $$\sum_{n=1}^{\infty}\frac{a_{n+1}}{S_n \ln S_n}$$ diverges and the series : $$\sum_{n=1}^{\infty}\frac{a_{n}}{S_n \ln^2 S_n}$$ converges. (Using the famous criteria I ...
1
vote
0answers
13 views

FTC and Points of differentiability

Just having a little bit of difficulty understanding the solution to the following problem: Let $f$ be defined as follows, $$f(t) = \left\{\begin{array}{ll}0, & \quad t<0, \\ t, & \quad ...
4
votes
1answer
28 views

Help understanding an inequality on Rudin's construction of the Lebesgue measure

I am having trouble understanding an inequality in Theorem 2.20 from "Real and Complex Analysis." Rudin states that if $f\in\operatorname{C}_c(\mathbb{R}^k)$ , $f$ is real, $W$ is an open k-cell ...
1
vote
0answers
23 views

calculate complex integral $\int_{0}^ {\pi} \frac{(x \sin x)dx }{1-2a \cos x+a^2}, a>0$

I don't know how to calculate this complex integral: $$\int_{0}^ {\pi} \frac{(x \sin x)dx }{1-2a \cos x+a^2}, a>0$$
2
votes
2answers
31 views

How to find the length between 2 points given a pivot

I am not great at math but I have done the previous steps to my problem. This is the last step where I need to find out the distance between C,D. I am writing a program that will output this ...