scispace - formally typeset
Search or ask a question

Showing papers in "The Mathematical Gazette in 1968"


Journal ArticleDOI
TL;DR: In this paper, the Navier-Stokes equation is derived for an inviscid fluid, and a finite difference method is proposed to solve the Euler's equations for a fluid flow in 3D space.
Abstract: This brief paper derives Euler’s equations for an inviscid fluid, summarizes the Cauchy momentum equation, derives the Navier-Stokes equation from that, and then talks about finite difference method approaches to solutions. Typical texts for this material are apparently Acheson, Elementary Fluid Dynamics and Landau and Lifschitz, Fluid Mechanics. 1. Basic Definitions We describe a fluid flow in three-dimensional space R as a vector field representing the velocity at all locations in the fluid. Concretely, then, a fluid flow is a function ~v : R× R → R that assigns to each point (t, ~x) in spacetime a velocity ~v(t, ~x) in space. In the special situation where ~v does not depend on t we say that the flow is steady. A trajectory or particle path is a curve ~x : R→ R such that for all t ∈ R, d dt ~x(t) = ~v(t, ~x(t)). Fix a t0 ∈ R; a streamline at time t0 is a curve ~x : R→ R such that for all t ∈ R, d dt ~x(t) = ~v(t0, ~x(t)). In the special case of steady flow the streamlines are constant across times t0 and any trajectory is a streamline. In non-steady flows, particle paths need not be streamlines. Consider the 2-dimensional example ~v = [− sin t cos t]>. At t0 = 0 the velocities all point up and the streamlines are vertical straight lines. At t0 = π/2 the velocities all point left and the streamlines are horizontal straight lines. Any trajectory is of the form ~x = [cos t + C1 sin t + C2] >; this traces out a radius-1 circle centered at [C1 C2] >. Indeed, all radius-1 circles in the plane arise as trajectories. These circles cross each other at many (in fact, all) points. If you find it counterintuitive that distinct trajectories can pass through a single point, remember that they do so at different times. 2. Acceleration Let f : R × R → R be some scalar field (such as temperature). Then ∂f/∂t is the rate of change of f at some fixed point in space. If we precompose f with a 1 Fluid Dynamics Math 211, Fall 2014, Carleton College trajectory ~x, then the chain rule gives us the rate of change of f with respect to time along that curve: D Dt f := d dt f(t, x(t), y(t), z(t)) = ∂f ∂t + ∂f ∂x dx dt + ∂f ∂y dy dt + ∂f ∂z dz dt = ( ∂ ∂t + dx dt ∂ ∂x + dy dt ∂ ∂y + dz dt ∂ ∂z ) f = ( ∂ ∂t + ~v · ∇ ) f. Intuitively, if ~x describes the trajectory of a small sensor for the quantity f (such as a thermometer), then Df/Dt gives the rate of change of the output of the sensor with respect to time. The ∂f/∂t term arises because f varies with time. The ~v ·∇f term arises because f is being measured at varying points in space. If we apply this idea to each component function of ~v, then we obtain an acceleration (or force per unit mass) vector field ~a(t, x) := D~v Dt = ∂~v ∂t + (~v · ∇)~v. That is, for any spacetime point (t, ~x), the vector ~a(t, ~x) is the acceleration of the particle whose trajectory happens to pass through ~x at time t. Let’s check that it agrees with our usual notion of acceleration. Suppose that a curve ~x describes the trajectory of a particle. The acceleration should be d dt d dt~x. By the definition of trajectory, d dt d dt ~x = d dt ~v(t, ~x(t)). The right-hand side is precisely D~v/Dt. Returning to our 2-dimensional example ~v = [− sin t cos t]>, we have ~a = [− cos t − sin t]>. Notice that ~v · ~a = 0. This is the well-known fact that in constant-speed circular motion the centripetal acceleration is perpendicular to the velocity. (In fact, the acceleration of any constant-speed trajectory is perpendicular to its velocity.) 3. Ideal Fluids An ideal fluid is one of constant density ρ, such that for any surface within the fluid the only stresses on the surface are normal. That is, there exists a scalar field p : R × R → R, called the pressure, such that for any surface element ∆S with outward-pointing unit normal vector ~n, the force exerted by the fluid inside ∆S on the fluid outside ∆S is p~n ∆S. The constant density condition implies that the fluid is incompressible, meaning ∇ · ~v = 0, as follows. For any region of space R, the rate of flow of mass out of the region is ∫∫ ∂R ρ~v · ~n dS = ∫∫∫

