A Helmholtz' Theorem

Total Page:16

File Type:pdf, Size:1020Kb

A Helmholtz' Theorem A Helmholtz’ Theorem Because 1 ∇2 = −4πδ(R) (A.1) R where R = r − r with magnitude R = |R| and where δ(R)=δ(r − r)= δ(x − x)δ(y − y)δ(z − z) is the three-dimensional Dirac delta function (see Appendix B), then any sufficiently well-behaved vector function F(r)= F(x, y, z) can be represented as F(r)= F(r)δ(r − r) d3r V 1 1 = − F(r)∇2 d3r 4π R V 1 F(r) = − ∇2 d3r, (A.2) 4π V R the integration extending over any region V that contains the point r. With the identity ∇×∇×= ∇∇ · −∇2, Eq. (A.2) may be written as 1 F(r) 1 F(r) F(r)= ∇×∇× d3r − ∇∇ · d3r. (A.3) 4π V R 4π V R Consider first the divergence term appearing in this expression. Because the vector differential operator ∇ does not operate on the primed coordinates, then 1 F(r) 1 1 ∇· d3r = F(r) ·∇ d3r. (A.4) 4π V R 4π V R Moreover, the integrand appearing in this expression may be expressed as 1 1 F(r) ·∇ = −F(r) ·∇ R R F(r) 1 = −∇ · + ∇ · F(r), (A.5) R R where the superscript prime on the vector differential operator ∇ denotes differentiation with respect to the primed coordinates alone. Substitution of 422 A Helmholtz’ Theorem Eq. (A.5) into Eq. (A.4) and application of the divergence theorem to the first term then yields 1 F(r) 1 F(r) 1 ∇ · F(r) ∇· d3r = − ∇ · d3r + d3r 4π R 4π R 4π R V V V 1 1 1 ∇ · F(r) = − F(r) · nˆd2r + d3r 4π S R 4π V R = φ(r), (A.6) whichisthedesiredformofthescalarpotentialφ(r) for the vector field F(r). Here S is the surface that encloses the regular region V and contains the point r. For the curl term appearing in Eq. (A.3) one has that 1 F(r) 1 1 ∇× d3r = − F(r) ×∇ d3r 4π R 4π R V V 1 1 = F(r) ×∇ d3r. (A.7) 4π V R Moreover, the integrand appearing in the final form of the integral in Eq. (A.7) may be expressed as 1 ∇ × F(r) F(r) F(r) ×∇ = −∇ × , (A.8) R R R so that 1 F(r) 1 ∇ × F(r) 1 F(r) ∇× d3r = d3r − ∇ × d3r 4π R 4π R 4π R V V V 1 ∇ × F(r) 1 1 = d3r + F(r) × nˆd2r 4π V R 4π S R = a(r), (A.9) whichisthedesiredformofthevectorpotential. The relations given in Eqs. (A.3), (A.6), and (A.9) then show that F(r)=−∇φ(r)+∇×a(r), (A.10) where the scalar potential φ(r) is given by Eq. (A.6) and the vector potential a(r) is given by Eq. (A9). This expression may also be written as F(r)=F (r)+Ft(r), (A.11) where F (r)=−∇φ(r) ∇ · − 1 ∇ F(r ) 3 1 ∇ F(r ) · 2 = d r + nˆd r (A.12) 4π V |r − r | 4π S |r − r | References 423 is the longitudinal or irrotational part of the vector field (where ∇×F (r )= 0), and where F (r)=∇×a(r) t 1 F(r) = ∇×∇× d3r 4π |r − r| V ∇ × 1 ∇× F(r ) 3 1 ∇× F(r ) × 2 = d r + nˆd r (A.13) 4π V |r − r | 4π S |r − r | is the transverse or solenoidal part of the vector field (where ∇·F (r ) = 0). If the surface S recedes to infinity and if the vector field F(r)isregular at infinity, then the surface integrals appearing in the above expressions and Eqs. (A.12)–(A.13) become F (r)=−∇φ(r) ∇ · − 1 ∇ F(r ) 3 = d r , (A.14) 4π V |r − r | F (r)=∇×a(r) t ∇ × 1 ∇× F(r ) 3 = d r . (A.15) 4π V |r − r | Taken together, the above results constitute what is known as Helmholtz’ theorem [1]. Theorem 12. Helmholtz’ Theorem. Let F(r) be any continuous vector field with continuous first partial derivatives. Then F(r) can be uniquely ex- pressed in terms of the negative gradient of a scalar potential φ(r) and the curl of a vector potential a(r), as embodied in Eqs. (A.10) and (A.11). References 1. H. B. Phillips, Vector Analysis. New York: John Wiley & Sons, 1933. B The Dirac Delta Function B.1 The One-Dimensional Dirac Delta Function The Dirac delta function [1] in one-dimensional space may be defined by the pair of equations δ(x)=0; x =0 , (B.1) ∞ δ(x) dx =1. (B.2) −∞ It is clear from this definition that δ(x) is not a function in the ordinary mathematical sense, because if a function is zero everywhere except at a single pointandtheintegralofthisfunctionoveritsentiredomainofdefinition exists, then the value of this integral is necessarily also equal to zero. Because of this, it is more appropriate to regard δ(x) as a functional quantity with a certain well-defined symbolic meaning. For example, one can consider a sequence of functions δ(x, ε) that, with increasing values of the parameter ε, differ appreciably from zero only over a decreasing x-interval about the origin and which are such that ∞ δ(x, ε) dx = 1 (B.3) −∞ for all values of ε. Although it may be tempting to try to interpret the Dirac delta function as the limit of such a sequence of well-defined functions δ(x, ε) as ε →∞, it must be recognized that this limit need not exist for all values of the independent variable x. However, the limit ∞ lim δ(x, ε) dx = 1 (B.4) ε→∞ −∞ must exist. As a consequence, one may interpret any operation that involves the delta function δ(x) as implying that this operation is to be performed with a function δ(x, ε) of a suitable sequence and that the limit as ε →∞is to be taken at the conclusion of the calculation. The particular choice of the sequence of functions δ(x, ε) is immaterial, provided that their oscillations (if any) near the origin x = 0 are not too violent [2]. Each of the following functions forms a sequence with respect to the parameter ε that satisfies the required properties. 426 B The Dirac Delta Function ε 2 2 δ(x, ε)=√ e−ε x , π δ(x, ε) = rect1/ε(x), ε δ(x, ε)= sinc(εx), π δ(r, ε)=circ1/ε(r), ε δ(r, ε)= J1(2πεr), r where rect1/ε(x) ≡ ε/2when|x| < 1/ε and is zero otherwise, circ1/ε(r) ≡ ε2/π when r<1/ε and is zero otherwise, and sinc(x) ≡ sin (x)/x when x =0 and is equal to its limiting value of unity when x = 0, where the last two of the above set of functions are appropriate for polar coordinates. Let f(x) be a continuous and sufficiently well-behaved function of x ∈ (−∞, ∞) and consider the value of the definite integral ∞ ∞ f(x)δ(x − a)dx = lim f(x)δ(x − a, ε)dx. −∞ ε→∞ −∞ When the parameter ε is large, the value of the integral appearing on the right-hand side of this equation depends essentially on the behavior of f(x) in the immediate neighborhood of the point x = a alone, and the error that results from the replacement of f(x)byf(a) may be made as small as desired by taking ε sufficiently large. Hence ∞ ∞ lim f(x)δ(x − a, ε)dx = f(a) lim δ(x − a, ε)dx, ε→∞ −∞ ε→∞ −∞ so that ∞ f(x)δ(x − a)dx = f(a). (B.5) −∞ This result is referred to as the sifting property of the delta function. That is, the process of multiplying a continuous function by δ(x − a) and integrating over all values of the variable x is equivalent to the process of evaluating the function at the point x = a. Notice that, for this result to hold, the domain of integration need not be extended over all x ∈ (−∞, ∞); it is only necessary that the domain of integration contain the point x = a in its interior, so that a+∆2 f(x)δ(x − a)dx = f(a), (B.6) a−∆1 where ∆1 > 0, ∆2 > 0. It is then seen that f(x) need only be continuous at the point x = a. The above results may be written symbolically as f(x)δ(x − a)=f(a)δ(x − a), (B.7) B.1 The One-Dimensional Dirac Delta Function 427 the meaning of such a statement being that the two sides yield the same result when integrated over any domain containing the point x = a. For the special case when f(x)=xk with k>0anda = 0, Eq. (B.7) yields xkδ(x)=0, ∀k>0. (B.8) Theorem 13. Similarity Relationship (Scaling Law). For all a =0 1 δ(ax)= δ(x). (B.9) |a| Proof. In order to prove this relationship one need only compare the integrals of f(x)δ(ax)andf(x)δ(x)/|a| for any sufficiently well-behaved continuous function f(x). For the first integral one has (for any a =0) ∞ 1 ∞ 1 f(x)δ(ax)dx = ± f(y/a)δ(y)dy = f(0), −∞ a −∞ |a| where the upper or lower sign choice is taken accordingly as a>0ora<0, respectively, and for the second integral one obtains ∞ 1 1 f(x) δ(x)dx = f(0). −∞ |a| |a| Comparison of these two results then shows that δ(ax)=δ(x)/|a|,aswasto be proved. ! For the special case a = −1, Eq.
Recommended publications
  • Chapter 3 Constitutive Relations
    Chapter 3 Constitutive Relations Maxwell’s equations define the fields that are generated by currents and charges. However, they do not describe how these currents and charges are generated. Thus, to find a self-consistent solution for the electromagnetic field, Maxwell’s equations must be supplemented by relations that describe the behavior of matter under the influence of fields. These material equations are known as constitutive relations. The constitutive relations express the secondary sources P and M in terms of the fields E and H, that is P = f[E] and M = f[H].1 According to Eq. (1.19) this is equivalent to D = f[E] and B = f[H]. If we expand these relations into power series ∂D 1 ∂2D D = D + E + E2 + .. (3.1) 0 ∂E 2 ∂E2 E=0 E=0 we find that the lowest-order term depends linearly on E. In most practical situ- ations the interaction of radiation with matter is weak and it suffices to truncate the power series after the linear term. The nonlinear terms come into play when the fields acting on matter become comparable to the atomic Coulomb potential. This is the territory of strong field physics. Here we will entirely focus on the linear properties of matter. 1In some exotic cases we can have P = f[E, H] and M = f[H, E], which are so-called bi- isotropic or bi-anisotropic materials. These are special cases and won’t be discussed here. 33 34 CHAPTER 3. CONSTITUTIVE RELATIONS 3.1 Linear Materials The most general linear relationship between D and E can be written as2 ∞ ∞ D(r, t) = ε ε˜(r r′, t t′) E(r′, t′) d3r′ dt′ , (3.2) 0 − − −∞Z−∞Z which states that the response D at the location r and at time t not only depends on the excitation E at r and t, but also on the excitation E in all other locations r′ and all other times t′.
    [Show full text]
  • Convolution! (CDT-14) Luciano Da Fontoura Costa
    Convolution! (CDT-14) Luciano da Fontoura Costa To cite this version: Luciano da Fontoura Costa. Convolution! (CDT-14). 2019. hal-02334910 HAL Id: hal-02334910 https://hal.archives-ouvertes.fr/hal-02334910 Preprint submitted on 27 Oct 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Convolution! (CDT-14) Luciano da Fontoura Costa [email protected] S~aoCarlos Institute of Physics { DFCM/USP October 22, 2019 Abstract The convolution between two functions, yielding a third function, is a particularly important concept in several areas including physics, engineering, statistics, and mathematics, to name but a few. Yet, it is not often so easy to be conceptually understood, as a consequence of its seemingly intricate definition. In this text, we develop a conceptual framework aimed at hopefully providing a more complete and integrated conceptual understanding of this important operation. In particular, we adopt an alternative graphical interpretation in the time domain, allowing the shift implied in the convolution to proceed over free variable instead of the additive inverse of this variable. In addition, we discuss two possible conceptual interpretations of the convolution of two functions as: (i) the `blending' of these functions, and (ii) as a quantification of `matching' between those functions.
    [Show full text]
  • The Green-Function Transform and Wave Propagation
    1 The Green-function transform and wave propagation Colin J. R. Sheppard,1 S. S. Kou2 and J. Lin2 1Department of Nanophysics, Istituto Italiano di Tecnologia, Genova 16163, Italy 2School of Physics, University of Melbourne, Victoria 3010, Australia *Corresponding author: [email protected] PACS: 0230Nw, 4120Jb, 4225Bs, 4225Fx, 4230Kq, 4320Bi Abstract: Fourier methods well known in signal processing are applied to three- dimensional wave propagation problems. The Fourier transform of the Green function, when written explicitly in terms of a real-valued spatial frequency, consists of homogeneous and inhomogeneous components. Both parts are necessary to result in a pure out-going wave that satisfies causality. The homogeneous component consists only of propagating waves, but the inhomogeneous component contains both evanescent and propagating terms. Thus we make a distinction between inhomogenous waves and evanescent waves. The evanescent component is completely contained in the region of the inhomogeneous component outside the k-space sphere. Further, propagating waves in the Weyl expansion contain both homogeneous and inhomogeneous components. The connection between the Whittaker and Weyl expansions is discussed. A list of relevant spherically symmetric Fourier transforms is given. 2 1. Introduction In an impressive recent paper, Schmalz et al. presented a rigorous derivation of the general Green function of the Helmholtz equation based on three-dimensional (3D) Fourier transformation, and then found a unique solution for the case of a source (Schmalz, Schmalz et al. 2010). Their approach is based on the use of generalized functions and the causal nature of the out-going Green function. Actually, the basic principle of their method was described many years ago by Dirac (Dirac 1981), but has not been widely adopted.
    [Show full text]
  • Approximate Separability of Green's Function for High Frequency
    APPROXIMATE SEPARABILITY OF GREEN'S FUNCTION FOR HIGH FREQUENCY HELMHOLTZ EQUATIONS BJORN¨ ENGQUIST AND HONGKAI ZHAO Abstract. Approximate separable representations of Green's functions for differential operators is a basic and an important aspect in the analysis of differential equations and in the development of efficient numerical algorithms for solving them. Being able to approx- imate a Green's function as a sum with few separable terms is equivalent to the existence of low rank approximation of corresponding discretized system. This property can be explored for matrix compression and efficient numerical algorithms. Green's functions for coercive elliptic differential operators in divergence form have been shown to be highly separable and low rank approximation for their discretized systems has been utilized to develop efficient numerical algorithms. The case of Helmholtz equation in the high fre- quency limit is more challenging both mathematically and numerically. In this work, we develop a new approach to study approximate separability for the Green's function of Helmholtz equation in the high frequency limit based on an explicit characterization of the relation between two Green's functions and a tight dimension estimate for the best linear subspace approximating a set of almost orthogonal vectors. We derive both lower bounds and upper bounds and show their sharpness for cases that are commonly used in practice. 1. Introduction Given a linear differential operator, denoted by L, the Green's function, denoted by G(x; y), is defined as the fundamental solution in a domain Ω ⊆ Rn to the partial differ- ential equation 8 n < LxG(x; y) = δ(x − y); x; y 2 Ω ⊆ R (1) : with boundary condition or condition at infinity; where δ(x − y) is the Dirac delta function denoting an impulse source point at y.
    [Show full text]
  • The Convolution Theorem
    Module 2 : Signals in Frequency Domain Lecture 18 : The Convolution Theorem Objectives In this lecture you will learn the following We shall prove the most important theorem regarding the Fourier Transform- the Convolution Theorem We are going to learn about filters. Proof of 'the Convolution theorem for the Fourier Transform'. The Dual version of the Convolution Theorem Parseval's theorem The Convolution Theorem We shall in this lecture prove the most important theorem regarding the Fourier Transform- the Convolution Theorem. It is this theorem that links the Fourier Transform to LSI systems, and opens up a wide range of applications for the Fourier Transform. We shall inspire its importance with an application example. Modulation Modulation refers to the process of embedding an information-bearing signal into a second carrier signal. Extracting the information- bearing signal is called demodulation. Modulation allows us to transmit information signals efficiently. It also makes possible the simultaneous transmission of more than one signal with overlapping spectra over the same channel. That is why we can have so many channels being broadcast on radio at the same time which would have been impossible without modulation There are several ways in which modulation is done. One technique is amplitude modulation or AM in which the information signal is used to modulate the amplitude of the carrier signal. Another important technique is frequency modulation or FM, in which the information signal is used to vary the frequency of the carrier signal. Let us consider a very simple example of AM. Consider the signal x(t) which has the spectrum X(f) as shown : Why such a spectrum ? Because it's the simplest possible multi-valued function.
    [Show full text]
  • Waves and Imaging Class Notes - 18.325
    Waves and Imaging Class notes - 18.325 Laurent Demanet Draft December 20, 2016 2 Preface In the margins of this text we use • the symbol (!) to draw attention when a physical assumption or sim- plification is made; and • the symbol ($) to draw attention when a mathematical fact is stated without proof. Thanks are extended to the following people for discussions, suggestions, and contributions to early drafts: William Symes, Thibaut Lienart, Nicholas Maxwell, Pierre-David Letourneau, Russell Hewett, and Vincent Jugnon. These notes are accompanied by computer exercises in Python, that show how to code the adjoint-state method in 1D, in a step-by-step fash- ion, from scratch. They are provided by Russell Hewett, as part of our software platform, the Python Seismic Imaging Toolbox (PySIT), available at http://pysit.org. 3 4 Contents 1 Wave equations 9 1.1 Physical models . .9 1.1.1 Acoustic waves . .9 1.1.2 Elastic waves . 13 1.1.3 Electromagnetic waves . 17 1.2 Special solutions . 19 1.2.1 Plane waves, dispersion relations . 19 1.2.2 Traveling waves, characteristic equations . 24 1.2.3 Spherical waves, Green's functions . 29 1.2.4 The Helmholtz equation . 34 1.2.5 Reflected waves . 35 1.3 Exercises . 39 2 Geometrical optics 45 2.1 Traveltimes and Green's functions . 45 2.2 Rays . 49 2.3 Amplitudes . 52 2.4 Caustics . 54 2.5 Exercises . 55 3 Scattering series 59 3.1 Perturbations and Born series . 60 3.2 Convergence of the Born series (math) . 63 3.3 Convergence of the Born series (physics) .
    [Show full text]
  • The Discrete-Time Fourier Transform and Convolution Theorems: a Brief Tutorial
    The Discrete-Time Fourier Transform and Convolution Theorems: A Brief Tutorial Yi-Wen Liu 25 Feb 2013 (Revised 21 Sep 2015) 1 Definitions and interpretation 1.1 Units Throughout this semester, we will use the integer-valued variable n as the time variable for discrete-time signal processing; that is, n = −∞, ..., −1, 0, 1, ..., ∞. In this convention, the unit of n is dimensionless, but be aware that in reality the sampling period is 1/fs, where fs denotes the sampling rate. In some text books, 1/fs is denoted as T , and its unit is second. In this course we do not do this, thereby favoring conciseness of notations. 1.2 Definition of DTFT The discrete-time Fourier transform (DTFT) of a discrete-time signal x[n] is a function of frequency ω defined as follows: ∞ ∆ X(ω) = x[n]e−jωn. (1) n=−∞ X Conceptually, the DTFT allows us to check how much of a tonal component at fre- quency ω is in x[n]. The DTFT of a signal is often also called a spectrum. Note that X(ω) is complex-valued. So, the absolute value |X(ω)| represents the tonal component’s magnitude, and the angle ∠X(ω) tells us the phase of the tonal component. Also note that Eq. (1) defines the DTFT as the inner product between the signal and the complex exponential tone e−jωn. Because complex exponentials {e−jωn,ω ∈ [−π, π]} form a complete family of orthogonal bases for (practically) all signals of interest, what Eq. (1) essentially does is to project x[n] onto the space spanned by all complex exponen- tials.
    [Show full text]
  • Summary of Wave Optics Light Propagates in Form of Waves Wave
    Summary of Wave Optics light propagates in form of waves wave equation in its simplest form is linear, which gives rise to superposition and separation of time and space dependence (interference, diffraction) waves are characterized by wavelength and frequency propagation through media is characterized by refractive index n, which describes the change in phase velocity media with refractive index n alter velocity, wavelength and wavenumber but not frequency lenses alter the curvature of wavefronts Optoelectronic, 2007 – p.1/25 Syllabus 1. Introduction to modern photonics (Feb. 26), 2. Ray optics (lens, mirrors, prisms, et al.) (Mar. 7, 12, 14, 19), 3. Wave optics (plane waves and interference) (Mar. 26, 28), 4. Beam optics (Gaussian beam and resonators) (Apr. 9, 11, 16), 5. Electromagnetic optics (reflection and refraction) (Apr. 18, 23, 25), 6. Fourier optics (diffraction and holography) (Apr. 30, May 2), Midterm (May 7-th), 7. Crystal optics (birefringence and LCDs) (May 9, 14), 8. Waveguide optics (waveguides and optical fibers) (May 16, 21), 9. Photon optics (light quanta and atoms) (May 23, 28), 10. Laser optics (spontaneous and stimulated emissions) (May 30, June 4), 11. Semiconductor optics (LEDs and LDs) (June 6), 12. Nonlinear optics (June 18), 13. Quantum optics (June 20), Final exam (June 27), 14. Semester oral report (July 4), Optoelectronic, 2007 – p.2/25 Paraxial wave approximation paraxial wave = wavefronts normals are paraxial rays U(r) = A(r)exp(−ikz), A(r) slowly varying with at a distance of λ, paraxial Helmholtz equation
    [Show full text]
  • Fourier Transforms & the Convolution Theorem
    Convolution, Correlation, & Fourier Transforms James R. Graham 11/25/2009 Introduction • A large class of signal processing techniques fall under the category of Fourier transform methods – These methods fall into two broad categories • Efficient method for accomplishing common data manipulations • Problems related to the Fourier transform or the power spectrum Time & Frequency Domains • A physical process can be described in two ways – In the time domain, by h as a function of time t, that is h(t), -∞ < t < ∞ – In the frequency domain, by H that gives its amplitude and phase as a function of frequency f, that is H(f), with -∞ < f < ∞ • In general h and H are complex numbers • It is useful to think of h(t) and H(f) as two different representations of the same function – One goes back and forth between these two representations by Fourier transforms Fourier Transforms ∞ H( f )= ∫ h(t)e−2πift dt −∞ ∞ h(t)= ∫ H ( f )e2πift df −∞ • If t is measured in seconds, then f is in cycles per second or Hz • Other units – E.g, if h=h(x) and x is in meters, then H is a function of spatial frequency measured in cycles per meter Fourier Transforms • The Fourier transform is a linear operator – The transform of the sum of two functions is the sum of the transforms h12 = h1 + h2 ∞ H ( f ) h e−2πift dt 12 = ∫ 12 −∞ ∞ ∞ ∞ h h e−2πift dt h e−2πift dt h e−2πift dt = ∫ ( 1 + 2 ) = ∫ 1 + ∫ 2 −∞ −∞ −∞ = H1 + H 2 Fourier Transforms • h(t) may have some special properties – Real, imaginary – Even: h(t) = h(-t) – Odd: h(t) = -h(-t) • In the frequency domain these
    [Show full text]
  • Fourier Analysis
    Chapter 1 Fourier analysis In this chapter we review some basic results from signal analysis and processing. We shall not go into detail and assume the reader has some basic background in signal analysis and processing. As basis for signal analysis, we use the Fourier transform. We start with the continuous Fourier transformation. But in applications on the computer we deal with a discrete Fourier transformation, which introduces the special effect known as aliasing. We use the Fourier transformation for processes such as convolution, correlation and filtering. Some special attention is given to deconvolution, the inverse process of convolution, since it is needed in later chapters of these lecture notes. 1.1 Continuous Fourier Transform. The Fourier transformation is a special case of an integral transformation: the transforma- tion decomposes the signal in weigthed basis functions. In our case these basis functions are the cosine and sine (remember exp(iφ) = cos(φ) + i sin(φ)). The result will be the weight functions of each basis function. When we have a function which is a function of the independent variable t, then we can transform this independent variable to the independent variable frequency f via: +1 A(f) = a(t) exp( 2πift)dt (1.1) −∞ − Z In order to go back to the independent variable t, we define the inverse transform as: +1 a(t) = A(f) exp(2πift)df (1.2) Z−∞ Notice that for the function in the time domain, we use lower-case letters, while for the frequency-domain expression the corresponding uppercase letters are used. A(f) is called the spectrum of a(t).
    [Show full text]
  • Modeling Optical Metamaterials with Strong Spatial Dispersion
    Fakultät für Physik Institut für theoretische Festkörperphysik Modeling Optical Metamaterials with Strong Spatial Dispersion M. Sc. Karim Mnasri von der KIT-Fakultät für Physik des Karlsruher Instituts für Technologie (KIT) genehmigte Dissertation zur Erlangung des akademischen Grades eines DOKTORS DER NATURWISSENSCHAFTEN (Dr. rer. nat.) Tag der mündlichen Prüfung: 29. November 2019 Referent: Prof. Dr. Carsten Rockstuhl (Institut für theoretische Festkörperphysik) Korreferent: Prof. Dr. Michael Plum (Institut für Analysis) KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft Erklärung zur Selbstständigkeit Ich versichere, dass ich diese Arbeit selbstständig verfasst habe und keine anderen als die angegebenen Quellen und Hilfsmittel benutzt habe, die wörtlich oder inhaltlich über- nommenen Stellen als solche kenntlich gemacht und die Satzung des KIT zur Sicherung guter wissenschaftlicher Praxis in der gültigen Fassung vom 24. Mai 2018 beachtet habe. Karlsruhe, den 21. Oktober 2019, Karim Mnasri Als Prüfungsexemplar genehmigt von Karlsruhe, den 28. Oktober 2019, Prof. Dr. Carsten Rockstuhl iv To Ouiem and Adam Thesis abstract Optical metamaterials are artificial media made from subwavelength inclusions with un- conventional properties at optical frequencies. While a response to the magnetic field of light in natural material is absent, metamaterials prompt to lift this limitation and to exhibit a response to both electric and magnetic fields at optical frequencies. Due tothe interplay of both the actual shape of the inclusions and the material from which they are made, but also from the specific details of their arrangement, the response canbe driven to one or multiple resonances within a desired frequency band. With such a high number of degrees of freedom, tedious trial-and-error simulations and costly experimen- tal essays are inefficient when considering optical metamaterials in the design of specific applications.
    [Show full text]
  • Hardy-Type Inequalities for Integral Transforms Associated with Jacobi Operator
    HARDY-TYPE INEQUALITIES FOR INTEGRAL TRANSFORMS ASSOCIATED WITH JACOBI OPERATOR M. DZIRI AND L. T. RACHDI Received 8 April 2004 and in revised form 24 December 2004 We establish Hardy-type inequalities for the Riemann-Liouville and Weyl transforms as- sociated with the Jacobi operator by using Hardy-type inequalities for a class of integral operators. 1. Introduction It is well known that the Jacobi second-order differential operator is defined on ]0,+∞[ by 1 d du 2 ∆α,βu(x) = Aα,β(x) + ρ u(x), (1.1) Aα,β(x) dx dx where 2ρ 2α+1 2β+1 (i) Aα,β(x) = 2 sinh (x)cosh (x), (ii) α,β ∈ R; α ≥ β>−1/2, (iii) ρ = α + β +1. The Riemann-Liouville and Weyl transforms associated with Jacobi operator ∆α,β are, respectively, defined, for every nonnegative measurable function f ,by x Rα,β( f )(x) = kα,β(x, y) f (y)dy, 0 ∞ (1.2) Wα,β( f )(y) = kα,β(x, y) f (x)Aα,β(x)dx, y where kα,β is the nonnegative kernel defined, for x>y>0, by −1 2 2−α+3/2Γ(α +1) cosh(2x) − cosh(2y) α / kα,β(x, y) = √ πΓ(α +1/2)coshα+β(x)sinh2α(x) (1.3) 1 cosh(x) − cosh(y) × F α + β,α − β;α + ; 2 2cosh(x) Copyright © 2005 Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences 2005:3 (2005) 329–348 DOI: 10.1155/IJMMS.2005.329 330 Hardy-type inequalities and F is the Gaussian hypergeometric function.
    [Show full text]