DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS

Similar documents
MA2223 Tutorial solutions Part 1. Metric spaces

Metric Spaces and Topology

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm

FIXED POINT METHODS IN NONLINEAR ANALYSIS

Take-Home Final Examination of Math 55a (January 17 to January 23, 2004)

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

USING THE RANDOM ITERATION ALGORITHM TO CREATE FRACTALS

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Dynamical Systems. 1.0 Ordinary Differential Equations. 2.0 Dynamical Systems

Some Background Material

Mathematical Analysis Outline. William G. Faris

The Heine-Borel and Arzela-Ascoli Theorems

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Richard S. Palais Department of Mathematics Brandeis University Waltham, MA The Magic of Iteration

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

LMI Methods in Optimal and Robust Control

On Existence and Uniqueness of Solutions of Ordinary Differential Equations

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Problem Set 5: Solutions Math 201A: Fall 2016

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

1 The Existence and Uniqueness Theorem for First-Order Differential Equations

Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

Math 117: Continuity of Functions

An introduction to Mathematical Theory of Control

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Fixed Point Theorem and Sequences in One or Two Dimensions

ANALYSIS WORKSHEET II: METRIC SPACES

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

Economics 205 Exercises

CLEP Calculus. Time 60 Minutes 45 Questions. For each question below, choose the best answer from the choices given. 2. If f(x) = 3x, then f (x) =

Topic 6: Projected Dynamical Systems

Problems for Chapter 3.

Chapter 6 Overview: Applications of Derivatives

Problem Set 2: Solutions Math 201A: Fall 2016

Nonlinear Control Systems

Answer Key 1973 BC 1969 BC 24. A 14. A 24. C 25. A 26. C 27. C 28. D 29. C 30. D 31. C 13. C 12. D 12. E 3. A 32. B 27. E 34. C 14. D 25. B 26.

Existence and Uniqueness

Most Continuous Functions are Nowhere Differentiable

Metric Spaces Math 413 Honors Project

McGill University Math 354: Honors Analysis 3

(i) find the points where f(x) is discontinuous, and classify each point of discontinuity.

Existence and uniqueness of solutions for nonlinear ODEs

Problem Set 9 Solutions

Picard s Existence and Uniqueness Theorem

Introduction and Preliminaries

Half of Final Exam Name: Practice Problems October 28, 2014

Chapter 9 Solow. O. Afonso, P. B. Vasconcelos. Computational Economics: a concise introduction

On linear and non-linear equations. (Sect. 1.6).

Real Analysis Math 125A, Fall 2012 Sample Final Questions. x 1+x y. x y x. 2 (1+x 2 )(1+y 2 ) x y

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

American Journal of Economics and Business Administration Vol. 9. No. 3. P DOI: /ajebasp

Approximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Fixed Point Theorems

Math 261 Final Exam - Practice Problem Solutions. 1. A function f is graphed below.

Ordinary Differential Equation Theory

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

SEE and DISCUSS the pictures on pages in your text. Key picture:

Analysis III Theorems, Propositions & Lemmas... Oh My!

F (x) is an antiderivative of f(x) if F (x) = f(x). Lets find an antiderivative of f(x) = x. We know that d. Any ideas?

APPLICATIONS IN FIXED POINT THEORY. Matthew Ray Farmer. Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS.

Introduction to Topology

Definitions & Theorems

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions

REAL AND COMPLEX ANALYSIS

Math 328 Course Notes

F = m a. t 2. stress = k(x) strain

Nonlinear Systems Theory

1.4 The Jacobian of a map

Solutions Final Exam May. 14, 2014

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Dynamical Systems as Solutions of Ordinary Differential Equations

Course 212: Academic Year Section 1: Metric Spaces

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

1 5 π 2. 5 π 3. 5 π π x. 5 π 4. Figure 1: We need calculus to find the area of the shaded region.

4.3 Rational Inequalities and Applications

Sets, Functions and Metric Spaces

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

