Heat and mass transfer in MHD non-Darcian flow of a micropolar fluid over a stretching sheet embedded in a porous media with non-uniform heat source and thermal radiation

A mathematical analysis has been carried out to study magnetohydrodynamic boundary layer flow, heat and mass transfer characteristic on steady two-dimensional flow of a micropolar fluid over a stretching sheet embedded in a non-Darcian porous medium with uniform magnetic field. Momentum boundary layer equation takes into account of transverse magnetic field whereas energy equation takes into account of Ohmic dissipation due to transverse magnetic field, thermal radiation and non-uniform source effects. An analysis has been performed for heating process namely the prescribed wall heat flux (PHF case). The governing system of partial differential equations is first transformed into a system of non-linear ordinary differential equations using similarity transformation. The transformed equations are non-linear coupled differential equations which are then linearized by quasi-linearization method and solved very efficiently by finite-difference method. Favorable comparisons with previously published work on various special cases of the problem are obtained. The effects of various physical parameters on velocity, temperature, concentration distributions are presented graphically and in tabular form.     

Global Existence of Solutions to Nonlinear Wave Equations

T. Global in time solutions of the equations Ou = H(u, u') on Minkowski space-time are considered. Results available so far involve complicated decay and energy estimates and also careful choice of Banach spaces and associated ordinary differential inequalities. This work tries to simplify some of the existing arguments and to develop a new technique for other nonlinear evolution equations. The method is motivated by the work of Christodoulou and Baez, Segal, and Zhou, on nonlinear wave equations. The key idea is to use the Penrose conformal compactification that transforms the equations from Minkowski space to the Einstein universe in order to change the global existence question to the local one.     

Mathematical modeling of industrial aluminum electrolysis

The problem of aluminum electrolysis is discussed. The mathematical model of an industrial electrolyzer presented in the paper is written under the assumption that the electrolyte and metal media are immiscible. At the basis of the mathematical statement is a three-dimensional, nonstationary, and nonlinear system of magnetic hydrodynamics equations which is written separately in the aluminum medium and in the electrolyte medium with a geometric account for wall accretion, skull, and arrangement of anodes. The proposed system allows one to model various forms of anodes, the number of anodes in a bath, and their sizes. Interfaces of media are connected by a viscous friction. Initial values of speeds and electromagnetic fields in the media and the medium interface are considered as set. On the skull, bottom, and anodes the attachment conditions are set. The speed of change of a magnetic field in the metal and electrolyte on the interface is considered zero. On the basis of a numerical method of solution of the system of equations, there is a well-proved method of division over physical processes. The analysis of results of the numerical experiment has shown that it is actually possible to allocate a ??middle?? layer for modeling of the electrolysis process. The proposed model allows one to investigate media behavior upon the occurrence of a long anode effect due to sharp reduction of the electric conductivity of the electrolyte and subsequent sharp growth of the electric-field strength.     

Space-like Weingarten surfaces in the three-dimensional Minkowski space and their natural partial differential equations

On any space-like Weingarten surface in the three-dimensional Minkowski space we introduce locally natural principal parameters and prove that such a surface is determined uniquely up to motion by a special invariant function, which satisfies a natural non-linear partial differential equation. This result can be interpreted as a solution to the Lund-Regge reduction problem for space-like Weingarten surfaces in Minkowski space. We apply this theory to linear fractional space-like Weingarten surfaces and obtain the natural non-linear partial differential equations describing them. We obtain a characterization of space-like surfaces, whose curvatures satisfy a linear relation, by means of their natural partial differential equations. We obtain the ten natural PDE’s describing all linear fractional space-like Weingarten surfaces.     

The location of solutions to three types of differential equations

This work is concerned with using numerical analysis?? method to locate solutions of three types of differential equations. We find that the solutions to the problem are both amazing and fantastic.     

Stepanov-Like Pseudo-Almost Periodicity and Semilinear Differential Equations with Uniform Continuity

By using the method of the invariant subspaces for unbounded linear operators and Schauder??s fixed point theorem, we give an existence theorem of mild pseudo-almost periodic solutions for some semilinear differential equations with a Stepanov-like pseudo-almost periodic term under some suitable assumptions. For this purpose, we show a new composition theorem of Stepanov-like pseudo-almost periodic functions. As applications, we examine the existence of mild pseudo-almost periodic solutions to some second-order hyperbolic equations. Our work is done under a ??uniform continuity?? condition instead of the ??Lipschitz?? condition assumed in the literature.     

Aesthetic fields: a two-dimensional lattice solution satisfying integrability

In our previous paper we obtained examples of lattice solutions to the aesthetic field equations. A drawback with these solutions was that the integrability equations were not satisfied. In this paper we find a solution to the aesthetic field equations which describes a two-dimensional lattice structure. The integrability equations are satisfied in this case. We work within a six-dimensional framework in this paper. Three of the coordinates are real and three of the coordinates are pure imaginary. It is a generalization of the Minkowski version of aesthetic field theory.     

Numerical analysis and control of some biochemical systems

Immobilized enzyme systems are systems where enzyme(s) (catalyst(s) of biochemical reaction(s)) is (are) distributed inside an artificial membrane. They are governed by the coupling between diffusion and reaction, and the typical equation describing such a system is?s/?t?? ²s/?x²+σs/(1+s) = 0, s = s(x,t) denoting the substrate concentration. In a first part are described several enzyme systems, together with their (partial differential) equations. A second part is devoted to the mathematical methods used to prove existence and uniqueness of a solution for these equations. In the third part, are given the numerical methods used to get an approximate solution. The last part deals with some open loop control problems in these biochemical systems. Existence of an optimal control is proved, the cost function gradient is found using the adjoint state and the steepest descent algorithm is used.     

Approximate solutions to the nonlinear vibrations of multiwalled carbon nanotubes using Adomian decomposition method

This paper applies the Adomian decomposition method (ADM) to the search for the approximate solutions to the problem of the nonlinear vibrations of multiwalled carbon nanotubes embedded in an elastic medium. A multiple-beam model is utilized in which the governing equations of each layer are coupled with those of its adjacent ones via the van der Waals inter layer forces. The amplitude–frequency curves for large-amplitude vibrations of single-walled, double-walled and triple-walled carbon nanotubes are obtained. The influence of changes in material constants of the surrounding elastic medium and the effect of changes in nanotube geometrical parameters on the vibration characteristics are studied by comparing the results with those from the open literature. This method needs less work in comparison with the traditional methods and decreases considerable volume of calculation, and it’s powerful mathematical tool for solving wide class of nonlinear differential equations. Special attention is given to prove the convergence of the method. Some examples are given to illustrate the determination approximate solutions of the proposed problem.     

How to write a 21st century proof

A method of writing proofs is described that makes it harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical. The author??s twenty years of experience writing such proofs is discussed. In addition to developing the students?? intuition about the beautiful concepts of analysis, it is surely equally important to persuade them that precision and rigor are neither deterrents to intuition, nor ends in themselves, but the natural medium in which to formulate and think about mathematical questions. Michael Spivak, Calculus [7]      

On the application of genetic algorithms and gradient methods to the problem of the reconstruction of the initial stress field in a poroelastic inhomogeneous column

Initial stress fields play an important role in deformational processes in porous structures. Accurate modeling of dynamics behavior of the porous medium taking initial stresses into account requires an appropriate mathematical model. One of the common approaches for the construction of a mathematical model of the dynamic behavior of a medium taking the initial state into account is linearization. This paper presents equations of longitudinal vibrations of a poroelastic inhomogeneous body in the presence of the initial stress field. The influence of the initial stress rate and Biot’s modulus on the dynamic behavior of the environment is analyzed. The problem of reconstructing the initial stress field for the poroelastic inhomogeneous column based on the genetic algorithm and nonlinear optimization with the use of modern packages of numerical simulation is studied. A series of numerical experiments on the reconstruction of different initial stress field distribution laws using the described methods is carried out.     

Numerical method of mixed finite volume-modified upwind fractional step difference for three-dimensional semiconductor device transient behavior problems

Transient behavior of three-dimensional semiconductor device with heat conduction is described by a coupled mathematical system of four quasi-linear partial differential equations with initial-boundary value conditions. The electric potential is defined by an elliptic equation and it appears in the following three equations via the electric field intensity. The electron concentration and the hole concentration are determined by convection-dominated diffusion equations and the temperature is interpreted by a heat conduction equation. A mixed finite volume element approximation, keeping physical conservation law, is used to get numerical values of the electric potential and the accuracy is improved one order. Two concentrations and the heat conduction are computed by a fractional step method combined with second-order upwind differences. This method can overcome numerical oscillation, dispersion and decreases computational complexity. Then a three-dimensional problem is solved by computing three successive one-dimensional problems where the method of speedup is used and the computational work is greatly shortened. An optimal second-order error estimate in L² norm is derived by using prior estimate theory and other special techniques of partial differential equations. This type of mass-conservative parallel method is important and is most valuable in numerical analysis and application of semiconductor device.     

Solitary wave solutions for a time-fraction generalized Hirota–Satsuma coupled KdV equation by an analytical technique

In this work, we implement a relatively analytical technique, the homotopy perturbation method (HPM), for solving nonlinear partial differential equations of fractional order. The fractional derivatives are described in Caputo derivatives. This method can be used as an alternative to obtain analytic and approximate solutions of different types of fractional differential equations which applied in engineering mathematics. The corresponding solutions of the integer order equations are found to follow as special cases of those of fractional order equations. He’s homotopy perturbation method (HPM) which does not need small parameter is implemented for solving the differential equations. It is predicted that HPM can be found widely applicable in engineering.     

A new fractional analytical approach via a modified Riemann–Liouville derivative

This work suggests a new analytical technique called the fractional homotopy perturbation method (FHPM) for solving fractional differential equations of any fractional order. This method is based on He’s homotopy perturbation method and the modified Riemann–Liouville derivative. The fractional differential equations are described in Jumarie’s sense. The results from introducing a modified Riemann–Liouville derivative in the cases studied show the high accuracy, simplicity and efficiency of the approach.     

Jean van Heijenoort’s Contributions to Proof Theory and Its History

Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort??s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort??s unpublished writings on tableaux methods and related work in proof theory is appended.     

达布定理和比较定理思想在中值定理类问题中的运用

微分达布定理表明区间内的导函数具有介值性,这使得我们在考虑一些数学分析问题时,往往可以不需要最高阶导函数的连续性.而在微分方程理论中,比较定理的思想对于解的估计非常重要.本文利用比较定理的思想将中值定理类问题转化为微分方程解的估计问题,对于在数学分析的学习中提高学生的认识和兴趣很有意义.     

State space theory of linear time-invariant systems with delays in state,control, and observation variables,II

We study a coupled mathematical system which provides a good model for important families of linear time-invariant hereditary systems: delay-differential equations, integrodifferential equations, Volterra-Stieltjes integral equations, functional differential equations of retarded and neutral types, etc. Appropriate states are constructed and associated semigroups and abstract differential equations are obtained. We emphasize the structural operator approach as in Delfour and Manitius. Control operators are added to the coupled mathematical system allowing delays in the control variables. Again structural operators are introduced to define the state and obtain abstract differential equations without delays in the control variable as in the work of Vinter and Kwong. Finally observation operators are added which allow for delays in the observation variable. Again a new state and a state equations are constructed in such a way that no delay appear in the new observation operator as in the recent work of D. Salamon.     

Nonlinear feedback control and systems of partial differential equations

Finding an equivalence between two feedback control systems is treated as a problem in the theory of partial differential equation systems. The mathematical aim is to embed the Jakubzyk-Respondek, Hunt-Meyer-Su work on feedback linearization in the general theory of differential systems due to Lie, Cartan, Vessiot, Spencer, and Goldschmidt. We do this by using the functor taking control systems into differential systems, and studying the equivalence invariants of such differential systems. After discussing the general case, attention is focussed on the special situation of most immediate practical importance, the theory of feedback linearization. In this case, the general system for feedback equivalence becomes a system of linear partial differential equations. Conditions are found that the general solution of this system may be described in terms of a Frobenius system and certain differential-algebraic operations.This work was supported by grant from the Ames Research Center of NASA and the Applied Mathematics Program of the National Science Foundation.     

Finite Element Analysis of an Optimal Control Problem in the Coefficients of Time-Harmonic Eddy Current Equations

This paper is concerned with an optimal control problem governed by time-harmonic eddy current equations on a Lipschitz polyhedral domain. The controls are given by scalar functions entering in the coefficients of the curl-curl differential operator in the state equation. We present a mathematical analysis of the optimal control problem, including sensitivity analysis, regularity results, existence of an optimal control, and optimality conditions. Based on these results, we study the finite element analysis of the optimal control problem. Here, the state is discretized by the lowest order edge elements of Nédélec??s first family, and the control is discretized by continuous piecewise linear elements. Our main findings are convergence results of the finite element discretization (without a rate).     

Aspects of Poincaré’s Program for Dynamical Systems and Mathematical Physics

This article is mainly historical, except for the discussion of integrability and characteristic exponents in Sect.?2. After summarising the achievements of Henri Poincaré, we discuss his theory of critical exponents. The theory is applied to the case of three degrees-of-freedom Hamiltonian systems in (1:2:n)-resonance (n>4). In addition we discuss Poincaré??s mathematical physics, in particular the theory of partial differential equations, rotating fluid masses and relativity. Attention is given to the priority question of Special Relativity.