The infinite impulse response is a property of a filter of digital signal processing. The filter response of the impulse signal does not end infinitely. The filter can be represented in either the time domain or frequency domain. Time-domain filter modifies time-domain input signal to time-domain output signal. The frequency domain lets us understand or to design the effect of the filter.
The discrete Fourier transformation ΣN−1n=0x(n)e−i2πnm/N transforms time domain to frequency domain in the finite impulse response.
Cauchy’s integral formula defines analytic function evaluation with path integral with denominator translation at evaluation point (1z−a).
f(a)=12πi∮γf(z)z−adzf(n)(a)=n!2πi∮γf(z)(z−a)n+1dz
Cauchy’s integral formula is a limit of path.
limr→0γ:|z−z0|=r
Taylor series evaluated a analytic function by approximation at an open disc D(z0,r).
f(x)=∑∞n=0an(x−b)nf(n)(b)n!=an
The presence of primitive function is a strong condition that makes a function is analytic in a disc D(a,R). The meaning is the presence of primitive function is confusing at first to me. If a function is integrable, then integration value and a primitive function can be determined. But in complex analysis this is not the case. In real analysis, the integral interval [a,b] is unique, but in complex analysis the integral interval should be determined by line path Γ=g(x).
A norm of linear transformation Λ:X→Y is defined by ∥Λ∥=sup{∥Λ(x)∥:x∈X,∥x∥≤1}. We can give a norm to a space or a set. A norm determines the size of a vector in the function space. The way of measure the size of a vector gives important properties of the space like boundness, completeness or orthogonality.
It is the main subject of analysis that finding conditions making sequential mathematical objects like a set, sequence, series to be convergent. Induction changes S=N to s1∈S and if sn∈S then sn+1∈S. The natural number has a property of endless addable with one. But, induction can prove only natural number N not infinity ∞.
Inductions1∈Sifsn∈Sthensn+1∈SThenS=N The limit is the way N goes to ∞.
Differential equations describe the change of state. The change relates to the state. The solutions of the differential equations are the status equations. The initial conditions set the time t and status y. The boundary conditions are the value of boundary y0 and y1.
dydt=ay+q(t) starting from y(0) at t=0. inital conditions t=0 and y=1q(t) is a input and y(t) is a response.
f(x)=∞∑k=0ckxk=c0+c1x+c2x2+⋯.
This is an approximation that is a function of h and derivatives of f(x) are elements of parameters.
f(x±h)=f(x)±hf′(x)+h22f′′(x)±h36f′′′(x)+O(h4)
Let’s think about sin(x).
f(x)=sin(x)f(0)=0,f′(x)=cos(x)f′(0)=1,f′′(x)=−sin(x)f′′(0)=0
Thus,
\[\begin{align*} \sin(x) &= 0 + \frac{1}{1!
Here I summarize some tools for proof of the Riesz representation theorem. They are the limit of inequality of sequence and ϵ. The Rudin’s proof of the Riesz representation theorem construct measure μ and measurable set M, then prove the μ and M have properties. Countable additivity (not subadditivity) is an important property. The strategy of proving equality (additivity) is bidirectional inequality.
Limit of inequality of sequence gives us a tool that finite inequality makes infinite inequality.
This is a note of real and complex analysis chapter 2.
Chapter 2 is about measures. The measure already defined in chapter 1. In chapter 2, every linear functionals, not combination, of a continuous function space on compact set (C) (Λf) represents the integration of the function (∫fdu) (Riesz representation theorem). Let X be a locally compact Hausdorf space, and let Λ be a positive linear functional on Cc(X).
This is a note for Rudin’s real and complex analysis chapter 1. The key concepts are σ-algebra, measure (μ) zero, and linear combination. The three concepts bring me abstract integration. The σ-algebra makes that countable sum and measure of complement (subtract measure) can be possible. Measure zero completes the system. linear combination integrates a measurable function.
After a measure space established, Lebesgue’s monotone convergence theorem, Fatou’s lemma, and Lebesgue’s dominant convergence theorem follow.