a new subclass of p matrices a new subclass of p matrices is stated for which it is easy to calculate bounds for the solution of a linear complementarity problem where the input data of the linear complementarity problem are not exactly known but can be enclosed in intervals this new class of matrices properly contains all h matrices with positive diagonal entries and is properly contained in the class of p matrices

asymptotic behaviour of a phase field model with three coupled equations without uniqueness abstract we prove the existence of weak solutions for a phase field model with three coupled equations with unknown uniqueness and state several dynamical systems depending on the regularity of the initial data then the existence of families of global attractors level set depending for the corresponding multi valued semiflows is established applying an energy method finally using the regularizing effect of the problem we prove that these attractors are in fact the same

error bounds for the linear complementarity problem with a p matrix abstract we introduce a fundamental quantity associated with a p matrix and show how this quantity is useful in deriving error bounds for the linear complementarity problem of the p type we also obtain upper and lower bounds for the quantity introduced

retrieving topological information for phase field models the phase field approach has become a popular tool in modeling interface motion microstructure evolution and more recently the shape transformation of vesicle membranes under elastic bending energy while it is advantageous to employ phase field models in numerical simu lations to automatically handle topological changes to the microstructures or the configurations of vesicle membranes detecting topological events may also become important for many applications such as those in the simulation of blood cells motivated by such considerations a new quantity is formulated to retrieve some topological information based on the phase field formulation and to capture the occurrence of topological events it can also be used as a control method to avoid unphys ical changes of topology due to the numerical methods should it become necessary for particular practical applications through numerical experiments we demonstrate the effectiveness and the robustness of the new quantity in detecting the topology of fluid bubbles and vesicle membranes

well posedness results and asymptotic behaviour for a phase transition model taking into account microscopic accelerations we obtain an existence and uniqueness result to fremond s phase transition model which take into account microscopic movements and accelerations moreover the irreversible evolution of the phase variable is considered next we perform an asymptotic analysis on the solution to the above problem as the power of the microscopic acceleration forces goes to zero

error estimates for a finite element discretization of a phase field model for mixtures we derive error estimates for finite element discretizations of phase field models that describe phase transitions in nonisothermal mixtures special attention is paid to the applicability of the result for a large class of models with nonlinear constitutive relations and to an approach that avoids an exponential dependence of the constants in the error estimate on the approximation parameter that models the thickness of the diffuse phase transition region the main assumptions on the model are a convexity condition for a function that can be interpreted as the negative local part of the entropy of the system a suitable regularity of the exact solutions and a spectrum estimate for the operator of the allen cahn equation the spectrum estimate is crucial to avoid the exponential dependence of error constants on the approximation parameters in the model this is done by a technique introduced in x feng and a prohl math comp 73 2004 pp 541 567 for phase transitions of pure materials with linear constitutive relations

continuity of the temperature in the two phase stefan problem the classical two phase stefan problem a model for ice water melting gives rise to a singular nonlinear partial differential equation which admits a unique weak solution here we prove that this solution and therefore the temperature in the stefan problem are continuous

on a navier stokes allen cahn model with inertial effects abstract a mathematical model describing the flow of two phase fluids in a bounded container is considered under the assumption that the phase transition is influenced by inertial effects the model couples a variant of the navier stokes system for the velocity u with an allen cahn type equation for the order parameter relaxed in time in order to introduce inertia at the microscopic level the resulting model is characterized by second order material derivatives which constitute the main difficulty in the mathematical analysis in order to obtain a tractable problem a viscous relaxation term is then included in the phase equation the mathematical results consist in existence of weak solutions in 3d and under additional assumptions existence and uniqueness of strong solutions in 2d a partial characterization of the long time behavior of solutions is also given and in particular some issues related to dissipation of energy are discussed

thermodynamically consistent models of phase field type for the kinetics of phase transitions abstract a general framework is given for the phenomenological kinetics of phase transitions in which not only the order parameter but also the temperature may vary in time and space instead of a ginzburg landau free energy functional as used in formulating the cahn hilliard equation we use the analogous entropy functional model entropy functionals and the kinetic equations resulting from them are constructed for various cases phase transitions with and without a critical point and in the former case with or without a latent heat the class considered is general enough to include the entropy functionals for the ising model in mean field approximation the van der waals fluid and a simplified version of the density functional theory of freezing a case without critical point for which the energy is conserved but the order parameter is not provides a thermodynamically consistent derivation of the phase field equations studied by caginalp fix and others and also leads in a natural way to the lyapunov functional given by langer for these equations but the treatment also suggests that a modified version of the phase field equations might provide a more realistic model of freezing

