An Introduction to the Finite Element Method for Differential Equations. Mohammad Asadzadeh

An Introduction to the Finite Element Method for Differential Equations - Mohammad Asadzadeh


Скачать книгу
A function in images that satisfies a PDE of order images is called a classical (or strong) solution of the PDE. We sometimes also have to deal with solutions that are not classical. Such solutions are called weak solutions. In this note, in the variational formulation for FEMs, we actually deal with weak solutions. For a more thorough discussion on weak solutions, see Chapter 2 or any textbook in distribution theory.

      Definition 1.2 Hadamard's criteria; compare with the three criteria in theory

      A problem consisting of a PDE associated with boundary and/or initial conditions is called well‐posed if it fulfills the following three criteria:

      1 Existence The problem has a solution.

      2 Uniqueness There is no more than one solution.

      3 Stability A small change in the equation or in the side (initial and/or boundary) conditions gives rise to a small change in the solution.

      Definition 1.3

      An equation is called linear if in (1.3.1), images is a linear function of the unknown function images and its derivatives.

      Thus, for example, the equation images is a linear equation, while images is a nonlinear equation. The nonlinear equations are often further classified into subclasses according to the type of their nonlinearity. Generally, the nonlinearity is more pronounced when it appears in higher‐order derivatives. For example, the following equations are both nonlinear

      Here images denotes the norm of the gradient of images. While (1.3.5) is nonlinear, it is still linear as a function of the highest‐order derivative (here images and images). Such a nonlinearity is called quasilinear. On the other hand, in (1.3.4), the nonlinearity is only in the unknown solution images. Such equations are called semilinear.

      Differential and integral operators are examples of mappings between function classes as images where images. We denote by images the operation of a mapping (operator) images on a function images.

      Definition 1.4

      An operator images that satisfies

      where images and images are functions, is called a linear operator. We may generalize (1.4.1) as

      i.e. images maps any linear combination of images's to corresponding linear combination of images's.

      For instance the integral operator images defined on the space of continuous functions on images defines a linear operator from images into images, which satisfies both (1.4.1) and (1.4.2).

      where images represents any function in, say images, and the dots at the end indicate higher‐order derivatives, but the sums contain only finitely many terms.

      The term linear in the phrase linear partial differential operator refers to the following fundamental property: if images is given by (1.4.3) and images, are any set of functions possessing the requisite derivatives, and Скачать книгу