9,804 citations




Journal ArticleDOI
TL;DR: The search for the right components, and the right way to build the form up from these components, is the greatest challenge faced by the modern, selfconscious designer.
Abstract: Every design problem begins with an effort to achieve fitness between two entities: the form in question and its context. The form is the solution to the problem; the context defines the problem. We want to put the context and the form into effortless contact or frictionless coexistence, i.e., we want to find a good fit. For a good fit to occur in practice, one vital condition must be satisfied. It must have time to happen. In slow-changing, traditional, unselfconscious cultures, a form is adjusted soon after each slight misfit occurs. If there was good fit at some stage in the past, no matter how removed, it will have persisted, because there is an active stability at work. Tradition and taboo dampen and control the rate of change in an unselfconscious culture's designs. It is important to understand that the individual person in an unselfconscious culture needs no creative strength. He does not need to be able to improve the form, only to make some sort of change when he notices a failure. The changes may not always be for the better; but it is not necessary that they should be, since the operation of the process allows only the improvements to persist. Unselfconscious design is a process of slow adaptation and error reduction. In the unselfconscious process there is no possibility of misconstruing the situation. Nobody makes a picture of the context, so the picture cannot be wrong. But the modern, selfconscious designer works entirely from a picture in his mind - a conceptualization of the forces at work and their interrelationships - and this picture is almost always wrong. To achieve in a few hours at the drawing board what once took centuries of adaptation and development, to invent a form suddenly which clearly fits its context - the extent of invention necessary is beyond the individual designer. A designer who sets out to achieve an adaptive good fit in a single leap is not unlike the child who shakes his glass-topped puzzle fretfully, expecting at one shake to arrange the bits inside correctly. The designer's attempt is hardly as random as the child's is; but the difficulties are the same. His chances of success are small because the number of factors which must fall simultaneously into place is so enormous. The process of design, even when it has become selfconscious, remains a process of error-reduction. No complex system will succeed in adapting in a reasonable amount of time or effort unless the adaptation can proceed component by component, each component relatively independent of the others. The search for the right components, and the right way to build the form up from these components, is the greatest challenge faced by the modern, selfconscious designer. The culmination of the modern designer's task is to make every unit of design both a component and a system. As a component it will fit into the hierarchy of larger components that are above it; as a system it will specify the hierarchy of smaller components of which it itself is made.

183 citations


Journal ArticleDOI
TL;DR: In this paper, the Riesz representation theorem is used to describe the regularity properties of Borel measures and their relation to the Radon-Nikodym theorem of continuous functions.
Abstract: Preface Prologue: The Exponential Function Chapter 1: Abstract Integration Set-theoretic notations and terminology The concept of measurability Simple functions Elementary properties of measures Arithmetic in [0, ] Integration of positive functions Integration of complex functions The role played by sets of measure zero Exercises Chapter 2: Positive Borel Measures Vector spaces Topological preliminaries The Riesz representation theorem Regularity properties of Borel measures Lebesgue measure Continuity properties of measurable functions Exercises Chapter 3: Lp-Spaces Convex functions and inequalities The Lp-spaces Approximation by continuous functions Exercises Chapter 4: Elementary Hilbert Space Theory Inner products and linear functionals Orthonormal sets Trigonometric series Exercises Chapter 5: Examples of Banach Space Techniques Banach spaces Consequences of Baire's theorem Fourier series of continuous functions Fourier coefficients of L1-functions The Hahn-Banach theorem An abstract approach to the Poisson integral Exercises Chapter 6: Complex Measures Total variation Absolute continuity Consequences of the Radon-Nikodym theorem Bounded linear functionals on Lp The Riesz representation theorem Exercises Chapter 7: Differentiation Derivatives of measures The fundamental theorem of Calculus Differentiable transformations Exercises Chapter 8: Integration on Product Spaces Measurability on cartesian products Product measures The Fubini theorem Completion of product measures Convolutions Distribution functions Exercises Chapter 9: Fourier Transforms Formal properties The inversion theorem The Plancherel theorem The Banach algebra L1 Exercises Chapter 10: Elementary Properties of Holomorphic Functions Complex differentiation Integration over paths The local Cauchy theorem The power series representation The open mapping theorem The global Cauchy theorem The calculus of residues Exercises Chapter 11: Harmonic Functions The Cauchy-Riemann equations The Poisson integral The mean value property Boundary behavior of Poisson integrals Representation theorems Exercises Chapter 12: The Maximum Modulus Principle Introduction The Schwarz lemma The Phragmen-Lindelof method An interpolation theorem A converse of the maximum modulus theorem Exercises Chapter 13: Approximation by Rational Functions Preparation Runge's theorem The Mittag-Leffler theorem Simply connected regions Exercises Chapter 14: Conformal Mapping Preservation of angles Linear fractional transformations Normal families The Riemann mapping theorem The class L Continuity at the boundary Conformal mapping of an annulus Exercises Chapter 15: Zeros of Holomorphic Functions Infinite Products The Weierstrass factorization theorem An interpolation problem Jensen's formula Blaschke products The Muntz-Szas theorem Exercises Chapter 16: Analytic Continuation Regular points and singular points Continuation along curves The monodromy theorem Construction of a modular function The Picard theorem Exercises Chapter 17: Hp-Spaces Subharmonic functions The spaces Hp and N The theorem of F. and M. Riesz Factorization theorems The shift operator Conjugate functions Exercises Chapter 18: Elementary Theory of Banach Algebras Introduction The invertible elements Ideals and homomorphisms Applications Exercises Chapter 19: Holomorphic Fourier Transforms Introduction Two theorems of Paley and Wiener Quasi-analytic classes The Denjoy-Carleman theorem Exercises Chapter 20: Uniform Approximation by Polynomials Introduction Some lemmas Mergelyan's theorem Exercises Appendix: Hausdorff's Maximality Theorem Notes and Comments Bibliography List of Special Symbols Index