dx n. The order of an ODE is the order of the highest derivative appearing in it. Equation (1) is an example of second order ODE.

Theoretical premises of the Keynesian approach

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

M.S.N. Murty* and G. Suresh Kumar**

FLOW AROUND A SYMMETRIC OBSTACLE

Continuous Functions on Metric Spaces

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)

THE INVERSE FUNCTION THEOREM

Existence and Uniqueness Results for Nonlinear Implicit Fractional Differential Equations with Boundary Conditions

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

A Summary of Economic Methodology

Part III. 10 Topological Space Basics. Topological Spaces

Math 117: Topology of the Real Numbers

An Exploration of the Arithmetic Derivative

Introduction to Real Analysis

Transcription:

DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS THOMAS ZHENG Abstract. The following paper aims to create an integration between differential equations and economics by proving the eistence and uniqueness of solutions in ordinary differential equations, then taking what we ve proved and apply it to standard economic models. First, an overview of ordinary differential equations will be given through definitions, a basic eample, and its applications in various fields of study. Net, using the theorems of Ascoli- Arzel, Peano, and Banach Fied Point Theorem, we will construct the proof for the eistence and uniqueness of solutions in differential equations. Afterwards, we will apply the proof to the Harrod-Domar Model of the effect of investment on economic productivity and aggregate demand. Contents 1. Introduction and Background 1 2. Definitions and Theorems 3 3. Proofs for Theorems 4 3.1. Eistence and Uniqueness Theorem 6 4. Application to the Harrod-Domar Model 7 5. Conclusion and Afterword 9 Acknowledgments 9 References 9 1. Introduction and Background First studied and documented in the 17th century by Issac Newton and Gottfried Leibniz, the subject of differential equations is a rich topic in mathematics, with applications to diverse fields such as physics, biology, and even social sciences like economics. With its versatility and compatabilitiy, differential equations grant one predictive power to use in modeling motions and systems whose evolution over time can be described. A differential equation is simply an equation which contains derivatives of a function. The two types of differential equations are ordinary differential equations and partial differential equations. The former type - and the focus of this paper - contains derivatives for one or more dependent variables with respect to one independent variable. Eamples of ordinary differential equations: dy d = u(y) Date: December 31st. 1

2 THOMAS ZHENG or dy = u(, y) d The latter type involves a special type of derivative called the partial derivative, where the derivative of one dependent variable is taken with respect to each other variable. Eample of a partial differential equation: u + y u y = u From these eamples, one can begin to see how differential equations are utilized in other fields (think velocity, acceleration, and jerk used in tandem to locate an object s position in the study of physics). Moving back to our focus in this paper, we study the theory of differential equations and their applications to economics. to make precise the definition of our object of study, we make the following definition: Definition 1.1. An ordinary differential equation epresses, at each point of an interval that is the domain of some function u, a relationship between a function u() and its derivatives u (k) (). The order of the maimum derivative is called the order of the equation. We also provide an eample to complement this definition: d dt = c(t) where c is a constant; it is often treated as a parameter. Now we can try to find a solution for the equation above. Using derivatives from calculus, we can determine that the solution is (t) = ke (ct). We can also check the solution. Let u(t) be any solution and then compute the derivative of u(t)e ( ct) : d dt u(t)e( ct) = cu(t)e ( ct) cu(t)e ( ct) = 0 From this equation, we ve found that u(t)e ( at) is constant, therefore u(t)e ( ct) = k, where k is any real number. We have found the general solution for our basic differential equation, meaning that is it the only - or unique - solution.

DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS3 The eistence and uniqueness of a solution for a differential equation is useful in our purpose of finding applications. By finding a unique solution, questions raised in physics, biology, and economics can all be answered with significance. Furthermore, equilibria solutions can also be determined, which we will go into detail about later. The eistence and uniqueness of solutions to some ordinary differential equations is the consequence of the following theorem: Theorem 1.2 (Eistence and Uniqueness Theorem). Suppose that X is an open subset of R n+1, and suppose that f is a continuous function from X to R n that satisfies a Lipschitz condition with respect to y. Then, for each point ( 0, y 0 ) in X, the equation u() = y 0 + 0 f(t, u(t))dt has a solution on some open interval containing 0, and any two solutions are equivalent on their common domain. Net we will go through the definitions and theorems necessary to construct our proof. 2. Definitions and Theorems In order to construct our proofs, we must first introduce some definitions that are useful for us in understanding how functions behave. Introducing the space C(I): Let A be a compact set in a metric space S. Let C(A; R) denote the set whose elements are the continuous functions from A to R. Similarly, C(A; C) denotes the set whose elements are the continuous functions from A to C. Now, let I = [ R : a b]. Then: Let us introduce the concept of completeness: Definition 2.1. A space C(I)is called complete if every Cauchy sequence of points in C(I) has a limit that is also in C(I). Net we define a norm: Definition 2.2. If I is a bounded closed interval [a, b], then C(I) denotes the space of continuous real-valued functions defined on I, with norm u sup = sup u() I Convergence in norm is the same as uniform convergence. Theorem 2.3. For any compact set A, the spaces C(A; R) and C(A; C) are complete. Proof. Let f n be a Cauchy sequence in C(A; C). For each p A, the sequence f n (p) is a Cauchy sequence of comple numbers: f n (p) f m (p) f n f m = d(f n, f m ) For any ɛ > 0, there eists an N so large that n, m N implies d(f n, f m ) < ɛ. Therefore we may define f(p) = lim n f n(p). For each p and each m, we have: f(p) f m (p) = lim n f n(p) f m (p) ɛ if m N, then d(f, f m ) ɛ if m N. To complete the proof, we must show that f is continuous. For any ɛ > 0, choose a large N same as before. The

4 THOMAS ZHENG function f N is uniformly continuous, so there is δ > 0 such that ds(p, q) < δ implies f N (p) f N (q) < ɛ. Suppose that ds(p, q) < δ. Then we can show: f(p) f(q) f(p) f N (p) + f N (p) f N (q) + f N (q) f ( q) ɛ + ɛ + ɛ = 3ɛ Therefore f is continuous as required. The proof is the same for C(A; R). Now we make some definitions which distinguish a special class of functions in C(I): Definition 2.4. A collection F of functions in C(I) is is said to be equicontinuous if for each ɛ > 0 there is δ > 0 such that, for every u F, u() u(y) < ɛ if, y I, y < δ. The δ does not depend on the function u. This is significant because sequences of functions with increasing slope values are ruled out, thus allowing us to bound any sequence of functions. Lastly, the concept of the Lipschitz condition is important and is addressed: Definition 2.5. A function f(, y) defined for certain values of R n and y R m and having values in R l is said to satisfy a Lipschitz condition (the values, y, and the function f(, y) can be in any space) with respect to y if there eists a constant K such that f(, y ) f(, y) K y y whenever the left side is defined. The constant K is called a Lipschitz constant. Keep these definitions and theorems in mind; they will be important soon. Now that we have our definition and theorem groundwork in place, we can move on to hooking the big fish: proving the eistence and uniqueness of solutions of differential equations. 3. Proofs for Theorems The first theorem that is important in our path to proving the eistence and uniqueness of solutions in differential equations is the Ascoli-Arzel Theorem. This theorem allows us to observe how a space such as C(I) can be used as a way to confine an infinite set of functions, which is important in allowing a equilibrium point or solution to be found. Theorem 3.1 (Ascoli-Arzel). If F is a bounded, equicontinuous set of functions in C(I), then every sequence in F contains a subsequence that converges in norm to an element of C(I). Proof. Let (u k ) with 1 k < be a sequence in F. Net partition the interval I into 2 n (n is a positive integer) equal subintervals, and do the same for interval [ M, M], where M is a bound for F. From this we get that the large rectangle IX[ M, M] has 4 n subrectangles. If u belongs to F, then its graph is a subset of the large rectangle IX[ M, M]. Let the n-pattern of u be a union of the 4 n subrectangles that are interesected by the graph of u, and proceed by choosing patterns ie. the first pattern, n = 1 (displayed below) shows that there are nine possible patterns and at least one of them is a the pattern of u k for k. Choose such a pattern P 1. Then choose a pattern P 2 that is a 2-pattern (n = 2) of u k for k, which itself is among various other 2-patterns that are subsets of P 1. Hence, we get the sequence of patterns:

DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS5 P 1 P 2 P 3... where P n is the n-pattern of u kn. Now, using the equicontinuity assumption in the statement of the proof, we know that for any given ɛ > 0 there eists an N large such that for any u F varies at most by ɛ with intervals of length 2 N I. Choose N such that 2 N M ɛ, and we get, for n, m N: u kn u km sup 5ɛ Therefore the subsequence u k converges in norm to a function u in C(I). With our first main theorem out of the way, we now move onto the Theorem of Peano, which helps us solidify the eistence of a solution. Theorem 3.2 (Peano). Suppose that Ω is an open subset of R 2 and suppose that f is a continuous real-valued function on Ω. For each point ( 0, y 0 ) in Ω, there is a continuously differentiable function u, defined in an open interval containing 0, such that u() = f(, u()) and u( 0 ) = y 0. Proof. Since Ω is open and f is continuous, we can choose positive constants K and δ such that if 0 δ and y y 0 Kδ, then (, y) Ω and f(, y) K. Let I = [ 0 δ, 0 + δ] and let F be the subset of C(I) that consists of the functions u k. Partition I into 2 k equal subintervals and take the unique continuous function whose graph goes through ( 0, y 0 ), which has a constant slope on each subinterval. The slope on a subinterval is the value of f at the right endpoint of this portion of the graph if the subinterval is left of 0, and at the left endpoint if the subinterval is to the right. Because of 0 δ and y y 0 Kδ, these graphs stay in the open subet Ω and the family of functions is bounded and the limitation on slopes implies that it is equicontinuous, so some subsequence converges uniformly to a function u C(I). Now each u k is piecewise, continuously differentiable and its derivative at a given point converges uniformly to the value of f at that point of the graph as k increases, because of continuity of f and the choice of the u k. Therefore, for in I, u() = lim n u k n () = lim n [ y 0 + 0 which is equivalent to u( 0 ) = y 0 as required. ] 0 u k n (t))dt = y 0 + f(t, u(t))dt The equation u() = y 0 + 0 f(t, u(t))dt is called a Picard iterate and is used to pinpoint a solution after making an initial attempt to find one by slowly iterating functions towards the most accurate solution, and it is important to our main proof. Lastly, we will approach our proof through fied points through the Banach Fied Point Theorem, which is useful in confirming the uniqueness of our solutions in the main proof. Theorem 3.3 (Banach Fied Point Theorem). If X is a nonempty, complete metric space with metric d and if the function S from X to itself is a strict contraction, meaning that for some positive constant ρ < 1, and any and y in S, Then S has a unique fied point in X. ds(), S(y)d(, y),

