DOCSLIB.ORG

Appendix: Calculus of Variations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Appendix: Calculus of Variations Appendix: Calculus of Variations Jianzhong Wu This appendix provides a very brief, first-line introduction to calculus of variations, an extension of multivariable calculus that was first introduced by Leonhard Euler in 1733. The background material is expected to be sufficient for those who are mainly interested in application rather than mathematical development of variational methods for molecular modeling. To get a more comprehensive understanding of this fascinating subject, the reader is referred to standard texts of mathematical physics such as: 1. Mathematical Methods of Physics, J. Mathews and R. L. Walker, Addison-Wesley, 1970. 2. Calculus of Variations, I. M. Gelfand and S. V. Fomin, Dover Books on Mathe- matics, 2000. 3. Variational Methods in Mathematical Physics, P. Blanchard and E. Brüning, Springer- Verlag, 1992. A.1 Functional A functional is an extension of what we mean by a multivariable function. When we write a multivariable function f (z), where z is an n-dimensional variable, we mean = ( , ,..., ) ( ) that for each set of numbers z z1 z2 zn , there is a number f z associated ( ) = 2 = n 2 with it. Simple examples of multivariable functions are f z z i=1 zi or f (z) = a · z, where a is an n-dimensional vector. When we write a functional, F[y], we mean that for each smooth (differentiable) function y(x), there is a number F[y] related to it. In other words, a functional maps a function into a number, or a functional is a function of functions. The integral [ ]= 1 ( ) F y 0 y x dx provides a simple example of functionals. For each smooth function y(x), its integration from 0 to 1 yields a number. While the “input” of a © Springer Science+Business Media Singapore 2017 315 J. Wu (ed.), Variational Methods in Molecular Modeling, Molecular Modeling and Simulation, DOI 10.1007/978-981-10-2502-0 316 Appendix: Calculus of Variations (a) (b) Fig. A.1 While the input for a multidimensional function is a vector, the input for a functional is a smooth function y(x). a An n-dimensional vector z contains a set of numbers affiliated with its dimensionality; b A one-dimensional function y(x) may be understood as a vector of infinite dimensionality multivariable function is an n-dimensional vector, the “input” for a functional is a function. By comparing the similarity between a function and a vector, we see that a functional is a function of infinite dimensionality. Schematically, Fig.A.1 illustrates the difference between the inputs for a multi-dimensional function and a functional. A.2 Variational Problem To illustrate how a functional can be used to solve a realistic problem, consider the time required for a ball to fall along some frictionless path with two ends fixed at positions A and B, as indicated in Fig. A.2. For simplicity, assume that the path is two-dimensional and that it can be described by a smooth function y = y(x).Let t denote the time required for the ball to go from A to B along a frictionless path. What path y(x) should be chosen to make t a minimum? Fig. A.2 Calculus of variations can be used to identify a frictionless path that yields the shortest traveling time for a ball falling from point A to B Appendix: Calculus of Variations 317 For convenience, we put point A at the origin of a coordinate system and measure y downward. At any instant, the ball speed is ds v = , (A.1) dt where v denotes the magnitude of speed, s represents the length along the path, and t is time. Rearrangement of Eq. (A.1)gives ds dt = , v (A.2) and thus the total traveling time is B ds t = . (A.3) A v The differential length of the path ds is ds = 1 + y2dx, (A.4) where y = dy/dx represents the slope of the path. Because the ball starts at point A, conservation of energy requires that at any vertical distance y, the loss of potential energy per unit mass at y is equal to the gain in the kinetic energy per unit mass, i.e., gy = v2/2(A.5) where g stands for the gravity constant. Substituting Eqs. (A.4) and (A.5)into Eq. (A.3)gives x f 1 + y2 t = dx. (A.6) 0 2gy Equation(A.6) indicates that the total time t can be found if we know y as a function of x. For any path with ends fixed at A(0, 0) and B(x f , y f ), there is a corresponding time for the ball to travel from A to B. Therefore, the total traveling time is a functional of path y(x), that is, t = F[y(x)]. The essential problem in calculus of variations is functional minimization,1 i.e., to find a function that minimizes a given functional. In the above example, we want to know the path y(x) with two ends fixed at A and B that gives the minimum descent time. To answer this question, we need to know how a functional responds to a change in its “input”, where the “input” is not an ordinary variable, but a function. 1Functional maximization can be concerted to minimization by trivially adding a negative sign. 318 Appendix: Calculus of Variations A.3 Functional Derivative To obtain the unknown function that minimizes a functional, we use functional dif- ferentiation as discussed below. It is not much different from the partial derivative used in finding the minimum of a multidimensional function. The variation of a functional with respect to its “input” is described by a functional derivative: δ [ ( )] [ ( ) + εδ( − )]− [ ( )] F y x ≡ F y x x x F y x lim δy(x ) ε→0 ε F[y + εδ]−F[y] = lim δ (A.7) ε→0 εδ dF[y] = δ(x − x) dy where ε is a real number, and δ(x − x) stands for the Dirac delta function. As shown in Fig. A.3, the Dirac function δ(x − x0) represents a generalized probability density that is normalized and has a value of infinite at x = x0. According to Eq. (A.7), the functional derivative δF[y(x)]/δy(x) can be understood as the change in functional F[y(x)] with respect to a change in the input function y(x) at the point x = x. Because the functional derivative is in general dependent on x, δF[y(x)]/δy(x) is a function of x. The functional derivative defined above can be similarly applied to a function. Suppose f (y) is a function of y, its functional derivative with respect to y is δ f (y) = f (y)δ(x − x). (A.8) δy(x) In a special case f (y) = y,wehave δy(x) = δ(x − x). (A.9) δy(x) Equation(A.9) says that the functional derivative of a function with respect to itself is a Dirac delta function. Fig. A.3 One-dimensional Dirac function δ(x − x0) represents a probability density that is everywhere zero except at x = x0 where it is infinite (∞) Appendix: Calculus of Variations 319 Functional derivative may be considered as a natural extension of a partial deriva- tive of a multivariable function to infinite dimensionality. To see this, consider again a multivariable function f (z), where z stands for an n-dimensional vector. Partial derivative ∂ f/∂zi describes the change in f (z) with respect to an infinitesimal change in the ith dimension of z while keeping all other dimensions unchanged, i.e., n ∂ f ∂ f df = δ dz = dz . (A.10) ∂z ij i ∂z i j=1 i i where δij stands for the Kronecker delta function, i.e., δij = 1fori = j and zero otherwise. Similarly, the change of a functional with respect to its “input” (function) at a point x can be written as dF dF δF = dx δ(x − x )δy = δy . (A.11) dy dy x Comparing Eqs. (A.10) and (A.11), we see that the variable x can be understood as a continuous index of function y(x), similar to ias an index of vector z. As all partial derivatives of a multi-dimensional function vanish at the minimum point, a functional F[y] reaches an minimum when δF[y(x)] = 0(A.12) δy(x) for all values of x. A.4 Chain Rules of Functional Derivative A functional derivative obeys chain rules similar to those for a partial derivative. For example, the chain rule of a partial derivative of a multivariable function f (z) can be written as ∂ f {g(z)} n ∂ f ∂g = j , (A.13) ∂z ∂g ∂z i j=1 j i where g(z) is an n-dimensional function of vector z. The analogous chain rule for a functional derivative is δF{G[y(x)]} δF δG(x) = dx , (A.14) δy(x) δG(x) δy(x) where the summation of discrete indices in Eq. (A.13) is replaced by an integral over the continuous indices. In particular, if F[y(x)]=y(x),wehave 320 Appendix: Calculus of Variations δy(x) δG(x) δ(x − x) = dx . (A.15) δG(x) δy(x) Equation(A.15) represents a general relation between the reciprocals of functional derivatives. It can be shown that the functional derivative of a function is commutable with a normal derivative, i.e., δ(df/dx) d δ f = (A.16) δy dx δy where both f and g are functions of x. In a special case, the functional derivative of y(x) is δ dy(x) d δy(x) dδ(x − x) = = .
Load more

