Mathematical Analysis and Numerical Methods for Science and Technology: Volume 5 Evolution Problems I

299 G(t)، و برای به دست آوردن خواص مربوط به تبدیل لاپلاس آن (به نام حلال - A) R(p) = (A + pl)-l، که وجود آن با طیف A مرتبط است. چارچوب فضای کاربردی مورد استفاده، برای سادگی، یک فضای Banach (3) خواهد بود. به طور خلاصه، ما می خواهیم تعریف (2) را برای عملگرهای محدود A، یعنی G(t) = exp(-tA) به عملگرهای نامحدود A روی X گسترش دهیم، جایی که X اکنون یک فضای Banach است. طرح فصل ما در این فصل خواهیم دید که این شرکت ممکن است، که علاوه بر آنچه در بالا خواسته شده است، برخی اطلاعات تکمیلی را در تعدادی از زمینه ها به ما می دهد: - یک بیان "صریح" جدید از راه حل. - منظم بودن راه حل با در نظر گرفتن برخی شرایط در داده های داده شده (u، u1، f و غیره ...) با مفهوم راه حل قوی. o - خصوصیات مجانبی محلولها. به منظور درمان این مشکلات، مراحل زیر را طی می کنیم: در بند 1، ویژگی های اصلی عملگرهای نیمه گروه های {G(t)} که در فضای X عمل می کنند، به ویژه وجود یک کران نمایی بالایی (در t) را مطالعه خواهیم کرد. ) از هنجار G(t). در §2، توابع u E X را مطالعه خواهیم کرد که t --+ G(t)u برای آنها قابل تمایز است.

299 G(t), and to obtain the corresponding properties of its Laplace transform (called the resolvent of - A) R(p) = (A + pl)-l , whose existence is linked with the spectrum of A. The functional space framework used will be, for simplicity, a Banach space(3). To summarise, we wish to extend definition (2) for bounded operators A, i.e. G(t) = exp( - tA) , to unbounded operators A over X, where X is now a Banach space. Plan of the Chapter We shall see in this chapter that this enterprise is possible, that it gives us in addition to what is demanded above, some supplementary information in a number of areas: - a new 'explicit' expression of the solution; - the regularity of the solution taking into account some conditions on the given data (u , u1,f etc ... ) with the notion of a strong solution; o - asymptotic properties of the solutions. In order to treat these problems we go through the following stages: in § 1, we shall study the principal properties of operators of semigroups {G(t)} acting in the space X, particularly the existence of an upper exponential bound (in t) of the norm of G(t). In §2, we shall study the functions u E X for which t --+ G(t)u is differentiable.