Maximum Principle for Elliptic and Parabolic Equations

Nel primo capitolo si riporta il principio del massimo per operatori ellittici. Sarà considerato, in un primo momento, l'operatore di Laplace e, successivamente, gli operatori ellittici del secondo ordine, per i quali si dimostrerà anche il principio del massimo di Hopf. Nel secondo capitolo si affronta il principio del massimo per operatori parabolici e lo si utilizza per dimostrare l'unicità delle soluzioni di problemi ai valori al contorno.

Numerical solution of an elliptic 3-dimensional Cauchy problem by the alternating method and boundary integral equations

We consider the Cauchy problem for the Laplace equation in 3-dimensional doubly-connected domains, that is the reconstruction of a harmonic function from knowledge of the function values and normal derivative on the outer of two closed boundary surfaces. We employ the alternating iterative method, which is a regularizing procedure for the stable determination of the solution. In each iteration step, mixed boundary value problems are solved. The solution to each mixed problem is represented as a sum of two single-layer potentials giving two unknown densities (one for each of the two boundary surfaces) to determine; matching the given boundary data gives a system of boundary integral equations to be solved for the densities. For the discretisation, Weinert's method [24] is employed, which generates a Galerkin-type procedure for the numerical solution via rewriting the boundary integrals over the unit sphere and expanding the densities in terms of spherical harmonics. Numerical results are included as well.

Sufficient conditions for the existence of heteroclinic solutions for Phi-Laplacian differential equations

In this paper we consider the second order discontinuous equation in the real line, (a(t)φ(u′(t)))′ = f(t,u(t),u′(t)), a.e.t∈R, u(-∞) = ν⁻, u(+∞)=ν⁺, with φ an increasing homeomorphism such that φ(0)=0 and φ(R)=R, a∈C(R,R\{0})∩C¹(R,R) with a(t)>0, or a(t)<0, for t∈R, f:R³→R a L¹-Carathéodory function and ν⁻,ν⁺∈R such that ν⁻<ν⁺. We point out that the existence of heteroclinic solutions is obtained without asymptotic or growth assumptions on the nonlinearities φ and f. Moreover, as far as we know, this result is even new when φ(y)=y, that is, for equation (a(t)u′(t))′=f(t,u(t),u′(t)), a.e.t∈R.

Systems of coupled clamped beams equations with full nonlinear terms: Existence and location results