Recommended publications
  • The Divergence As the Rate of Change in Area Or Volume
    The divergence as the rate of change in area or volume Here we give a very brief sketch of the following fact, which should be familiar to you from multivariable calculus: If a region D of the plane moves with velocity given by the vector field V (x; y) = (f(x; y); g(x; y)); then the instantaneous rate of change in the area of D is the double integral of the divergence of V over D: ZZ ZZ rate of change in area = r · V dA = fx + gy dA: D D (An analogous result is true in three dimensions, with volume replacing area.) To see why this should be so, imagine that we have cut D up into a lot of little pieces Pi, each of which is rectangular with width Wi and height Hi, so that the area of Pi is Ai ≡ HiWi. If we follow the vector field for a short time ∆t, each piece Pi should be “roughly rectangular”. Its width would be changed by the the amount of horizontal stretching that is induced by the vector field, which is difference in the horizontal displacements of its two sides. Thisin turn is approximated by the product of three terms: the rate of change in the horizontal @f component of velocity per unit of displacement ( @x ), the horizontal distance across the box (Wi), and the time step ∆t. Thus ! @f ∆W ≈ W ∆t: i @x i See the figure below; the partial derivative measures how quickly f changes as you move horizontally, and Wi is the horizontal distance across along Pi, so the product fxWi measures the difference in the horizontal components of V at the two ends of Wi.
    [Show full text]
  • Multivariable Calculus Workbook Developed By: Jerry Morris, Sonoma State University
    Multivariable Calculus Workbook Developed by: Jerry Morris, Sonoma State University A Companion to Multivariable Calculus McCallum, Hughes-Hallett, et. al. c Wiley, 2007 Note to Students: (Please Read) This workbook contains examples and exercises that will be referred to regularly during class. Please purchase or print out the rest of the workbook before our next class and bring it to class with you every day. 1. To Purchase the Workbook. Go to the Sonoma State University campus bookstore, where the workbook is available for purchase. The copying charge will probably be between $10.00 and $20.00. 2. To Print Out the Workbook. Go to the Canvas page for our course and click on the link \Math 261 Workbook", which will open the file containing the workbook as a .pdf file. BE FOREWARNED THAT THERE ARE LOTS OF PICTURES AND MATH FONTS IN THE WORKBOOK, SO SOME PRINTERS MAY NOT ACCURATELY PRINT PORTIONS OF THE WORKBOOK. If you do choose to try to print it, please leave yourself enough time to purchase the workbook before our next class in case your printing attempt is unsuccessful. 2 Sonoma State University Table of Contents Course Introduction and Expectations .............................................................3 Preliminary Review Problems ........................................................................4 Chapter 12 { Functions of Several Variables Section 12.1-12.3 { Functions, Graphs, and Contours . 5 Section 12.4 { Linear Functions (Planes) . 11 Section 12.5 { Functions of Three Variables . 14 Chapter 13 { Vectors Section 13.1 & 13.2 { Vectors . 18 Section 13.3 & 13.4 { Dot and Cross Products . 21 Chapter 14 { Derivatives of Multivariable Functions Section 14.1 & 14.2 { Partial Derivatives .
    [Show full text]
  • Multivariable and Vector Calculus
    Multivariable and Vector Calculus Lecture Notes for MATH 0200 (Spring 2015) Frederick Tsz-Ho Fong Department of Mathematics Brown University Contents 1 Three-Dimensional Space ....................................5 1.1 Rectangular Coordinates in R3 5 1.2 Dot Product7 1.3 Cross Product9 1.4 Lines and Planes 11 1.5 Parametric Curves 13 2 Partial Differentiations ....................................... 19 2.1 Functions of Several Variables 19 2.2 Partial Derivatives 22 2.3 Chain Rule 26 2.4 Directional Derivatives 30 2.5 Tangent Planes 34 2.6 Local Extrema 36 2.7 Lagrange’s Multiplier 41 2.8 Optimizations 46 3 Multiple Integrations ........................................ 49 3.1 Double Integrals in Rectangular Coordinates 49 3.2 Fubini’s Theorem for General Regions 53 3.3 Double Integrals in Polar Coordinates 57 3.4 Triple Integrals in Rectangular Coordinates 62 3.5 Triple Integrals in Cylindrical Coordinates 67 3.6 Triple Integrals in Spherical Coordinates 70 4 Vector Calculus ............................................ 75 4.1 Vector Fields on R2 and R3 75 4.2 Line Integrals of Vector Fields 83 4.3 Conservative Vector Fields 88 4.4 Green’s Theorem 98 4.5 Parametric Surfaces 105 4.6 Stokes’ Theorem 120 4.7 Divergence Theorem 127 5 Topics in Physics and Engineering .......................... 133 5.1 Coulomb’s Law 133 5.2 Introduction to Maxwell’s Equations 137 5.3 Heat Diffusion 141 5.4 Dirac Delta Functions 144 1 — Three-Dimensional Space 1.1 Rectangular Coordinates in R3 Throughout the course, we will use an ordered triple (x, y, z) to represent a point in the three dimensional space.
    [Show full text]
  • Funaional Integration for Solving the Schroedinger Equation
    Comitato Nazionale Energia Nucleare Funaional Integration for Solving the Schroedinger Equation A. BOVE. G. FANO. A.G. TEOLIS RT/FIMÀ(7$ Comitato Nazionale Energia Nucleare Funaional Integration for Solving the Schroedinger Equation A. BOVE, G.FANO, A.G.TEOLIS 3 1. INTRODUCTION Vesto pervenuto il 2 agosto 197) It ia well-known (aee e.g. tei. [lj - |3| ) that the infinite-diaeneional r«nctional integration ia a powerful tool in all the evolution processes toth of the type of the heat -tanefer or Scbroediager equation. Since the 'ieid of applications of functional integration ia rapidly increasing, it *«*ae dcairahle to study the «stood from the nuaerical point of view, at leaat in siaple caaea. Such a orograa baa been already carried out by Cria* and Scorer (ace ref. |«| - |7| ), via Monte-Carlo techniques. We use extensively an iteration aethod which coneiecs in successively squa£ ing < denaicy matrix (aee Eq.(9)), since in principle ic allows a great accuracy. This aetbod was used only tarely before (aee ref. |4| ). Fur- chersjore we give an catiaate of che error (e«e Eqs. (U),(26)) boch in Che caaa of Wiener and unleabeck-Ometein integral. Contrary to the cur­ rent opinion (aae ref. |13| ), we find that the last integral ia too sen­ sitive to the choice of the parameter appearing in the haraonic oscilla­ tor can, in order to be useful except in particular caaea. In this paper we study the one-particle spherically sysssetric case; an application to the three nucleon probUa is in progress (sea ref. |U| ). St»wp«wirìf^m<'oUN)p^woMG>miutoN«i»OMtop«fl'Ht>p>i«Wi*faif»,Piijl(Mi^fcri \ptt,mt><r\A, i uwh P.ei#*mià, Uffcio Eanfeai SaMfiM», " ~ Hot*, Vi.1.
    [Show full text]
  • Calculus Terminology
    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
    [Show full text]
  • НОВОСИБИРСК Budker Institute of Nuclear Physics, 630090 Novosibirsk, Russia
    ИНСТИТУТ ЯДЕРНОЙ ФИЗИКИ им. Г.И. Будкера СО РАН Sudker Institute of Nuclear Physics P.G. Silvestrcv CONSTRAINED INSTANTON AND BARYON NUMBER NON­CONSERVATION AT HIGH ENERGIES BIJ'DKERINP «2­92 НОВОСИБИРСК Budker Institute of Nuclear Physics, 630090 Novosibirsk, Russia P.G.SUvestrov CONSTRAINED INSTANTON AND BARYON NUMBER NON-CONSERVATION AT HIGH ENERGIES BUDKERINP 92-92 NOVOSIBIRSK 1992 Constrained Instanton and Baryon Number Non­Conservation at High Energies P.G.Silvestrov1 Budker Institute of Nuclear Physics, 630090 Novosibirsk, Russia Abstract The total cross ­ section for baryon number violating processes at high energies is usually parametrized as <r«,toi oe exp(—.F(e)), where 5 = Л/З/EQ EQ = у/^ттпш/tx. In the present paper the third nontrivial term of the expansion is obtain^. The unknown corrections to F{e) are expected to be of 8 3 2 the order of c ' , but have neither (mhfmw) , nor log(e) enhance­ ment. The .total cross ­ section is extremely sensitive to the value of single Instanton action. The correction to Instanton action A5 ~ (mp)* log(mp)/</2 is found (p is the Instanton radius). For sufficiently heavy Higgs boson the p­dependent part of the Instanton action is changed drastically, in this case even the leading contribution to F(e), responsible for a growth of cross ­ section due to the multiple produc­ tion of classical W­bosons, is changed: ©Budker Institute of Nuclear Physics 'е­таЦ address! PStt.VESTBOV®INP.NSK.SU 1 Introduction A few years ago it was recognized, that the total cross­section for baryon 1БЭ number violating processes, which is small like ехр(­4т/а) as 10~ [1] 2 (where a = р /(4тг)) at low energies, may become unsuppressed at TeV energies [2, 3, 4].
    [Show full text]
  • MULTIVARIABLE CALCULUS Sample Midterm Problems October 1, 2009 INSTRUCTOR: Anar Akhmedov
    MULTIVARIABLE CALCULUS Sample Midterm Problems October 1, 2009 INSTRUCTOR: Anar Akhmedov 1. Let P (1, 0, 3), Q(0, 2, 4) and R(4, 1, 6) be points. − − − (a) Find the equation of the plane through the points P , Q and R. (b) Find the area of the triangle with vertices P , Q and R. Solution: The vector P~ Q P~ R = < 1, 2, 1 > < 3, 1, 9 > = < 17, 6, 5 > is the normal vector of this plane,× so equation− of− the− plane× is 17(x 1)+6(y −0)+5(z + 3) = 0, which simplifies to 17x 6y 5z = 32. − − − − − Area = 1 P~ Q P~ R = 1 < 1, 2, 1 > < 3, 1, 9 > = √350 2 | × | 2 | − − − × | 2 2. Let f(x, y)=(x y)3 +2xy + x2 y. Find the linear approximation L(x, y) near the point (1, 2). − − 2 2 2 2 Solution: fx = 3x 6xy +3y +2y +2x and fy = 3x +6xy 3y +2x 1, so − − − − fx(1, 2) = 9 and fy(1, 2) = 2. Then the linear approximation of f at (1, 2) is given by − L(x, y)= f(1, 2)+ fx(1, 2)(x 1) + fy(1, 2)(y 2)=2+9(x 1)+( 2)(y 2). − − − − − 3. Find the distance between the parallel planes x +2y z = 1 and 3x +6y 3z = 3. − − − Use the following formula to find the distance between the given parallel planes ax0+by0+cz0+d D = | 2 2 2 | . Use a point from the second plane (for example (1, 0, 0)) as (x ,y , z ) √a +b +c 0 0 0 and the coefficents from the first plane a = 1, b = 2, c = 1, and d = 1.
    [Show full text]
  • Math 56A: Introduction to Stochastic Processes and Models
    Math 56a: Introduction to Stochastic Processes and Models Kiyoshi Igusa, Mathematics August 31, 2006 A stochastic process is a random process which evolves with time. The basic model is the Markov chain. This is a set of “states” together with transition probabilities from one state to another. For example, in simple epidemic models there are only two states: S = “susceptible” and I = “infected.” The probability of going from S to I increases with the size of I. In the simplest model The S → I probability is proportional to I, the I → S probability is constant and time is discrete (for example, events happen only once per day). In the corresponding deterministic model we would have a first order recursion. In a continuous time Markov chain, transition events can occur at any time with a certain prob- ability density. The corresponding deterministic model is a first order differential equation. This includes the “general stochastic epidemic.” The number of states in a Markov chain is either finite or countably infinite. When the collection of states becomes a continuum, e.g., the price of a stock option, we no longer have a “Markov chain.” We have a more general stochastic process. Under very general conditions we obtain a Wiener process, also known as Brownian motion. The mathematics of hedging implies that stock options should be priced as if they are exactly given by this process. Ito’s formula explains how to calculate (or try to calculate) stochastic integrals which give the long term expected values for a Wiener process. This course will be a theoretical mathematics course.
    [Show full text]
  • Stokes' Theorem
    V13.3 Stokes’ Theorem 3. Proof of Stokes’ Theorem. We will prove Stokes’ theorem for a vector field of the form P (x, y, z) k . That is, we will show, with the usual notations, (3) P (x, y, z) dz = curl (P k ) · n dS . � C � �S We assume S is given as the graph of z = f(x, y) over a region R of the xy-plane; we let C be the boundary of S, and C ′ the boundary of R. We take n on S to be pointing generally upwards, so that |n · k | = n · k . To prove (3), we turn the left side into a line integral around C ′, and the right side into a double integral over R, both in the xy-plane. Then we show that these two integrals are equal by Green’s theorem. To calculate the line integrals around C and C ′, we parametrize these curves. Let ′ C : x = x(t), y = y(t), t0 ≤ t ≤ t1 be a parametrization of the curve C ′ in the xy-plane; then C : x = x(t), y = y(t), z = f(x(t), y(t)), t0 ≤ t ≤ t1 gives a corresponding parametrization of the space curve C lying over it, since C lies on the surface z = f(x, y). Attacking the line integral first, we claim that (4) P (x, y, z) dz = P (x, y, f(x, y))(fxdx + fydy) . � C � C′ This looks reasonable purely formally, since we get the right side by substituting into the left side the expressions for z and dz in terms of x and y: z = f(x, y), dz = fxdx + fydy.
    [Show full text]
  • Supersymmetric Path Integrals
    Communications in Commun. Math. Phys. 108, 605-629 (1987) Mathematical Physics © Springer-Verlag 1987 Supersymmetric Path Integrals John Lott* Department of Mathematics, Harvard University, Cambridge, MA 02138, USA Abstract. The supersymmetric path integral is constructed for quantum mechanical models on flat space as a supersymmetric extension of the Wiener integral. It is then pushed forward to a compact Riemannian manifold by means of a Malliavin-type construction. The relation to index theory is discussed. Introduction An interesting new branch of mathematical physics is supersymmetry. With the advent of the theory of superstrings [1], it has become important to analyze the quantum field theory of supersymmetric maps from R2 to a manifold. This should probably be done in a supersymmetric way, that is, based on the theory of supermanifolds, and in a space-time covariant way as opposed to the Hamiltonian approach. Accordingly, one wishes to make sense of supersymmetric path integrals. As a first step we study a simpler case, that of supersymmetric maps from R1 to a manifold, which gives supersymmetric quantum mechanics. As Witten has shown, supersymmetric quantum mechanics is related to the index theory of differential operators [2]. In this particular case of a supersymmetric field theory, the Witten index, which gives a criterion for dynamical supersymmetry breaking, is the ordinary index of a differential operator. If one adds the adjoint to the operator and takes the square, one obtains the Hamiltonian of the quantum mechanical theory. These indices can be formally computed by supersymmetric path integrals. For example, the Euler characteristic of a manifold M is supposed to be given by integrating e~L, with * Research supported by an NSF postdoctoral fellowship Current address: IHES, Bures-sur-Yvette, France 606 J.
    [Show full text]
  • The Uncertainty Principle: Group Theoretic Approach, Possible Minimizers and Scale-Space Properties
    The Uncertainty Principle: Group Theoretic Approach, Possible Minimizers and Scale-Space Properties Chen Sagiv1, Nir A. Sochen1, and Yehoshua Y. Zeevi2 1 Department of Applied Mathematics University of Tel Aviv Ramat-Aviv, Tel-Aviv 69978, Israel [email protected],[email protected] 2 Department of Electrical engineering Technion - Israel Institute of Technology Technion City, Haifa 32000, Israel [email protected] Abstract. The uncertainty principle is a fundamental concept in the context of signal and image processing, just as much as it has been in the framework of physics and more recently in harmonic analysis. Un- certainty principles can be derived by using a group theoretic approach. This approach yields also a formalism for finding functions which are the minimizers of the uncertainty principles. A general theorem which associates an uncertainty principle with a pair of self-adjoint operators is used in finding the minimizers of the uncertainty related to various groups. This study is concerned with the uncertainty principle in the context of the Weyl-Heisenberg, the SIM(2), the Affine and the Affine-Weyl- Heisenberg groups. We explore the relationship between the two-dimensional affine group and the SIM(2) group in terms of the uncertainty minimizers. The uncertainty principle is also extended to the Affine-Weyl-Heisenberg group in one dimension. Possible minimizers related to these groups are also presented and the scale-space properties of some of the minimizers are explored. 1 Introduction Various applications in signal and image processing call for deployment of a filter bank. The latter can be used for representation, de-noising and edge en- hancement, among other applications.
    [Show full text]
  • Functional Integration and the Mind
    Synthese (2007) 159:315–328 DOI 10.1007/s11229-007-9240-3 Functional integration and the mind Jakob Hohwy Published online: 26 September 2007 © Springer Science+Business Media B.V. 2007 Abstract Different cognitive functions recruit a number of different, often over- lapping, areas of the brain. Theories in cognitive and computational neuroscience are beginning to take this kind of functional integration into account. The contributions to this special issue consider what functional integration tells us about various aspects of the mind such as perception, language, volition, agency, and reward. Here, I consider how and why functional integration may matter for the mind; I discuss a general the- oretical framework, based on generative models, that may unify many of the debates surrounding functional integration and the mind; and I briefly introduce each of the contributions. Keywords Functional integration · Functional segregation · Interconnectivity · Phenomenology · fMRI · Generative models · Predictive coding 1 Introduction Across the diverse subdisciplines of the mind sciences, there is a growing awareness that, in order to properly understand the brain as the basis of the mind, our theorising and experimental work must to a higher degree incorporate the fact that activity in the brain, at the level of individual neurons, over neural populations, to cortical areas, is characterised by massive interconnectivity. In brain imaging science, this represents a move away from ‘blob-ology’, with a focus on local areas of activity, and towards functional integration, with a focus on the functional and dynamic causal relations between areas of activity. Similarly, in J. Hohwy (B) Department of Philosophy, Monash University, Clayton, VIC 3800, Australia e-mail: [email protected] 123 316 Synthese (2007) 159:315–328 theoretical neuroscience there is a renewed focus on the computational significance of the interaction between bottom-up and top-down neural signals.
    [Show full text]