weak solution of a stochastic 3d cahn hilliard navier stokes model driven by jump noise abstract we investigate a stochastic 2d and 3d cahn hilliard navier stokes system with a multiplicative noise of levy type the model consists of the navier stokes equations for the velocity coupled with a cahn hilliard system for the order phase parameter we prove that the system the existence of weak martingale solution for both 2d and 3d cases the proof of the existence is based on a classical galerkin approximation as well as some compactness methods in the 2d case we prove the pathwise uniqueness of the weak solution

existence of global solutions to the caginalp phase field system with dynamic boundary conditions and singular potentials our aim in this article is to prove the global in time existence of solutions to a caginalp phase field system with dynamic boundary conditions and a singular potential the main difficulty is to prove that the solutions are strictly separated from the singular values of the potential this is achieved by studying an auxiliary elliptic problem

the phase field method in the sharp interface limit the phase field pf method for solidification phenomena is an open formulation based on a free energy functional two common choices for the pf potential here referred to briefly as the caginalp and kobayashi models are compared with respect to their numeric results within the classical sharp interface limit both qualitative and quantitative behavior are addressed and an assessment of the computational effort required to approximate a sharp interface problem is made it is shown that the specific form of the free energy potential does have a strong influence on the convergence of the pf results to their sharp interface limit compliance of the pf solutions with the linear kinetic model for the interface temperature is also investigated a simple one dimensional solidification problem in the presence of kinetic undercooling is solved by the pf model and also by a deforming grid method our results support the view that if care is exercised in formulating the phase temperature coupling there is a high degree of confidence in using the pf method for the numerical modeling of general solidification phenomena

an analysis of a phase field model of a free boundary a mathematical analysis of a new approach to solidification problems is presented a free boundary arising from a phase transition is assumed to have finite thickness the physics leads to a system of nonlinear parabolic differential equations existence and regularity of solutions are proved invariant regions of the solution space lead to physical interpretations of the interface a rigorous asymptotic analysis leads to the gibbs thompson condition which relates the temperature at the interface to the surface tension and curvature

the gibbs thompson relation within the gradient theory of phase transitions this paper discusses the asymptotic behavior as 0 of the chemical potentials associated with solutions of variational problems within the van der waals cahn hilliard theory of phase transitions in a fluid with free energy per unit volume given by 2 2 w where is the density the main result is that is asymptotically equal to e d o with e the interfacial energy per unit surface area of the interface between phases the constant sum of principal curvatures of the interface and d the density jump across the interface this result is in agreement with a formula conjectured by m gurtin and corresponds to the gibbs thompson relation for surface tension proved by g caginalp within the context of the phase field model of free boundaries arising from phase transitions

the quasistationary phase field equations with neumann boundary conditions abstract we prove that the quasistationary phase field equations t u u f 2e 1 e w u where w t t 2 1 2 is a double well potential admit a solution when the space dimension n 3 and that the solutions converge for e 0 to solutions of the stefan problem with gibbs thomson law

shape instabilities and pattern formation in solidification a new method for numerical solution of the moving boundary problem abstract when a solidification front is advancing into a region of supercooled liquid its shape is subject to instabilities which can lead to complex modes of growth the evaluation of the growth pattern is determined by the interaction of the driving force of the instability due to heat diffusion with the restabilizing force due to surface tension and its full development is a highly nonlinear process a new method for solving the two phase heat diffusion problem under these conditions is described the method is based on a single domain treatment weak formulation of the moving boundary problem with the temperature field near the interface approximated by a piecewise linear function in the spirit of the finite element technique calculated results for a model problem are in excellent agreement with the predictions of an analytical approximation

reconstruction of two time independent coefficients in an inverse problem for a phase field system abstract in this paper we present stability results concerning the inverse problem of determining two time independent coefficients for a phase field system in a bounded domain r n for the dimension n 3 with a single observation on a subdomain and the sobolev norm of certain partial derivatives of the solutions at a fixed positive time 0 t over the whole spatial domain the proof of these results relies on an appropriate carleman estimate for the phase field system

