Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-25Bitstream added on 2014-06-13T20:48:30Z : No. of bitstreams: 1 rosa_ra_me_sjrp.pdf: 528158 bytes, checksum: 87eb91b0d9f48ee60092159a596eccf5 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho vamos estudar a existência e unicidade de solução para equações da forma { u + Au = f(t,u) u(t0)= u0 ∈ X, (I) onde X é um espaço de Banach, A : D(A) ⊂ X → X é um operador linear, f é uma função não linear conhecida, u0 ∈ X é um dado inical conhecido e u : I ⊂ R → X é uma função desconhecida e t0 ∈ I. Faremos este estudo usando a Teoria dos Semigrupos de Operadores Lineares. Para melhor entendimento do estudo das equações (I), faremos duas aplicações. A primeira tratando de um modelo (linear) de divisão celular e a segunda, do modelo (não linear) de condução do calor. / In this work we will study the existence and uniqueness of the solutions for the following equation { u + Au = f(t,u) u(t0)= u0 ∈ X, (I) where X is a Banach space, A : D(A) ⊂ X → X is a linear operator, f is a nonlinear function, u : I ⊂ R → X is unknown function. In this study we will use the theory of semigroup of linear operators. For a best understanding of the study of equations (I), we will do two applications. The first one, is a (linear) model of cellular division and the second one, is about the (nonlinear) model od conduction of the heat.

<p> The inverse heat conduction problem also frequently referred as the sideways heat equation, in short SHE, is considered as a mathematical model for a real application, where it is desirable for someone to determine the temperature on the surface of a body. Since the surface itself is inaccessible for measurements, one is restricted to use temperature data from the interior measurements. From a  mathematical point of view, the entire situation leads to a non-characteristic Cauchy problem, where by using recorded temperature one can solve a well-posed nonlinear problem in the finite region for computing heat flux, and consequently obtain the Cauchy data [u, u_x]. Further by using these data and by performing an appropriate method, e.g. a space marching method, one can eventually achieve the desired temperature at x = 0.</p><p>The problem is severely ill-posed in the sense that the solution does not depend continuously on the data. The problem solved by two different methods, and for both cases we stabilize the computations by replacing the time derivative in the heat equation by a bounded operator. The first one, a spectral method based on finite Fourier space is illustrated to supply an analytical approach for approximating the time derivative. In order to get a better accuracy in the numerical computation, we use cubic spline function for approximating the time derivative in the least squares sense.</p><p>The inverse problem we want to solve, by using Cauchy data, is a nonlinear heat conduction problem in one space dimension. Since the temperature data u = g(t) is recorded, e.g. by a thermocouple, it usually contains some perturbation in the data. Thus the solution can be severely ill-posed if the Cauchy data become very noisy. Two experiments are presented to test the proposed approach.</p>

The inverse heat conduction problem also frequently referred as the sideways heat equation, in short SHE, is considered as a mathematical model for a real application, where it is desirable for someone to determine the temperature on the surface of a body. Since the surface itself is inaccessible for measurements, one is restricted to use temperature data from the interior measurements. From a  mathematical point of view, the entire situation leads to a non-characteristic Cauchy problem, where by using recorded temperature one can solve a well-posed nonlinear problem in the finite region for computing heat flux, and consequently obtain the Cauchy data [u, ux]. Further by using these data and by performing an appropriate method, e.g. a space marching method, one can eventually achieve the desired temperature at x = 0. The problem is severely ill-posed in the sense that the solution does not depend continuously on the data. The problem solved by two different methods, and for both cases we stabilize the computations by replacing the time derivative in the heat equation by a bounded operator. The first one, a spectral method based on finite Fourier space is illustrated to supply an analytical approach for approximating the time derivative. In order to get a better accuracy in the numerical computation, we use cubic spline function for approximating the time derivative in the least squares sense. The inverse problem we want to solve, by using Cauchy data, is a nonlinear heat conduction problem in one space dimension. Since the temperature data u = g(t) is recorded, e.g. by a thermocouple, it usually contains some perturbation in the data. Thus the solution can be severely ill-posed if the Cauchy data become very noisy. Two experiments are presented to test the proposed approach.

In this thesis we are interested in some problems regarding harmonic functions. The topics are divided into three chapters. Chapter 2 concerns singularities developed by solutions of the Cauchy problem for a holomorphic elliptic equation, especially Laplace's equation. The principal motivation is to locate the singularities of the Schwarz potential. The results have direct applications to Laplacian growth (or the Hele-Shaw problem). Chapter 3 concerns the Dirichlet problem when the boundary is an algebraic set and the data is a polynomial or a real-analytic function. We pursue some questions related to the Khavinson-Shapiro conjecture. A main topic of interest is analytic continuability of the solution outside its natural domain. Chapter 4 concerns certain complex-valued harmonic functions and their zeros. The special cases we consider apply directly in astrophysics to the study of multiple-image gravitational lenses.

We consider bounded weak solutions u of a degenerate parabolic-hyperbolic equation defined in a subset [mathematical symbols]. We define strong notion of trace at the boundary [mathematical symbols] reached by L¹ convergence for a large class of functionals of u. Such functionals depend on the flux function of the degenerate parabolic-hyperbolic equation and on the boundary. We also prove the well-posedness of the entropy solution for scalar conservation laws with a strong boundary condition with the above trace result as applications. / text

We develop well-posedness theory and analytical and numerical solution techniques for Boussinesq-type equations. Firstly, we consider the Cauchy problem for a generalized Boussinesq equation. We show that under suitable conditions, a global solution for this problem exists. In addition, we derive sufficient conditions for solution blow-up in finite time. / Secondly, a generalized Jacobi/exponential expansion method for finding exact solutions of non-linear partial differential equations is discussed. We use the proposed expansion method to construct many new, previously undiscovered exact solutions for the Boussinesq and modified Korteweg-de Vries equations. We also apply it to the shallow water long wave approximate equations. New solutions are deduced for this system of partial differential equations. / Finally, we develop and validate a numerical procedure for solving a class of initial boundary value problems for the improved Boussinesq equation. The finite element method with linear B-spline basis functions is used to discretize the equation in space and derive a second order system involving only ordinary derivatives. It is shown that the coefficient matrix for the second order term in this system is invertible. Consequently, for the first time, the initial boundary value problem can be reduced to an explicit initial value problem, which can be solved using many accurate numerical methods. Various examples are presented to validate this technique and demonstrate its capacity to simulate wave splitting, wave interaction and blow-up behavior.

We consider linear and semilinear stochastic partial differential equations that in some sense can be viewed as being at the "endpoints" of the classical variational theory by Krylov and Rozovskii [25]. In terms of regularity of the coeffcients, the minimal assumption is boundedness and measurability, and a unique L2- valued solution is then readily available. We investigate its further properties, such as higher order integrability, boundedness, and continuity. The other class of equations considered here are the ones whose leading operators do not satisfy the strong coercivity condition, but only a degenerate version of it, and therefore are not covered by the classical theory. We derive solvability in Wmp spaces and also discuss their numerical approximation through finite different schemes.

First we consider implicit finite difference schemes on uniform grids in time and space for second order linear stochastic partial differential equations of parabolic type. Under sufficient regularity conditions, we prove the existence of an appropriate asymptotic expansion in powers of the the spatial mesh and hence we apply Richardson's method to accelerate the convergence with respect to the spatial approximation to an arbitrarily high order. Then we extend these results to equations where the parabolicity condition is allowed to degenerate. Finally, we consider implicit finite difference approximations for deterministic linear second order partial differential equations of parabolic type and give sufficient conditions under which the approximations in space and time can be simultaneously accelerated to an arbitrarily high order.

L'objet de cette thèse porte sur le problème de Cauchy singulier dans le domaine complexe. Il s'agit d'étudier les singularités de la solution du problème pour trois classes d'équations aux dérivées partielles. Cette thèse s'inscrit dans la continuité des travaux initiés par Jean Leray et son école. Pour décrire les singularités de la solution, on cherche la solution sous la forme d'un développement asymptotique de fonctions hypergéométriques de Gauss. Comme les singularités sont portées par les fonctions hypergéométriques, l'étude de la ramification de la solution se ramène à celle de ces fonctions. / This thesis deals with the singular Cauchy problem in the complex domain. We study the singularities of the solution of the problem for three classes of partial differential equations. This thesis is a continuation of the work initiated by Jean Leray and his school. To describe the singularities of the solution, we seek the solution in the form of asymptotic an expansion of Gauss hypergeometric functions. As the singularities are carried by the hypergeometric functions, the study of the ramification of the solution reduces to that of these functions.

We try to explain the mathematical theory of thin liquid film evolution. We start with introducing physical processes in which thin film evolution plays an important role. Derivation of the classical thin film equation and existing mathematical theory in the literature are also introduced. To explain the thin film evolution we derive a new family of degenerate parabolic equations. We prove results on existence, uniqueness, long time behavior, regularity and support properties of solutions for this equation. At the end of the thesis we consider the classical thin film Cauchy problem on the whole real line for which we use asymptotic equipartition to show H^1(R) convergence of solutions to the unique self-similar solution.