182 citations


Journal ArticleDOI
TL;DR: Ordinary Differential Equations as discussed by the authors is an outgrowth of courses taught for a number of years at Iowa State University in the mathematics and the electrical engineering departments, and is intended as a text for a first graduate course in differential equations for students in mathematics, engineering, and the sciences.
Abstract: Ordinary Differential Equations is an outgrowth of courses taught for a number of years at Iowa State University in the mathematics and the electrical engineering departments. It is intended as a text for a first graduate course in differential equations for students in mathematics, engineering, and the sciences. Although differential equations is an old, traditional, and well-established subject, the diverse backgrounds and interests of the students in a typical modern-day course cause problems in the selection and method of presentation of material. In order to compensate for this diversity, prerequisites have been kept to a minimum and the material is covered in such a way as to be appealing to a wide audience. The book contains eight chapters and begins with an introduction the subject and a discussion of some important examples of differential equations that arise in science and engineering. Separate chapters follow on the fundamental theory of linear and nonlinear differential equations; linear boundary value problems; Lyapunov stability theory; and perturbations of linear systems. Subsequent chapters deal with the Poincare-Bendixson theory and with two-dimensional van der Pol type equations; and periodic solutions of general order systems.

124 citations














Journal ArticleDOI
TL;DR: It is observed that in the case where n isnotequal to a nonnegative integer, aversion of the Multinomial Expansion may be derived by an iterative argument which makes no reference to theMultinomial Theorem for a non negative integral exponent.
Abstract: The Multinomial Expansion for the case of a nonnegative integral exponent n can be derived by an argument which involves the combinatorial significance of the multinomial coefficients. In the case of an arbitrary exponent n these combinatorial techniques break down. Here the derivation may be carried out by employment of the Binomial Theorem for an arbitrary exponent coupled with the Multinomial Theorem for a nonnegative integral exponent. See, for example, Chrystal [1] for these details. We have observed (Hilliker [6]) that in the case where n isnotequal to a nonnegative integer, aversion of the Multinomial Expansion may be derived by an iterative argument which makes no reference to the Multinomial Theorem for a nonnegative integral exponent. In this note we shall continue our sequence of expositions of the Binomial Theorem, the Multinomial Theorem, and various Multinomial Expansions (Hilliker [2 ] , [3 ] , [4 ] , [5] , [6] , [7]) by making the observation that this iterative argument can be modified to cover the nonnegative integral case:





Journal ArticleDOI
TL;DR: The Generalized Gauss Function (GGF) as discussed by the authors is a generalized version of the Gauss function that can be used to compute the generalized Gauss functions (GFG).
Abstract: 1. The Gauss Function 2. The Generalized Gauss Function 3. Basic Hypergeometric Functions 4. Hypergeometric Integrals 5. Basic Hypergeometric Integrals 6. Bilateral Series 7. Basic Bilateral Series 8. Appell Series 9. Basic Appell Series.