This work gives sufficient conditions for the solvability of the fourth order coupled system┊ u⁽⁴⁾(t)=f(t,u(t),u′(t),u′′(t),u′′′(t),v(t),v′(t),v′′(t),v′′′(t)) v⁽⁴⁾(t)=h(t,u(t),u′(t),u′′(t),u′′′(t),v(t),v′(t),v′′(t),v′′′(t)) with f,h: [0,1]×ℝ⁸→ℝ some L¹- Carathéodory functions, and the boundary conditions {┊ u(0)=u′(0)=u′′(0)=u′′(1)=0 v(0)=v′(0)=v′′(0)=v′′(1)=0. To the best of our knowledge, it is the first time in the literature where two beam equations are considered with full nonlinearities, that is, with dependence on all derivatives of u and v. An application to the study of the bending of two elastic coupled campled beams is considered.

Solvabilty of generalized Hammerstein integral equations on unbounded domains, with sign-changing kernels

In this work we study an Hammerstein generalized integral equation u(t)=∫_{-∞}^{+∞}k(t,s) f(s,u(s),u′(s),...,u^{(m)}(s))ds, where k:ℝ²→ℝ is a W^{m,∞}(ℝ²), m∈ℕ, kernel function and f:ℝ^{m+2}→ℝ is a L¹-Carathéodory function. To the best of our knowledge, this paper is the first one to consider discontinuous nonlinearities with derivatives dependence, without monotone or asymptotic assumptions, on the whole real line. Our method is applied to a fourth order nonlinear boundary value problem, which models moderately large deflections of infinite nonlinear beams resting on elastic foundations under localized external loads.

Semiclassical analysis of systems of Schrödinger equations

The scalar Schrödinger equation models the probability density distribution for a particle to be found in a point x given a certain potential V(x) forming a well with respect to a fixed energy level E_0. Formally two real inversion points a,b exist such that V(a)=V(b)=E_0, V(x)<0 in (a,b) and V(x)>0 for xb. Following the work made by D.Yafaev and performing a WKB approximation we obtain solutions defined on specific intervals. The aim of the first part of the thesis is to find a condition on E, which belongs to a neighbourhood of E_0, such that it is an eigenvalue of the Schrödinger operator, obtaining in this way global and linear dependent solutions in L2. In quantum mechanics this condition is known as Bohr-Sommerfeld quantization. In the second part we define a Schrödinger operator referred to two potential wells and we study the quantization conditions on E in order to have a global solution in L2xL2 with respect to the mutual position of the potentials. In particular their wells can be disjoint,can have an intersection, can be included one into the other and can have a single point intersection. For these cases we refer to the works of A.Martinez, S. Fujiié, T. Watanabe, S. Ashida.

Lipschitz regularity for weak solutions of parabolic p-Laplacian type equations in certain subriemannian structures

The main aim of the thesis is to prove the local Lipschitz regularity of the weak solutions to a class of parabolic PDEs modeled on the parabolic p-Laplacian. This result is well known in the Euclidean case and recently has been extended in the Heisenberg group, while higher regularity results are not known in subriemannian parabolic setting. In this thesis we will consider vector fields more general than those in the Heisenberg setting, introducing some technical difficulties. To obtain our main result we will use a Moser-like iteration. Due to the non linearity of the equation, we replace the usual parabolic cylinders with new ones, whose dimension also depends on the L^p norm of the solution. In addition, we deeply simplify the iterative procedure, using the standard Sobolev inequality, instead of the parabolic one.

Il modello di oscillatore armonico come caso di studio per mostrare il ruolo della matematica nella fisica: anchor equations ed epistemic games come strumenti di analisi di libri di testo e tutorial

Nel modo in cui oggigiorno viene intrapresa la ricerca, l’interdisciplinarità assume una posizione di sempre maggior rilievo in pressoché ogni ambito del sapere. Questo è particolarmente evidente nel campo delle discipline STEM (Scienza, Tecnologia, Ingegneria, Matematica), considerando che i problemi a cui esse fanno fronte (si pensi agli studi sul cambiamento climatico o agli avanzamenti nel campo dell’intelligenza artificiale) richiedono la collaborazione ed integrazione di discipline diverse. Anche nella ricerca educativa, l’interdisciplinarità ha acquisito negli ultimi anni una notevole rilevanza ed è stata oggetto di riflessioni teoriche e di valutazioni sulle pratiche didattiche. Nell’ampio contesto di questo dibattito, questa tesi si focalizza sull’analisi dell’interdisciplinarità tra fisica e matematica, ma ancora più nel dettaglio sul ruolo che la matematica ha nei modelli fisici. L’aspetto che si vuole sottolineare è l’esigenza di superare una concezione banale e semplicistica, sebbene diffusa, per la quale la matematica avrebbe una funzione strumentale rispetto alla fisica, a favore invece di una riflessione che metta in luce il ruolo strutturale della formalizzazione matematica per l’avanzamento della conoscenza in fisica. Per fare ciò, si prende in esame il caso di studio dell’oscillatore armonico attraverso due lenti diverse che mettono in luce altrettanti temi. La prima, quella dell’anchor equation, aiuterà a cogliere gli aspetti fondamentali del ruolo strutturale della matematica nella modellizzazione dell’oscillatore armonico. La seconda, quella degli epistemic games, verrà utilizzata per indagare materiale didattico, libri di testo e tutorial, per comprendere come diverse tipologie di risorse possano condurre gli studenti ad intendere in modi diversi la relazione di interdisciplinarità tra fisica e matematica in questo contesto.

The Crystal-t Algorithm: A New Approach To Calculate The Sle Of Lipidic Mixtures Presenting Solid Solutions.

Lipidic mixtures present a particular phase change profile highly affected by their unique crystalline structure. However, classical solid-liquid equilibrium (SLE) thermodynamic modeling approaches, which assume the solid phase to be a pure component, sometimes fail in the correct description of the phase behavior. In addition, their inability increases with the complexity of the system. To overcome some of these problems, this study describes a new procedure to depict the SLE of fatty binary mixtures presenting solid solutions, namely the Crystal-T algorithm. Considering the non-ideality of both liquid and solid phases, this algorithm is aimed at the determination of the temperature in which the first and last crystal of the mixture melts. The evaluation is focused on experimental data measured and reported in this work for systems composed of triacylglycerols and fatty alcohols. The liquidus and solidus lines of the SLE phase diagrams were described by using excess Gibbs energy based equations, and the group contribution UNIFAC model for the calculation of the activity coefficients of both liquid and solid phases. Very low deviations of theoretical and experimental data evidenced the strength of the algorithm, contributing to the enlargement of the scope of the SLE modeling.

Condutividade e difusividade térmica do figo (Ficus carica L.) Roxo de Valinhos

The post harvest cooling and/or freezing processes for horticultural products have been carried out with the objective of removing the heat from these products, allowing them a bigger period of conservation. Therefore, the knowledge of the physical properties that involve heat transference in the fig fruit Roxo de Valinhos is useful for calculating projects and systems of food engineering in general, as well as, for using in equations of thermodynamic mathematical models. The values of conductivity and thermal diffusivity of the whole fig fruit-rami index were determined, and from these values it was determined the value of the specific heat. For these determination it was used the transient method of the Line Heat Source. The results shown that the fig fruit has a thermal conductivity of 0.52 W m-1°C, thermal diffusivity of 1.56 x 10-7 m² s-1, pulp density of 815.6 kg m-3 and specific heat of 4.07 kJ kg-1 °C.

Projeto de um cortador de base para colhedora de cana-de-açúcar utilizando otimização matemática

A base-cutter represented for a mechanism of four bars, was developed using the Autocad program. The normal force of reaction of the profile in the contact point was determined through the dynamic analysis. The equations of dynamic balance were based on the laws of Newton-Euler. The linkage was subject to an optimization technique that considered the peak value of soil reaction force as the objective function to be minimized while the link lengths and the spring constant varied through a specified range. The Algorithm of Sequential Quadratic Programming-SQP was implemented of the program computational Matlab. Results were very encouraging; the maximum value of the normal reaction force was reduced from 4,250.33 to 237.13 N, making the floating process much less disturbing to the soil and the sugarcane rate. Later, others variables had been incorporated the mechanism optimized and new otimization process was implemented .

Aerodinâmica de leitos vibrofluidizados: uma revisão

Application of mechanical vibration to aid fluidization and to improve heat, mass and momentum transfer are usual processes in agricultural industry and it has found nowadays extensive applications in particle processing of materials difficult-to-fluidized. Equations and experimental data found in literature for the aerodynamics characteristics of vibro-fluidized beds are presented and discussed, emphasizing the vibration effect in the bed.

Modelos estatísticos indicadores de comportamentos associados a bem-estar térmico para matrizes pesadas

The study of female broiler breeders is of great importance for the country as poultry production is one of the largest export items, and Brazil is the second largest broiler meat exporter. Animal behavior is known as a response to the effect of several interaction factors among them the environment. In this way the internal housing environment is an element that gives hints regarding to the bird s thermal comfort. Female broiler breeder behavior, expresses in form of specific pattern the bird s health and welfare. This research had the objective of applying predictive statistical models through the use of simulation, presenting animal comfort scenarios facing distinct environmental conditions. The research was developed with data collected in a controlled environment using Hybro - PG® breeding submitted to distinct levels of temperature, three distinct types of standard ration and age. Descriptive and exploratory analysis were proceeded, and afterwards the modeling process using the Generalized Estimation Equation (GEE). The research allowed the development of the thermal comfort indicators by statistical model equations of predicting female broiler breeder behavior under distinct studied scenarios.

Influência da temperatura do ar de secagem no calor latente de vaporização de água em feijão macassar (Vigna unguiculata (L.) Walp.), variedade sempre-verde

In order to determine the energy needed to artificially dry an agricultural product the latent heat of vaporization of moisture in the product, H, must be known. Generally, the expressions for H reported in the literature are of the form H = h(T)f(M), where h(T) is the latent heat of vaporization of free water, and f(M) is a function of the equilibrium moisture content, M, which is a simplification. In this article, a more general expression for the latent heat of vaporization, namely H = g(M,T), is used to determine H for cowpea, always-green variety. For this purpose, a computer program was developed which automatically fits about 500 functions, with one or two independent variables, imbedded in its library to experimental data. The program uses nonlinear regression, and classifies the best functions according to the least reduced chi-squared. A set of executed statistical tests shows that the generalized expression for H used in this work produces better results of H for cowpea than other equations found in literature.

Estimativa de parâmetros biofísicos de plantios de café a partir de imagens orbitais de alta resolução espacial

Remote sensing data are each time more available and can be used to monitor the vegetal development of main agricultural crops, such as the Arabic coffee in Brazil, since that the relationship between spectral and agronomical data be well known. Therefore, this work had the main objective to assess the use of Quickbird satellite images to estimate biophysical parameters of coffee crop. Test area was composed by 25 coffee fields located between the cities of Ribeirão Corrente, Franca and Cristais Paulista (SP), Brazil, and the biophysical parameters used were row and between plants spacing, plant height, LAI, canopy diameter, percentage of vegetation cover, roughness and biomass. Spectral data were the reflectance of four bands of QUICKBIRD and values of four vegetations indexes (NDVI, GVI, SAVI and RVI) based on the same satellite. All these data were analyzed using linear and nonlinear regression methods to generate estimation models of biophysical parameters. The use of regression models based on nonlinear equations was more appropriate to estimate parameters such as the LAI and the percentage of biomass, important to indicate the productivity of coffee crop.