UNCERTAINTY PRINCIPLES WITH FOURIER ANALYSIS
|
|
- Antonia Banks
- 5 years ago
- Views:
Transcription
1 UNETAINTY PINIPLES WITH FOUIE ANALYSIS ALDE SHEAGEN Abstract. We describe the properties of the Fourier transform on in preparation for some relevant physical interpretations. These include the Heisenberg Uncertainty Principle, Energy onservation, and Dispersivity of the Schrödinger equation. Then, we will give an introduction to complex analysis with the goal of proving the Hardy Uncertainty Principle and giving some applications to current research in PDE s. ontents 1. Fourier Transform 1 2. Plancherel s Formula 4 3. Heisenberg Principle 5 4. omplex Analysis 8 5. Hardy s Uncertainty Principle and Applications 11 Acknowledgments 13 eferences Fourier Transform Let us first view as a group under addition and try to find the group homomorphisms between and S 1, the unit circle, which we may view as a group under multiplication. We are looking for a continuous function φ : S 1 such that φx + y φxφy for x, y. We can show that all such functions take the form 1.1 φx exp ±2πixξ, for ξ [3]. We now wish to see how ordinary functions decompose into superpositions of these functions φ. To do so, we introduce the concept of the Fourier Transform. Definition 1.1. Given an L 1 function f, we may define two operators as follows: 1 : fx f ξ fx exp 2πixξ dx, 2 : fξ f x fξ exp 2πixξ dξ. We say that f is the Fourier Transform of f, and for now, all we know is that is another operator. However, those with a music theory background may conjecture that f f f, and they would be correct under some circumstances. Giving the formal argument for this is the goal of this section. Here are some results that help in understanding Fourier Transforms. 1
2 Proposition 1.2. Let f L 1. Then, f is bounded and continuous. Proof. To show that f is bounded, observe that 1.2 f ξ fx exp 2πixξ dx fx exp 2πixξ dx fx f L 2. To show that f is continuous, consider f ξ + η fx exp 2πixξ + η dx. bounded above by f L 1, so we use the Dominated onvergence Theorem to show 1.3 lim f ξ + η lim fx exp 2πixξ + η dx η 0 η 0 fx exp 2πixξ dx f ξ. Before we continue, let k 0 be the set of k functions with compact support. Proposition 1.3. Let f L If x α fx L 1 for 0 α k, then f k and d α dξ α f ξ 2 Assume f k 0. Then, for 0 α k, we have 2πix α f. The integrand is 1.5 d α dx α f ξ 2πiξ α f ξ. This proposition shows two things, namely the duality between integrability and regularity of f and f and the fact that, up to constant multiplicative factors, the Fourier transform exchanges multiplication by x, ξ and differentiation with respect to ξ, x respectively. For proofs, see Theorem 8.22 in [3]. We now give a result to show the general behavior of the Fourier transform. Proposition 1.4. Let f 2 0. Then, f ξ A 1+ξ 2 for some A. Proof. Observe that 1.6 Then, we have that f ξ 1 d2 4π 2 dx 2 fx exp 2πixξ dx exp 2πixξ 1 + ξ 2 exp 2πixξ. 1 d2 4π 2 dx ξ 2 fx 1 d2 4π 2 dx 2 exp 2πixξ dx. 1.8 This implies which takes the desired form. f ξ ξ 2 f L π 2 f L 2, fx exp 2πixξ dx These propositions motivate the definition of the Schwartz space as a collection of very nice functions where the properties of the Fourier Transform are easier to prove. 2
3 Definition 1.5. We define the Schwartz space S as the set { 1.9 S f k, l 0, sup x k } f l x <. x Such functions are said to be of rapid decrease. Examples of Schwartz functions are exp δx 2 with δ > 0 and any compactly supported function. Proposition 1.6. The Fourier Transform maps S into itself. Proof. onsider the function H S where 1.10 Hx 1 By the results above, we deduce 2πi k d k dx k 2πix l fx H ξ ξ k dl dξ l f ξ, so H S implies that H satisfies the properties of the Schwartz space. Definition 1.7. Given two functions f, g :, we define the convolution of f and g as 1.12 f gx fygx ydy. The following result from multivariable calculus will help us describe properties of the convolution and the Schwartz space. Lemma 1.8 Fubini. Let F x, y S 2. Then, letting F 1 x F x, ydy and F 2y F x, ydx, we deduce that: 1.13 F 1 xdx F 2 ydy. emark 1.9. For n 1, we may define S n according to Definition 1.5, substituting x for x and partial derivatives for all single variable derivatives. The previous lemma allows us to show the following result. Proposition If f, g S, then: 1 f g S. 2 f g g f. d 3 f gx f d gx dx k dx k 4 f g f g. In this paper, we shall only prove 4. Proof. Let f, g S. Then, consider the function F x, y : fygx y exp 2πixξ. Then, we may define F 1 x f gx exp 2πixξ and F 2 y fyg ξ exp 2πiyξ. Then, by Lemma 1.8, 1.14 f g F 1 xdx F 2 ydy f g, as desired. 3
4 Additionally, we may check that f g is associative and distributive, so that turns S into an algebra with addition and scalar multiplication defined the usual way and multiplication as convolution. Now, back to sharps and flats. Theorem 1.11 Multiplication Theorem. For f, g S, we have that 1.15 f xgxdx fxg xdx. Proof. onsider the function F x, y fxgy exp 2πixy. Using the conventions of Lemma 1.8, it is immediate that F 1 x fxg x and F 2 y f ygy. The conclusion then follows from the lemma. Before we go on, we need to calculate an important Fourier transform. Lemma For δ > 0, we have 1.16 exp πδx 2 1 ξ exp δ1/2 πξ 2 This computation relies on contour integration from complex analysis. For details of the proof, see [3]. Before we proceed, let us note two important things. The first is that there is a duality in the exponents of the Gaussians. The other is that the integral of the Gaussians on the right hand side is always 1, and these concentrate at 0 as δ 0. We will use this fact in the following result. Theorem 1.13 Inversion Formula. For f S, we have 1.17 fx f ξ exp 2πixξ dξ. This gives f f. We also have f f, and the map : S S is a bijection from the set S to itself. Proof. To begin, let f S and we claim that f0 f ξdξ. To prove the claim, define Gaussian functions B, B where B exp πδx 2 and B is the Fourier transform of B. Then, by the multiplication theorem, we may write: 1.18 f xbxdx δ fxb xdx. As δ 0, LHS f ξdξ by the Dominated onvergence Theorem. Also, HS f0 because the Gaussian function becomes more concentrated at 0. This proves the claim. Then, we construct the function F y fx + y, which is a member of S for fixed x. We thus have 1.19 fx F 0 F ξdξ f ξ exp 2πixξ dξ f. These equalities follow from the claim, the definition of the Fourier Transform, and a change of variables. If we note that f ξ f ξ, it is immediate that f f by a change of variables. To show that the Fourier Transform is a bijection, recall that S S, and that has an inverse, namely. 2. Plancherel s Formula We will now give a simple but extremely important result due to Plancherel that will be useful for problems involving dispersivity as well as anything involving L 2 norms. The feeling behind this result is that under the Fourier transformation, the resulting function is similar to the original function in the sense that all of the information was collected through the homomorphisms. 4.
5 If we consider a function ρ that gives mass density, Plancherel s Theorem states that the total mass of ρ is the total mass of ρ. Thus, we say that the Fourier Transform is an isometry from S L 2 to itself. In this section, we will also abbreviate f L 2 as f 2. Theorem 2.1 Plancherel s Theorem. If f S, then the L 2 norm is preserved under Fourier transform, i.e. f 2 f 2. Proof. Let f S. Then, letting z denote the complex conjugate of z, define gx f x, so that g x f ξ. Defining h f g, we readily see that h ξ f ξ 2 and moreover that h0 fx 2 dx, which is the square of the L 2 norm of f. Then, we use Theorem 1.13 to write 2.1 fx 2 dx h0 h ξdξ f ξ 2 dξ, as we wanted to show. We will now carry out a calculation using Plancherel s Formula, showing that the Schrödinger equation is dispersive. The idea of dispersive equations is that the solutions retain a constant norm over time, so as time progresses, the solutions become less and less concentrated in order to maintain the norm. This norm has many physical interpretations, but the one we will use in the next calculation is one of energy, so Plancherel s Theorem will highlight the conservation of energy. onsider the Schrodinger Equation below: 2.2 i u t + 2 u x 2 0. Now, we take the Fourier transform in x to obtain 2.3 i u t + 2πiξ2 u 0, where we have used that u t u t. This implies 2.4 u ξ, t exp 4π 2 ξ 2 it, for some. Plugging in t 0, we see that u ξ, 0 : u 0 ξ. Then, we use Plancherel s Theorem to state that 2.5 ux, t 2 u ξ, t 2 meaning that u is dispersive as desired. u 0 ξ exp 4π 2 ξ 2 it 2 u 0 ξ 2 u 0 x 2, 3. Heisenberg Principle In this section, we will prove Heisenberg s Uncertainty Principle using the Fourier Transform in two ways, and apply the second method to produce the usual quantum-mechanical statement of Heisenberg. In the first method, we will provide two equivalent results, allowing us to consider the displacement about a point x 0, ξ 0 in phase space instead of the origin, giving us more freedom to fix a physical origin. Theorem 3.1 Heisenberg s Uncertainty Principle. Let ψ S with the normalization condition ψ 2 dx 1. We then have: 3.1 x 2 ψx 2 dx ξ 2 ψ ξ 2 dξ π 2.
6 We may also equivalently write this result as: 3.2 x x 0 2 ψx 2 dx ξ ξ 0 2 ψ ξ 2 dξ 1 16π 2, for all x 0, ξ 0. Equality holds iff ψ is of the form ψx A exp Bx 2 with B > 0 and A 2 2B/π. Proof. We begin by proving the equivalence of the results in two steps. Given ψ S, define Φx : ψx + x 0 S with the normalization condition Φ 2 ψ 2 1. Then, we have that 3.3 Φ ξ exp 2πixξ Φxdx exp 2πix 0 ξ ψ ξ. This directly implies 3.4 x x 0 2 ψx 2 dx x 2 Φx 2 dx, ξ ξ 0 2 ψ ξ 2 dξ ξ ξ 0 2 Φ ξ 2 dξ. Similarly, letting ϕx : exp 2πixξ 0 Φx S, we observe that ϕ 2 Φ 2 1. As well, we have 3.5 ϕ ξ exp 2πixξ ϕxdx Φ ξ ξ 0. This gives 3.6 x x 0 2 ψx 2 dx x 2 Φx 2 dx x 2 ϕx 2 dx, 3.7 ξ ξ 0 2 ψ ξ 2 dξ ξ ξ 0 2 Φ ξ 2 dξ ξ 2 ϕ ξ 2 dξ. These two equations and the normalization condition allow us to reduce the general displacement case to that about the origin. This proves the equivalence of the results. To prove the result, we begin from the normalization condition with ψx 2 dx x d ψx 2 dx dx by integration by parts. Also, since ψx 2 ψxψx, so we may use the product rule to compute 3.9 d ψx 2 ψ xψx + ψxψ dx x 2 ψ x ψx Then, plugging this into the integral, we find x d ψx 2 dx 2 dx x ψ x ψx dx x 2 ψx 2 dx ψ x 2 dx by auchy-schwarz. By Proposition 1.3 and Plancherel s Formula, we claim that 3.12 ψ x dx 4π 2 ξ 2 ψ ξ 2 dξ, finishing the proof of the inequality. To force equality, we force the expressions to be equal at where we applied auchy-schwarz. It is a well known fact that equality occurs in auchy-schwarz when one vector is a scalar multiple of another, so we 6
7 deduce that 3.13 ψ x K xψx. After removing the absolute signs, which takes a little work, we deduce that 3.14 ψx Ae Bx2, where B > 0. If B < 0, then there is no way that the function would integrate to 1. Again using the normalization condition, we deduce that indeed, A 2 2B/π, so we are done. We now present an equivalent proof based on the noncommutativity of position and momentum operators. Definition 3.2. For two operators P and Q, we define the commutator of P and Q as [P, Q] : P Q QP. Alternate Proof. onsider the operators P f xf and Qf f x. Then, by the product rule, we can readily see that [P, Q] I. Let ψ be such that ψ 2 1. Then, for t, consider the inner product 0 tp + Qψ, tp + Qψ 3.15 t 2 P ψ t P ψ, Qψ + t Qψ, P ψ + Qψ 2 2. For f, g S, we may check that P f, g f, P g. Integrating by parts, we have Qf, g f, Qg. Then, plugging this into the original formula, we obtain t 2 P ψ t ψ, [P, Q]ψ + Qψ t 2 P ψ 2 2 t ψ Qψ 2 2. This inner product is positive, so as a polynomial in t, it yields 3.17 ψ 4 2 P 4 ψ 2 2 Qψ 2 2 0, and we use Proposition 1.3 again to write 3.18 Qψ 2πiξψ ξ and use Plancherel s Theorem to claim that the norms are equal. Then, using the normalization condition on ψ, we may write π 2 as desired. x 2 ψ 2 dx ξ 2 ψ 2 dξ, Additionally, let us redefine P ˆx and Q ˆp. These operators act on a function ψ in such a way that ˆx[ψ] xψ and ˆp[ψ] i xψ. These represent the position and momentum of the particle in said state respectively. A cool fact that should seem reasonable is that ˆx ˆp and ˆx ˆp as the Fourier transform interlaces derivatives and multiplication by x. In any case, it can be shown that [ˆx, ˆp] i, so we can do a similar calculation as before. Starting with Equation 3.16, we write t 2 ˆx[ψ] t ψ, [ˆx, ˆp][ψ] + ˆp[ψ] 2 2 7
8 3.20 t 2 ˆx[ψ] i t ψ ˆp[ψ] 2 2. Then, we take the discriminant to be negative: ψ ˆx[ψ] 2 2 ˆp[ψ] Thinking of ˆx[ψ] 2 as the standard deviation of the displacement, written x, and similarly for ˆp, we may write x 2 p 2 0, or 3.23 x p 2, which is the usual quantum-mechanical way of seeing Heisenberg s uncertainty principle. As we prepare to prove Hardy s Uncertainty Principle, we take a detour into complex analysis to establish some fundamental tools used in the proof. 4. omplex Analysis To begin our discussion of complex analysis, we must first investigate differentiability of complex-valued functions and the consequences thereof. Definition 4.1. A function f : is said to be holomorphic at ω if 4.1 lim z ω fz fω z ω exists and is finite. In such cases, we denote this limit as f ω. We then say f is holomorphic on Ω if f is holomorphic at all ω Ω. Finally, if f is holomorphic on, then f is said to be entire. Definition 4.2. A function f : is said to be regular at ω if for all n N, f n is holomorphic at ω, where f n denotes the nth complex derivative of f. As before, we may define a notion of f being regular on Ω, or just regular when appropriate. Definition 4.3. A function f : is said to be analytic at ω if there exists a power series expansion 4.2 fz a k z ω k around ω. We may also generalize this to a notion of what it means to be analytic on Ω. k0 We will now prove the equivalence of these definitions, however we will wait to prove one case until we have encountered the auchy Integral Formula. Proposition 4.4. Definitions 4.1, 4.2, and 4.3 are equivalent; i.e. conditions, then it satisfies all of them. if a function f satisfies one of the Proof. We will momentarily show that onsider a power series expansion 4.3 fz a k z ω k. k0 8
9 To show that f is regular, we show that 4.4 fz fω z ω L as z ω with L <. We calculate a k z ω k a 0 fz fω k0 4.5 a k z ω k 1, z ω z ω which approaches a 1 as z ω. We may repeat this proof starting at any natural number, so we are done. k1 And now for the theorem that will propel the rest of this paper, the auchy Integral Formula. Theorem 4.5 auchy Integral Formula. If f is holomorphic on an open set containing a circle and its interior, then for all ω inside, we have 4.6 fω 1 2πi fξ ξ ω dξ. Proof. See [7], hapter 2, Theorem 4.1. orollary 4.6. A holomorphic function is also analytic. Proof. By Theorem 4.5, fixing z 0 as the center of the circle, we may write 4.7 fω 1 fξ 2πi ξ ω dξ 1 fξ 2πi ξ z 0 ω z 0 dξ. onsidering the integrand, we may write: ξ z 0 ω z 0 1 ξ z 0 1, ω z 1 0 ξ z 0 and we exploit the fact that the second term represents a geometric series with ratio ω z 0 /ξ z 0 < 1. Additionally, note that the series converges uniformly, so we may commute the integral and the series, arriving at the expression: 4.9 fω 1 2πi r0 fξ ξ z 0 r+1 dξ ω z 0 r, which is the desired result. In fact, this is a Taylor expansion about z 0 with 4.10 f n z 0 n! fξ 2πi ξ z 0 n+1 dξ. This concludes the proof of Proposition 4.4 as the remaining implication is trivial. We now present another corollary that will be essential in determining the nature of f given reasonable decay conditions on f. orollary 4.7 Liouville s Theorem. If a function f is bounded and entire, then f is constant. Proof. We will show that f 0 everywhere, which implies that f is constant as is a connected set. For the proof of the sufficiency of this condition, see orollary 3.4 in hapter 1 of [7]. 9
10 Fix z and let D be a disk with boundary D and radius centered at z. Plugging in n 1 to Equation 4.10, we may write 4.11 f z 1 2πi We then observe that 4.12 f z 1 2π fξ ξ z 2 dξ. fξ ξ z 2 dξ f, where f denotes sup fz. Taking the limit as proves the result. z Theorem 4.8 Maximum Modulus Principle. Let f be a holomorphic, non-constant function on an open set Ω. Then, f does not attain its maximum value on Ω. This theorem admits the following corollary. orollary 4.9. Let f be a holomorphic function on a bounded open set Ω. If f is continuous up to Ω, then sup Ω f sup Ω f. To prove the Maximum Modulus Principle, we will rely on the following fundamental lemma. For the proof of this lemma, see Theorem 4.4 in [7], hapter 3. Lemma 4.10 Open Mapping Theorem. If f is holomorphic and non-constant on a region Ω, then f maps open sets to open sets. Proof of Theorem 4.8. Let Ω be open. Suppose f does attain a maximum value at ω Ω, and without loss of generality, assume that 0 < fω. Then, there is an open neighborhood D Ω around ω so that fd is an open neighborhood of fω. In particular, there is a z D such that fz is real and fz > fω. However, this contradicts the maximality of fω. We now transition from observing the behavior of nice functions on a bounded region to using simple geometry to study the behavior of functions of a specified growth on unbounded regions. Patching together use of the following theorem for multiple intersecting sectors can yield results about the entire complex plane; we will use this later in the proof of Hardy s Uncertainty Principle. Theorem 4.11 Phragmén-Lindelöf. Fix α > 1/2 and consider a sector of the complex plane S α with angle π/α. Let f be holomorphic on S α and continuous on its closure. If there exist β, τ,, M > 0 with β < α, fz exp τ z β for z S α, and fz M on S α, then fz M for all z S α. Proof. Let f be any such function, and suppose that the sector is given by S α {z arg z < π/2α}. Then, choose γ β, α and define hz fz exp z γ. Note that since z γ is continuous, h is holomorphic in the interior and continuous on the closure of the sector. Let us use a polar coordinate representation and write z re iθ so that z γ r γ e iθγ, where θ < π/2α. Using the growth of f, we deduce 4.13 hz fz exp z γ exp τr β exp r γ cosθγ exp τr β r γ cosπγ/2α. Because γ β, α, hz approaches 0 as r. On the boundary, we write 4.14 hz M exp r γ e iθγ M exp r γ cosπγ/2α M, 10
11 using the fact that γ < α. We apply orollary 4.9 to increasing bounded sectors, giving that h M in the unbounded sector. To conclude the proof, we let h ɛ z fz exp ɛz γ, repeat the argument given, and take the limit as ɛ 0. We now introduce a criterion that will help us show that f admits an entire extension under certain conditions. Theorem 4.12 Morera s Theorem. Suppose f is continuous on an open disk D with 4.15 fξdξ 0 for every simple closed curve D. Then f is holomorphic. Proof. Fix ω D and choose z D. Then, we may write F z fξdξ, where Γ : [0, 1] D is any Γ curve that has Γ0 ω and Γ1 z. The hypothesis gives that this is well-defined. We may then compute 4.16 F z + h F z h γ fξdξ h where we choose γ to be the line segment joining z and z + h. γ fξ fzdξ + fz, h Since we may bound the integral by sup ξ fξ fz γ dξ sup ξ fξ fz h, we obtain that the first term vanishes as h 0. Thus, we conclude that F is holomorphic with F f, implying that f is also holomorphic as desired. 5. Hardy s Uncertainty Principle and Applications Before venturing on to prove Hardy s Uncertainty Principle, we give a lemma that guarantees the analyticity of f. The proof relies mostly on Morera s Theorem. Lemma 5.1. If f L 1 has ft exp 2πty dt < for all y, then f is entire. Some examples of such functions are compactly supported functions. The Theorem of Isolated Zeros for holomorphic functions gives that f restricted to cannot be of compact support. We understand this as another uncertainty principle. The following theorem is more quantitative in nature and asserts that f and f cannot both decrease very rapidly, justifying its title. The proof mainly follows from that given in [1]. Theorem 5.2 Hardy s Uncertainty Principle. Suppose f is an integrable function such that 5.1 fx exp πx 2, f ξ exp πξ 2 for all x, ξ. Then, fx is a multiple of exp πx 2. Proof. The bounds on f allow us to invoke Lemma 5.1 to say that f is analytic. Then, we let ξ x + iy to obtain 5.2 f ξ ft exp 2πty dt exp πt 2 + 2πty dt exp πy 2 expπ ξ 2. Now, we will assume that f is even and prove the claim in this case. Afterwards, we construct a similar argument if f is odd. Let f be even. Then f is also even, and we may write a power series expansion f ξ n0 c nξ 2n. We thus define hγ : n0 c nγ n f γ 1/2. Note that h is entire. The goal of this argument is to prove that hξ exp πξ : Gξ is bounded on the upper half plane. The argument for the lower half plane 11
12 is analogous. Given this, Liouville s Theorem implies that G is constant. This forces hξ exp πξ, implying in turn f ξ exp πξ 2. By the bound on f in Equation 5.2, we know that hγ 2 expπ γ 2. If γ ξ 1/2 for some ξ, then hξ exp π ξ for all ξ. This sets β 1 in the conditions of Theorem For ξ +, we obtain 5.3 hξ f ξ 1/2 exp πξ. Now, fix 0 < δ < π and consider ξ in polar form, namely ξ e iθ, for 0 < θ < δ. The goal is to find a similar bound for G on the line + e iδ so we may apply Phragmén-Lindelöf to find a bound for G on the entire sector. To do so, we construct 5.4 iπξ exp iδ/2 exp hξ π sinθ δ/2 sinδ/2 exp he iθ sinδ/2 when θ 0 or θ δ. Then, by Phragmén-Lindelöf, we may write π sinθ δ/2 5.5 hξ exp sinδ/2 for all ξ in the desired region. Taking the limit as δ π, we find that hξ exp π cosθ for θ in range. We may repeat this for the lower half plane as well. Now, suppose f is odd. Then, f is also odd but also entire. Then, we know that f 0 0 and we may write the function f ξ/ξ n0 c nξ 2n. We then consider a function H defined in a similar manner as h. We remark that 5.6 Hγ 2 f γ exp π γ 2 γ γ exp π γ 2 when γ > 1. If γ < 1, consider a new larger constant D such that Hγ 2 D exp π γ 2, so Hξ D exp π ξ always. We construct a similar bound when ξ > 0 and the argument is similar to before. Then, f ξ/ξ is a constant multiple of exp πξ 2, however because of the bound on f by hypothesis, this number should be 0, so f f 0 in this case. Then, since the even parts of f correspond to the even parts of f and similarly with the odd parts, we notice that the whole function f and f satisfies the same bounds as the even and odd parts, so we use the previous argument and the triangle inequality to finish the proof. orollary 5.3. Let f be a measurable function and α, β, > 0 with 5.7 fx exp αx 2 ; f x exp βx 2, for x. If αβ π 2, then f is a multiple of exp αx 2. If αβ > π 2, then f 0. Proof. Let α π. If not, scale it appropriately and we reduce it to this critical case. We then apply Hardy s Uncertainty Principle and complete the proof. One interesting application of this result used in more modern research is the study of how the Hardy Uncertainty Principle gives us information about the solutions of the Schrödinger equations. For example, consider the initial value problem 5.8 i t u + u 0 in, u t0 u 0 in. 12
13 The solution to this takes the form 5.9 ux, t 1 t i x y 2 exp u 0 ydy, t for t > 0. Namely, plugging in t 1 implies 5.10 ux, 1 exp i x 2 exp 2ixy exp i y 2 u 0 ydy. We then take the norm, ux, 1 2, to find 5.11 ux, 1 2 exp i y 2 u 0 exp i y 2 u 0 y u 0 y 2, 2 2 so the theorem generalizes to the following: Theorem 5.4. For a solution u of the Schrödinger Equation, if ux, 1, ux, 0 exp π x 2, then the entire solution has a Gaussian decay. The next natural question to ask is what happens to the result above if we add a potential term to the PDE, namely something of the form V u, for an arbitrary potential function V. Here is a simplified version of one such result, proved by arlos Kenig et. al. in [2]. Theorem 5.5. onsider the initial value problem i t u + u + V u 0 in, 5.12 u t0 u 0 in. Then, if V is continuous and bounded in the L norm, Theorem 5.4 holds for the IVP given. The proof of this uses no Fourier Analysis, but mainly techniques in differential equations and the logarithmic convexity of such solutions. Thus, while it is not immediately related to the topic at hand, it makes sense to talk about as a logical extension of how the material at hand is applied to modern research. Acknowledgments. I would like to thank my mentor Daniel ampos for his help in the paper-writing process as well as Mao-Tian Tan and arlos Kenig for providing helpful insights into aspects of the paper. I would also like to thank the academy. Finally, I would like to thank Peter May for running a great EU program. eferences [1] H. Dym and H. McKean. Fourier Series and Integrals [2] Y.L. Escauriaza,. E. Kenig, et. al. Hardy s Uncertainty Principle, onvexity, and Schrödinger Evolutions. [3] Gerald B. Folland. eal Analysis: Modern Techniques and their Applications. [4] Walter udin. eal and omplex Analysis. [5] Barry Simon. epresentations of Finite and ompact Groups. [6] Elias M. Stein and ami Shakarchi. Fourier Analysis: An Introduction. [7] Elias M. Stein and ami Shakarchi. omplex Analysis. 13
Complex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationTOOLS FROM HARMONIC ANALYSIS
TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition
More informationFourier transforms, I
(November 28, 2016) Fourier transforms, I Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/Fourier transforms I.pdf]
More information13. Fourier transforms
(December 16, 2017) 13. Fourier transforms Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/13 Fourier transforms.pdf]
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More information2 Infinite products and existence of compactly supported φ
415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the
More informationComplex numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationProperties of Entire Functions
Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationHeisenberg s inequality
Heisenberg s inequality Michael Walter 1 Introduction 1 Definition. Let P be a probability measure on R. Then its mean or expectation is defined as E(P) := x dp(x) Its variance is the expected square deviation
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationAverage theorem, Restriction theorem and Strichartz estimates
Average theorem, Restriction theorem and trichartz estimates 2 August 27 Abstract We provide the details of the proof of the average theorem and the restriction theorem. Emphasis has been placed on the
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction
ANALYTIC SEMIGROUPS AND APPLICATIONS KELLER VANDEBOGERT. Introduction Consider a Banach space X and let f : D X and u : G X, where D and G are real intervals. A is a bounded or unbounded linear operator
More informationComplex Homework Summer 2014
omplex Homework Summer 24 Based on Brown hurchill 7th Edition June 2, 24 ontents hw, omplex Arithmetic, onjugates, Polar Form 2 2 hw2 nth roots, Domains, Functions 2 3 hw3 Images, Transformations 3 4 hw4
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationTHE POINTWISE CONVERGENCE OF THE SOLUTION TO THE SCHRÖDINGER EQUATION
FINAL MASTE S DISSETATION Master s Degree in Mathematics and Applications THE POINTWISE CONVEGENCE OF THE SOLUTION TO THE SCHÖDINGE EQUATION Author: Daniel Eceizabarrena Pérez Supervisor: Ana Mª Vargas
More informationFolland: Real Analysis, Chapter 8 Sébastien Picard
Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists
More informationMA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I
MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationDangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of
Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of ignorance and fear? Despite the risks, many natural phenomena
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationPOISSON SUMMATION AND PERIODIZATION
POISSON SUMMATION AND PERIODIZATION PO-LAM YUNG We give some heuristics for the Poisson summation formula via periodization, and provide an alternative proof that is slightly more motivated.. Some heuristics
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More informationChapter II. Complex Variables
hapter II. omplex Variables Dates: October 2, 4, 7, 2002. These three lectures will cover the following sections of the text book by Keener. 6.1. omplex valued functions and branch cuts; 6.2.1. Differentiation
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationL p -boundedness of the Hilbert transform
L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationMath 127: Course Summary
Math 27: Course Summary Rich Schwartz October 27, 2009 General Information: M27 is a course in functional analysis. Functional analysis deals with normed, infinite dimensional vector spaces. Usually, these
More informationMORE NOTES FOR MATH 823, FALL 2007
MORE NOTES FOR MATH 83, FALL 007 Prop 1.1 Prop 1. Lemma 1.3 1. The Siegel upper half space 1.1. The Siegel upper half space and its Bergman kernel. The Siegel upper half space is the domain { U n+1 z C
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationCauchy Integral Formula Consequences
Cauchy Integral Formula Consequences Monday, October 28, 2013 1:59 PM Homework 3 due November 15, 2013 at 5 PM. Last time we derived Cauchy's Integral Formula, which we will present in somewhat generalized
More informationUNCERTAINTY PRINCIPLES FOR THE FOCK SPACE
UNCERTAINTY PRINCIPLES FOR THE FOCK SPACE KEHE ZHU ABSTRACT. We prove several versions of the uncertainty principle for the Fock space F 2 in the complex plane. In particular, for any unit vector f in
More informationHarmonic Analysis: from Fourier to Haar. María Cristina Pereyra Lesley A. Ward
Harmonic Analysis: from Fourier to Haar María Cristina Pereyra Lesley A. Ward Department of Mathematics and Statistics, MSC03 2150, 1 University of New Mexico, Albuquerque, NM 87131-0001, USA E-mail address:
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationAnalysis II - few selective results
Analysis II - few selective results Michael Ruzhansky December 15, 2008 1 Analysis on the real line 1.1 Chapter: Functions continuous on a closed interval 1.1.1 Intermediate Value Theorem (IVT) Theorem
More informationHARMONIC ANALYSIS TERENCE TAO
HARMONIC ANALYSIS TERENCE TAO Analysis in general tends to revolve around the study of general classes of functions (often real-valued or complex-valued) and operators (which take one or more functions
More informationSyllabus: for Complex variables
EE-2020, Spring 2009 p. 1/42 Syllabus: for omplex variables 1. Midterm, (4/27). 2. Introduction to Numerical PDE (4/30): [Ref.num]. 3. omplex variables: [Textbook]h.13-h.18. omplex numbers and functions,
More informationII. FOURIER TRANSFORM ON L 1 (R)
II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More informationFOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions
FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationMORE CONSEQUENCES OF CAUCHY S THEOREM
MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationCHAPTER 6 bis. Distributions
CHAPTER 6 bis Distributions The Dirac function has proved extremely useful and convenient to physicists, even though many a mathematician was truly horrified when the Dirac function was described to him:
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationRANDOM PROPERTIES BENOIT PAUSADER
RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly
More informationLecture 7 Local properties of analytic functions Part 1 MATH-GA Complex Variables
Lecture 7 Local properties of analytic functions Part 1 MATH-GA 2451.001 omplex Variables 1 Removable singularities 1.1 Riemann s removable singularity theorem We have said that auchy s integral formula
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationELEMENTARY APPLICATIONS OF FOURIER ANALYSIS
ELEMENTARY APPLICATIONS OF FOURIER ANALYSIS COURTOIS Abstract. This paper is intended as a brief introduction to one of the very first applications of Fourier analysis: the study of heat conduction. We
More informationOscillatory integrals
Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section
More informationPRIME NUMBER THEOREM
PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives
More informationThe Gaussians Distribution
CSE 206A: Lattice Algorithms and Applications Winter 2016 The Gaussians Distribution Instructor: Daniele Micciancio UCSD CSE 1 The real fourier transform Gaussian distributions and harmonic analysis play
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationEmpirical Processes: General Weak Convergence Theory
Empirical Processes: General Weak Convergence Theory Moulinath Banerjee May 18, 2010 1 Extended Weak Convergence The lack of measurability of the empirical process with respect to the sigma-field generated
More informationIntegration in the Complex Plane (Zill & Wright Chapter 18)
Integration in the omplex Plane Zill & Wright hapter 18) 116-4-: omplex Variables Fall 11 ontents 1 ontour Integrals 1.1 Definition and Properties............................. 1. Evaluation.....................................
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More information18.04 Practice problems exam 1, Spring 2018 Solutions
8.4 Practice problems exam, Spring 8 Solutions Problem. omplex arithmetic (a) Find the real and imaginary part of z + z. (b) Solve z 4 i =. (c) Find all possible values of i. (d) Express cos(4x) in terms
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationIntroduction to Fourier Analysis
Lecture Introduction to Fourier Analysis Jan 7, 2005 Lecturer: Nati Linial Notes: Atri Rudra & Ashish Sabharwal. ext he main text for the first part of this course would be. W. Körner, Fourier Analysis
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationTrace Class Operators and Lidskii s Theorem
Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace
More informationThe Hilbert transform
The Hilbert transform Definition and properties ecall the distribution pv(, defined by pv(/(ϕ := lim ɛ ɛ ϕ( d. The Hilbert transform is defined via the convolution with pv(/, namely (Hf( := π lim f( t
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More information1 Fourier Integrals on L 2 (R) and L 1 (R).
18.103 Fall 2013 1 Fourier Integrals on L 2 () and L 1 (). The first part of these notes cover 3.5 of AG, without proofs. When we get to things not covered in the book, we will start giving proofs. The
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More information