quasilinear systems with memory kernels we consider a quasilinear integrodifferential system in non normal form such a system is a generalization of a phase field model with memory and includes as a particular case the system describing the combustion of a material with memory in this paper we study both the direct and the inverse problems our fundamental tools are the theory of analytic semigroups optimal regularity results and fixed point arguments

exponential attractors for a conserved phase field system with memory we consider a conserved phase field system of caginalp type characterized by the assumption that both the internal energy and the heat flux depend on the past history of the temperature and its gradient respectively the model consists of a parabolic integrodifferential equation coupled with a fourth order evolution equation for the phase field this system supplemented with suitable boundary conditions can be interpreted as a dissipative dynamical system in a proper phase space in a previous joint work the last two authors have proved the existence of a global attractor of finite fractal dimension here we show the existence of an exponential attractor by means of the techniques we developed for nonconserved phase field systems with memory

systems of linear interval equations this paper presents theory and methods for computing the exact bounds on the solution of a system of n linear equations in n variables whose coefficients and right hand sides vary in some real intervals finite and iterative methods are given based on results from linear complementarity theory also regularity conditions regularity testing and computing the exact inverse of an interval matrix are dealt with

diland an algorithm for distributed sensor localization with noisy distance measurements we present an algorithm for distributed sensor localization with noisy distance measurements diland that extends and makes the dlre more robust dlre is a distributed sensor localization algorithm in rm m 1 introduced in our previous work ieee trans signal process vol 57 no 5 pp 2000 2016 may 2009 diland operates when 1 the communication among the sensors is noisy 2 the communication links in the network may fail with a nonzero probability and 3 the measurements performed to compute distances among the sensors are corrupted with noise the sensors which do not know their locations lie in the convex hull of at least m 1 anchors nodes that know their own locations under minimal assumptions on the connectivity and triangulation of each sensor in the network we show that under the broad random phenomena described above diland converges almost surely a s to the exact sensor locations

the numerical computation of heteroclinic connections in systems of gradient partial differential equations the numerical computation of heteroclinic connections in partial differential equations pdes with a gradient structure such as those arising in the modeling of phase transitions is considered initially a scalar reaction diffusion equation is studied structural assumptions are made on the problem to ensure the existence of absorbing sets and consequently a global attractor as a result of the gradient structure it is known that if all equilibria are hyperbolic the global attractor comprises the set of equilibria and heteroclinic orbits connecting equilibria to one another thus it is natural to consider direct approximation of the set of equilibria and the connecting orbits results are proved about the fourier spanning basis for branches of equilibria and also for certain heteroclinic connections these results exploit the oddness of the nonlinearity the reaction diffusion equation is then approximated by a galerkin spectral discretization to produce a system of ordinary differential equations

abstract approach to evolution equations of phase field type and applications a general system of abstract nonlinear parabolic equations deriving from phase field models of heat transfer in anisotropic fluids with phase transitions is studied through a backward finite differences approximation scheme and existence and uniqueness theorems are proved then applications are presented to two physical situations first a standard heat diffusion problem is briefly discussed mainly as a justification of the choices of the abstract setting second a more interesting transmission problem between two different adjoining fluids is studied under very general compatibility hypotheses and the abstract results are adapted to provide an existence and uniqueness theorem also in this case moreover through convex analysis techniques it is performed a mathematical study of the subdifferential type relations linking the phase fields and the temperatures to the internal energies of the fluids email schimper dragon ian pv cnr it keywords phase field models subdifferential operators abstract evolution equations

global existence and asymptotic behavior for the radially symmetric case of a two phase stefan problem with interfacial energy abstract this paper is concerned with global existence in time and asymptotic behavior for the radially symmetric case of a stefan problem with surface tension effects on the interface according to the static gibbs thomson law these problems arise in phase change theory

local minimisers and singular perturbations we construct local minimisers to certain variational problems the method is quite general and relies on the theory of convergence the approach is demonstrated through the model problem it is shown that in certain nonconvex domains n and for e small there exist nonconstant local minimisers u e satisfying u e 1 except in a thin transition layer the location of the layer is determined through the requirement that in the limit u e u 0 the hypersurface separating the states u 0 1 and u 0 1 locally minimises surface area generalisations are discussed with for example vector valued u and anisotropic perturbations replacing u 2