6 THOMAS ZHENG Proof. Choose a point 1 X and define a sequence as k+1 = S( k ). The equation from our theorem statement, ds(), S(y)d(, y), implies that Therefore d( k+2, k+1 ) ρd( k+1, k ) ρ 2 d( k, k1 )... ρ k d( 2, 1 ) d( k+m, k+1 ) d( k+m, k+m1 ) + d( k+m1, k+m2 ) +... +d( k+2, k+1 ) [ρ k+m2 + ρ k+m3 +... + ρ k ]d( 2, 1 ) ρk 1 d( 2, 1 ) From this we get that ( k ) k=1 is a Cauchy sequence in X, so it converges to a point X. Let S be continuous so that d(, S()) = lim k d( k, S( k )) = lim k d( k, k+1 ) = 0 If is a fied point, then d(, ) = d(s(), S( )) ρd(, ) Therefore d(, ) = 0 and = as required. 3.1. Eistence and Uniqueness Theorem. As written in the introduction before, the proof, also know as the proof of Picard-Lindelf is as given: Theorem 3.4 (Eistence and Uniqueness Theorem). Suppose that X is an open subset of R n+1, and suppose that f is a continuous function from X to R n that satisfies a Lipschitz condition with respect to y. Then, for each point ( 0, y 0 ) in X, the equation u() = y 0 + 0 f(t, u(t))dt has a solution on some open interval containing 0, and any two solutions are equivalent on their common domain. Proof. Given a point ( 0, y 0 ) Ω, choose ɛ > 0 and r > 0 small enough such that {(, y) : 0 ɛ, y y 0 r} Ω Let N = sup 0 ɛ f(, y 0 ) Let K be a Lipschitz constant for f and let J = [ 0 δ, 0 + δ], where δ = min{ɛ, r/2n, 1/2K} Let u 0 y 0 be the first Picard iterate, and let S be the mapping defined by Then let X C(I) be the closed ball By our choice of δ, we get [S(u)]() = y 0 + 0 f(t, u(t))dt S(u 0 ) u 0 sup = X = {u C(I) : u u 0 sup r} sup f(t, y0)dt Nδ r 0 δ 0 2 If u and v belong to X, then S(u) and S(v) are defined, and using the Lipschitz condition inequality f(, y ) f(, y) K y y shows that S(u) S(v) sup Kδ u v sup 1 2 u v sup

DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS7 Finally, we can take v = u 0 in from our inequality above and use the inequality S(u 0 ) u 0 sup r 2 to conclude that S maps X to itself. Thus, by the Banach Fied Point Theorem proves that the solutions found from the Picard iterates are unique as required. 4. Application to the Harrod-Domar Model With the mathematics in place, we can now go on to applying our findings. The Harrod-Domar model is a model relating the change in the rate of investments per year, which we can denote as I(t), with the growth of the economy, represented by the rate of income flow per year, which we can denote as Y (t). The Harrod-Domar model, under the theory of Keynesian economics, was first hypothesized by Roy F. Harrod and Evsey Domar in the 1940s, and used to eplain economic growth. The relationship between the the rate of investments per year and the rate of income flow per year is epressed as a ratio: Y (t) = I (t) s The constant s is the constant fraction of total output in the economy that is saved to be used for capital stock; the savings are considered the investment. This equation suggests that the growth of the economy is determined by the rate by which investments are made over a predetermined constant that states how much of the investment goes toward growth of the economy. Put simply, the equation states how much of investment leads to growing the economy. There is the necessary assumption that the entire economy is treated as a single good, which eliminates the need to account for relative prices, substitution and income effects, as well as the factors that contribute to the capital of the economy. Thus, the relationship between investments and economics growth can be captured by just two variables; otherwise, several other variables may be needed. Now, in order to eamine the rate of maimum capacity of production - or how much the economy is capable of producing at its maimum potential at a given point in time - we need to use another equation. The capacity of production can be displayed by the ratio: ρ = k(t) K(t) The function k(t) represents the maimum capacity output flow and K(t) represents the capital stock present in the economy, both of which are used in a ratio to represent ρ, which is unoriginally called the constant capacity-capital ratio. This equation implies that the economy with capital stock K(t) can produce an annual output flow of k(t). Net, by taking the derivative of our second equation with respect to t (usually representing years in macroeconomics): k (t) = ρk (t) And, if one were to possess some knowledge in economics and mathematics (which is everyone after they ve read this paper), we realize that K(t) is equivalent to I(t), as the rate of investments is equivalent to the rate of capital stock present in the economy, as the investment contributes to the capital present in the economy: ρk (t) = ρi

