2008, Schmid, Florian

A quasi-static contact problem is considered for a non-linear elastic system with finitely many degrees of freedom. Coulomb's law is used to model friction and the friction coefficient may be anisotropic and may vary along the surface of the rigid obstacle. Existence is established following a time-incremental minimization problem. Friction is artificially decreased to resolve the discontinuity arising from making and losing contact.

2006, Glitzky, Annegret, Hünlich, Rolf

We investigate linear parabolic systems with coupled nonsmooth capacities and mixed boundary conditions. We prove generalized resolvent estimates in W-1,p spaces. The method is an appropriate modification of a technique introduced by Agmon to obtain Lp estimates for resolvents of elliptic differential operators in the case of smooth boundary conditions. Moreover, we establish an existence and uniqueness result.

2015, Patterson, Robert I.A.

Well posedness is established for a family of equations modelling particle populations undergoing delocalised coagulation, advection, inflow and outflow in a externally specified velocity field. Very general particle types are allowed while the spatial domain is a bounded region of d-dimensional space for which every point lies on exactly one streamline associated with the velocity field. The problem is formulated as a semi-linear ODE in the Banach space of bounded measures on particle position and type space. A local Lipschitz property is established in total variation norm for the propagators (generalised semi-groups) associated with the problem and used to construct a Picard iteration that establishes local existence and global uniqueness for any initial condition. The unique weak solution is shown further to be a differentiable or at least bounded variation strong solution under smoothness assumptions on the parameters of the coagulation interaction. In the case of one spatial dimension strong differentiability is established even for coagulation parameters with a particular bounded variation structure in space. This one dimensional extension establishes the convergence of the simulation processes studied in [Patterson, textitStoch. Anal. Appl. 31, 2013] to a unique and differentiable limit.

2006, Glitzky, Annegret, Hünlich, Rolf

We discuss a stationary energy model from semiconductor modelling. We accept the more realistic assumption that the continuity equations for electrons and holes have to be considered only in a subdomain $Omega_0$ of the domain of definition $Omega$ of the energy balance equation and of the Poisson equation. Here $Omega_0$ corresponds to the region of semiconducting material, $OmegasetminusOmega_0$ represents passive layers. Metals serving as contacts are modelled by Dirichlet boundary conditions. We prove a local existence and uniqueness result for the two-dimensional stationary energy model. For this purpose we derive a $W^1,p$-regularity result for solutions of systems of elliptic equations with different regions of definition and use the Implicit Function Theorem.

2020, Lasarzik, Robert

In this paper, existence of generalized solutions to a thermodynamically consistent Navier--Stokes--Cahn--Hilliard model introduced in [19] is proven in any space dimension. The generalized solvability concepts are measure-valued and dissipative solutions. The measure-valued formulation incorporates an entropy inequality and an energy inequality instead of an energy balance in a nowadays standard way, the Gradient flow of the internal variable is fulfilled in a weak and the momentum balance in a measure-valued sense. In the dissipative formulation, the distributional relations of the momentum balance and the energy as well as entropy inequality are replaced by a relative energy inequality. Additionally, we prove the weak-strong uniqueness of the proposed solution concepts and that all generalized solutions with additional regularity are indeed strong solutions.

2016, Kraus, Christiane, Roggensack, Arne

In this paper, we introduce and study analytically a vectorial Cahn-Hilliard reaction model coupled with rate-dependent damage processes. The recently proposed Cahn-Hilliard reaction model can e.g. be used to describe the behavior of electrodes of lithium-ion batteries as it includes both the intercalation reactions at the surfaces and the separation into different phases. The coupling with the damage process allows considering simultaneously the evolution of a damage field, a second important physical effect occurring during the charging or discharging of lithium-ion batteries. Mathematically, this is realized by a Cahn-Larché system with a non-linear Newton boundary condition for the chemical potential and a doubly non-linear differential inclusion for the damage evolution. We show that this system possesses an underlying generalized gradient structure which incorporates the non-linear Newton boundary condition. Using this gradient structure and techniques from the field of convex analysis we are able to prove constructively the existence of weak solutions of the coupled PDE system.

2018, Lasarzik, Robert

In this article, we prove the existence of measure-valued solutions to the EricksenLeslie system equipped with the OseenFrank energy. We introduce the concept of generalized gradient Young measures. Via a Galerkin approximation, we show the existence of weak solutions to a regularized system and attain measure-valued solutions for vanishing regularization. Additionally, it is shown that the measure-valued solution fulfills an energy inequality.

2006, Schmid, Florian, Mielke, Alexander

We consider the rate-independent problem of a particle moving in a three - dimensional half space subject to a time-dependent nonlinear restoring force having a convex potential and to Coulomb friction along the flat boundary of the half space, where the friction coefficient may vary along the boundary. Our existence result allows for solutions that may switch arbitrarily often between unconstrained motion in the interior and contact where the solutions may switch between sticking and frictional sliding. However, our existence result is local and guarantees continuous solutions only as long as the convexity of the potential is strong enough to compensate the variation of the friction coefficient times the contact pressure. By simple examples we show that our sufficient conditions are also necessary. Our method is based on the energetic formulation of rate-independent systems as developed by Mielke and co-workers. We generalize the time-incremental minimization procedure of Mielke and Rossi for the present situation of a non-associative flow rule.

2015, Heinemann, Christian, Kraus, Christiane, Rocca, Elisabetta, Rossi, Riccarda

In this paper we study a model for phase separation and damage in thermoviscoelastic materials. The main novelty of the paper consists in the fact that, in contrast with previous works in the literature (cf., e.g., [21, 22]), we encompass in the model thermal processes, nonlinearly coupled with the damage, concentration and displacement evolutions. More in particular, we prove the existence of entropic weak solutions, resorting to a solvability concept first introduced in [10] in the framework of Fourier-Navier-Stokes systems and then recently employed in [9, 38] for the study of PDE systems for phase transition and damage. Our global-intime existence result is obtained by passing to the limit in a carefully devised time-discretization scheme.

2010, Glitzky, Annegret

We introduce an electronic model for solar cells including energy resolved defect densities. The resulting drift-diffusion model corresponds to a generalized van Roosbroeck system with additional source terms coupled with ODEs containing space and energy as parameters for all defect densities. The system has to be considered in heterostructures and with mixed boundary conditions from device simulation. We give a weak formulation of the problem. If the boundary data and the sources are compatible with thermodynamic equilibrium the free energy along solutions decays monotonously. In other cases it may be increasing, but we estimate its growth. We establish boundedness and uniqueness results and prove the existence of a weak solution. This is done by considering a regularized problem, showing its solvability and the boundedness of its solutions independent of the regularization level.