front tracking finite element method for dendritic solidification 765 abstract a two dimensional finite element method capable of tracking sharp interfaces is developed the method is based on a fixed mesh of bilinear isoparametric elements and is extremely simple and easy to use the interfaces are tracked with a set of marker points that define their position at all times several different approaches to finding the interface position and velocity are discussed and their effect on the convergence rate is examined it is shown through numerical examples that the approximation to the interface position converges with second order accuracy in two dimensional problems as opposed to previously developed finite difference algorithms that are only first order accurate the approximation to the interface velocity is shown to be of first order a number of examples are examined including several that provide a careful comparison with previously published results

phase field method to optimize dielectric devices for electromagnetic wave propagation we discuss a phase field method for shape optimization in the context of electromagnetic wave propagation the proposed method has the same functional capabilities as the level set method for shape optimization the first advantage of the method is the simplicity of computation since extra operations such as re initialization of functions are not required the second is compatibility with the topology optimization method due to the similar domain representation and the sensitivity analysis structural shapes are represented by the phase field function defined in the design domain and this function is optimized by solving a time dependent reaction diffusion equation the artificial double well potential function used in the equation is derived from sensitivity analysis we study four types of 2d or 2 5d axisymmetric optimization problems two are the classical problems of photonic crystal design based on the bloch theory and photonic crystal wave guide design and two are the recent topics of designing dielectric left handed metamaterials and dielectric ring resonators

positive p matrices completion problem with zeros in the inverse completion in this paper based on the completion problem of partial p matrix for 1 chordal graph we obtain the partial positive p matrix completions of k chordal graphs and k chordal block graphs under some conditions and solve partial positive p matrix completion problems with zeros in the inverse completion for k chordal graphs and k chordal block graphs k 2

phase field models for hypercooled solidification abstract properties of the solidification front in a hypercooled liquid so called because the temperature of the resulting solid is below the melting temperature are derived using a phase field diffuse interface model certain known properties for hypercooled fronts in specific materials are reflected within our theories such as the presence of thin thermal layers and the trend towards smoother fronts with less pronounced dendrites when the undercooling is increased within the hypercooled regime both an asymptotic analysis to derive the relevant free boundary problems and a rigorous determination of the inner profile of the diffusive interface are given of particular interest is the incorporation of anisotropy and general microscale interactions leading to higher order differential operators these features necessitate a much richer mathematical analysis than previous theories anisotropic free boundary problems are derived from our models the simplest of which involves determining the evolution of a set a solid particle whose boundary moves with velocity depending on its normal vector considerable attention is given to the identification of surface tension to comparison with previous theories and to questions of stability

hyperbolic phase field dynamics with memory abstract we consider a non conserved phase field system which consists of two nonlinearly coupled hyperbolic integrodifferential equations this model is derived from two basic assumptions the heat flux law is of gurtin pipkin type and the response of the order parameter to the variation of the free energy functional is delayed these hypotheses might be a reasonable attempt to describe for instance the melt of he 4 crystals a suitable initial and boundary value problem is then associated with the system and its well posedness is analyzed in detail

computation of sharp phase boundaries by spreading the planar and spherically symmetric cases abstract the sharp interface that arises from any of the major transition problems classical or modified stefan etc can be smoothed using the phase field approach as a numerical tool the basic idea is that the thickness of the interface can be regarded as a mathematical free parameter which can be stretched beyond its physical value for computational convenience the computations in one dimensional space and n dimensions with radial symmetry indicate that this is an efficient method for dealing with stiff equations and results in a very accurate interface determination without explicit tracking the question of optimizing the interfacial thickness with respect to grid size is also considered empirically the technique also provides a numerical verification of the concept of an unstable critical radius of solidification

on a nonlocal phase field system abstract we study the existence uniqueness and continuous dependence on initial data of the solution to a nonlocal phase field system on a bounded domain the system is a gradient flow for a free energy functional with nonlocal interaction also we study the asymptotic behavior of the solution and show the existence of an absorbing set in some metric space

singularity wielandt s lemma and singular values in this study some upper and lower bounds for singular values of a general complex matrix are investigated according to singularity and wielandt s lemma of matrices especially some relationships between the singular values of the matrix a and its block norm matrix are established based on these relationships one may obtain the effective estimates for the singular values of large matrices by using the lower dimension norm matrices in addition a small error in piazza 2002 g piazza t politi an upper bound for the condition number of a matrix in spectral norm j comput appl math 143 1 2002 141 144 is also corrected some numerical experiments on saddle point problems show that these results are simple and sharp under suitable conditions