8 THOMAS ZHENG Lastly, in the model, we define equilibrium as the situation where at a specific rate of investments, the maimum capacity outflow is reached. So, if the investments, I(t), allows the income flow, Y(t), to reach a maimum, the value of the maimum capacity outflow, k(t), is also obtained. Thus, by taking the derivative, we have the equation: Y (t) = k (t) With all these qualitative equations in place, we can construct a differential equation using the rate of investments per year I(t). With equations of Y (t) = I (t) s and ρk (t) = ρi substituted into Y (t) = k (t), we get: I (t) = sρi(t) The equation above now looks more mathematically familiar (an ordinary differential equations perhaps?) and also significant, as now all our qualitative statements from the model grant us now with a mathematical and economic conclusion. So let us apply what we ve proved before. The purpose of the Harrod-Domar model is to determine the best rate of investments to ensure the highest rate of growth in the economy. The differential equation I (t) = sρi(t) mathematically is not difficult to understand as it is familiar in form to our eample given in the introduction of the paper. Thus, the solution of the differential equation is: I(t) = I(0)e (ρst) Where I(0) is the initial value, or rather initial investment in this contet. Now we can more rigorously delve into and verify our solution. If we consider the investments per year I(t) to be be an open subset of all the possible investment amounts per year (this can serve as an analogous eample of R n+1 from our theorem, we can consider the different rates of investment I (t) to be a continuous function within the possible investment rates with respect to t, which in our case is year, that provides us the optimal rate of investment for maimum economic growth. The different rates of investment can satisfy the Lipschitz condition f(t, I (t) f(t, I(t)) K (I(t) I (t) as the left side will always be defined in the non-abstract world, and the right side is always present as due to the nature of economics, where resoures are scarce, so a Lipschitz constant K can be etrapolated from data present in the economy. Thus, using Picard iterates, the individual solutions of the model can be proven to eist and be unique. From our solution(s), we can conclude mathematically that the function I(t) increases at a rate of e (sρt) given the initial value I(t), and we can conclude economically using our mathematics that, given an intial investment, we can model the greatest rate of growth of the economy. Even more so from our equations we can etrapolate and find what amount of capital stock K(t) and rate of income flow Y (t) are required to obtain our solution. By substituting I(t) = I(0)e (sρt) into K (t) = I(t), we get: K (t) = I(0)e (sρt)

DIFFERENTIAL EQUATIONS: EXISTENCE AND UNIQUENESS OF SOLUTIONS IN ECONOMIC MODELS9 which we can then integrate, using the initial stock present and the initial investment rate, K(0) and I(0) respectively, to get: K(t) = I(0)eρst ρs Furthermore, using Y (t) = ρk(t), we can get: + K(0) I(0) Y (t) = I(0)eρst + ρ(k(0) I(0)) s These two equations, along with the first, I(t) = I(0)e (sρt), can then be graphed to give a pictorial representation of the solution in the model. 5. Conclusion and Afterword At this point, the reader (as well as the author!) should come to see that there are some synergistic forces between mathematics and economics. One would be remiss to think that our previous application even comes close in demonstrating fully how differential equations can be used in economic modeling. I hope that the paper was informative as well as a tad bit interesting, enough so that the reader will be provoked enough to try and eplore more of what differential equations have to offer in other fields. Acknowledgments. It is a pleasure to thank my mentor, Owen Barrett, for his guidance and insight throughout the entire process. Despite choosing an unorthodo topic, he still provided me more support than I could ever ask for. I also would like to thank the University of Chicago Mathematics Department as well as Peter May for making the Math REU possible. References [1] R. Beals. Analysis: An Introduction. Cambridge University Press. 2004. [2] S. Smale, M. W. Hirsch, R. L. Devaney. Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press. 2013. [3] Wei-Bin Zhang. Differential Equations, Bifurcations, and Chaos in Economics. World Scientific Publishing Co. Pte. Lt. 2005.