Searcharxiv⌕ Search

arXiv subjects

Jürgen Sprekels

Publications and source records attributed to Jürgen Sprekels.

At least 55 records · Page 3Linked to original sources

On the longtime behavior of a viscous Cahn-Hilliard system with convection and dynamic boundary conditions

In this paper, we study the longtime asymptotic behavior of a phase separation process occurring in a three-dimensional domain containing a fluid flow of given velocity. This process is modeled by a viscous convective Cahn-Hilliard system, which consists of two nonlinearly coupled second-order partial differential equations for the unknown quantities, the chemical potential and an order parameter representing the scaled density of one of the phases. In contrast to other contributions, in which zero Neumann boundary conditions were are assumed for both the chemical potential and the order parameter, we consider the case of dynamic boundary conditions, which model the situation when another phase transition takes place on the boundary. The phase transition processes in the bulk and on the boundary are driven by free energies functionals that may be nondifferentiable and have derivatives only in the sense of (possibly set-valued) subdifferentials. For the resulting initial-boundary value system of Cahn-Hilliard type, general well-posedness results have been established in a recent contribution by the same authors. In the present paper, we investigate the asymptotic behavior of the solutions as times approaches infinity. More precisely, we study the $ω$-limit (in a suitable topology) of every solution trajectory. Under the assumptions that the viscosity coefficients are strictly positive and that at least one of the underlying free energies is differentiable, we prove that the $ω$-limit is meaningful and that all of its elements are solutions to the corresponding stationary system, where the component representing the chemical potential is a constant.

math.AP↗

Optimal boundary control of a nonstandard viscous Cahn-Hilliard system with dynamic boundary condition

In this paper, we study an optimal boundary control problem for a model for phase separation taking place in a spatial domain that was introduced by Podio-Guidugli in Ric. Mat. 55 (2006), pp. 105-118. The model consists of a strongly coupled system of nonlinear parabolic differential equations, in which products between the unknown functions and their time derivatives occur that are difficult to handle analytically. In contrast to the existing control literature about this PDE system, we consider here a dynamic boundary condition involving the Laplace-Beltrami operator for the order parameter of the system, which models an additional nonconserving phase transition occurring on the surface of the domain. We show the Fréchet differentiability of the associated control-to-state operator in appropriate Banach spaces and derive results on the existence of optimal controls and on first-order necessary optimality conditions in terms of a variational inequality and the adjoint state system.

math.AP↗

Optimal boundary control of a nonstandard Cahn-Hilliard system with dynamic boundary condition and double obstacle inclusions

In this paper, we study an optimal boundary control problem for a model for phase separation taking place in a spatial domain that was introduced by P. Podio-Guidugli in Ric. Mat. 55 (2006), pp. 105-118. The model consists of a strongly coupled system of nonlinear parabolic differential inclusions, in which products between the unknown functions and their time derivatives occur that are difficult to handle analytically; the system is complemented by initial and boundary conditions. For the order parameter of the phase separation process, a dynamic boundary condition involving the Laplace-Beltrami operator is assumed, which models an additional nonconserving phase transition occurring on the surface of the domain. We complement in this paper results that were established in the recent contribution appeared in Evol. Equ. Control Theory 6 (2017), pp. 35-58, by the two authors and Gianni Gilardi. In contrast to that paper, in which differentiable potentials of logarithmic type were considered, we investigate here the (more difficult) case of nondifferentiable potentials of double obstacle type. For such nonlinearities, the standard techniques of optimal control theory to establish the existence of Lagrange multipliers for the state constraints are known to fail. To overcome these difficulties, we employ the following line of approach: we use the results contained in the preprint arXiv:1609.07046 [math.AP] for the case of (differentiable) logarithmic potentials and perform a so-called "deep quench limit". Using compactness and monotonicity arguments, it is shown that this strategy leads to the desired first-order necessary optimality conditions for the case of (nondifferentiable) double obstacle potentials.

math.AP↗

Constrained evolution for a quasilinear parabolic equation

In the present contribution, a feedback control law is studied for a quasilinear parabolic equation. First, we prove the well-posedness and some regularity results for the Cauchy-Neumann problem for this equation, modified by adding an extra term which is a multiple of the subdifferential of the distance function from a closed convex set of the space of square-integrable functions. Then, we consider convex sets of obstacle or double-obstacle type and prove rigorously the following property: if the factor in front of the feedback control is sufficiently large, then the solution reaches the convex set within a finite time and then moves inside it.

math.AP↗

A new type of identification problems: optimizing the fractional order in a nonlocal evolution equation

In this paper, we consider a rather general linear evolution equation of fractional type, namely a diffusion type problem in which the diffusion operator is the $s$th power of a positive definite operator having a discrete spectrum in $\R^+$. We prove existence, uniqueness and differentiability properties with respect to the fractional parameter $s$. These results are then employed to derive existence as well as first-order necessary and second-order sufficient optimality conditions for a minimization problem, which is inspired by considerations in mathematical biology. In this problem, the fractional parameter $s$ serves as the "control parameter" that needs to be chosen in such a way as to minimize a given cost functional. This problem constitutes a new class of identification problems: while usually in identification problems the type of the differential operator is prescribed and one or several of its coefficient functions need to be identified, in the present case one has to determine the type of the differential operator itself. This problem exhibits the inherent analytical difficulty that with changing fractional parameter $s$ also the domain of definition, and thus the underlying function space, of the fractional operator changes.

math.AP↗

On an application of Tikhonov's fixed point theorem to a nonlocal Cahn-Hilliard type system modeling phase separation

This paper investigates a nonlocal version of a model for phase separation on an atomic lattice that was introduced by P. Podio-Guidugli in Ric. Mat. 55 (2006) 105-118. The model consists of an initial-boundary value problem for a nonlinearly coupled system of two partial differential equations governing the evolution of an order parameter and the chemical potential. Singular contributions to the local free energy in the form of logarithmic or double-obstacle potentials are admitted. In contrast to the local model, which was studied by P. Podio-Guidugli and the present authors in a series of recent publications, in the nonlocal case the equation governing the evolution of the order parameter contains in place of the Laplacian a nonlocal expression that originates from nonlocal contributions to the free energy and accounts for possible long-range interactions between the atoms. It is shown that just as in the local case the model equations are well posed, where the technique of proving existence is entirely different: it is based on an application of Tikhonov's fixed point theorem in a rather unusual separable and reflexive Banach space.

math.AP↗

Regularity of the solution to a nonstandard system of phase field equations

A nonstandard system of differential equations describing two-species phase segregation is considered. This system naturally arises in the asymptotic analysis recently done by Colli, Gilardi, Krejci and Sprekels as the diffusion coefficient in the equation governing the evolution of the order parameter tends to zero. In particular, a well-posedness result is proved for the limit system. This paper deals with the above limit problem in a less general but still very significant framework and provides a very simple proof of further regularity for the solution. As a byproduct, a simple uniqueness proof is given as well.

math.AP↗

Asymptotic analyses and error estimates for a Cahn-Hilliard type phase field system modelling tumor growth

This paper is concerned with a phase field system of Cahn-Hilliard type that is related to a tumor growth model and consists of three equations in terms of the variables order parameter, chemical potential and nutrient concentration. This system has been investigated in the recent contributions arXiv:1401.5943 [math.AP] and arXiv:1501.07057 [math.AP] from the viewpoint of well-posedness, long time behavior and asymptotic convergence as two positive viscosity coefficients tend to zero at the same time. Here, we continue the analysis performed in arXiv:1501.07057 [math.AP] by showing two independent sets of results as just one of the coefficients tends to zero, the other remaining fixed. We prove convergence results, uniqueness of solutions to the two resulting limit problems, and suitable error estimates.

math.AP↗

Optimal distributed control of a nonlocal Cahn-Hilliard/Navier-Stokes system in 2D

We study a diffuse interface model for incompressible isothermal mixtures of two immiscible fluids coupling the Navier--Stokes system with a convective nonlocal Cahn--Hilliard equation in two dimensions of space. We apply recently proved well-posedness and regularity results in order to establish existence of optimal controls as well as first-order necessary optimality conditions for an associated optimal control problem in which a distributed control is applied to the fluid flow.

math.AP↗

Optimal control of an Allen-Cahn equation with singular potentials and dynamic boundary condition

In this paper, we investigate optimal control problems for Allen-Cahn equations with singular nonlinearities and a dynamic boundary condition involving singular nonlinearities and the Laplace-Beltrami operator. The approach covers both the cases of distributed controls and of boundary controls. The cost functional is of standard tracking type, and box constraints for the controls are prescribed. Parabolic problems with nonlinear dynamic boundary conditions involving the Laplace-Beltrami operation have recently drawn increasing attention due to their importance in applications, while their optimal control was apparently never studied before. In this paper, we first extend known well-posedness and regularity results for the state equation and then show the existence of optimal controls and that the control-to-state mapping is twice continuously Fréchet differentiable between appropriate function spaces. Based on these results, we establish the first-order necessary optimality conditions in terms of a variational inequality and the adjoint state equation, and we prove second-order sufficient optimality conditions.

math.AP↗

Optimal boundary control of a viscous Cahn-Hilliard system with dynamic boundary condition and double obstacle potentials

In this paper, we investigate optimal boundary control problems for Cahn-Hilliard variational inequalities with a dynamic boundary condition involving double obstacle potentials and the Laplace-Beltrami operator. The cost functional is of standard tracking type, and box constraints for the controls are prescribed. We prove existence of optimal controls and derive first-order necessary conditions of optimality. The general strategy, which follows the lines of the recent approach by Colli, Farshbaf-Shaker, Sprekels (see the preprint arXiv:1308.5617) to the (simpler) Allen-Cahn case, is the following: we use the results that were recently established by Colli, Gilardi, Sprekels in the preprint arXiv:1407.3916 [math.AP] for the case of (differentiable) logarithmic potentials and perform a so-called "deep quench limit". Using compactness and monotonicity arguments, it is shown that this strategy leads to the desired first-order necessary optimality conditions for the case of (non-differentiable) double obstacle potentials.

math.AP↗

Analysis of a time discretization scheme for a nonstandard viscous Cahn-Hilliard system

In this paper we propose a time discretization of a system of two parabolic equations describing diffusion-driven atom rearrangement in crystalline matter. The equations express the balances of microforces and microenergy; the two phase fields are the order parameter and the chemical potential. The initial and boundary-value problem for the evolutionary system is known to be well posed. Convergence of the discrete scheme to the solution of the continuous problem is proved by a careful development of uniform estimates, by weak compactness and a suitable treatment of nonlinearities. Moreover, for the difference of discrete and continuous solutions we prove an error estimate of order one with respect to the time step.

math.AP↗

A deep quench approach to the optimal control of an Allen-Cahn equation with dynamic boundary condition and double obstacle potentials

In this paper, we investigate optimal control problems for Allen-Cahn variational inequalities with a dynamic boundary condition involving double obstacle potentials and the Laplace-Beltrami operator. The approach covers both the cases of distributed controls and of boundary controls. The cost functional is of standard tracking type, and box constraints for the controls are prescribed. We prove existence of optimal controls and derive first-order necessary conditions of optimality. The general strategy is the following: we use the results that were recently established by two of the authors for the case of (differentiable) logarithmic potentials and perform a so-called "deep quench limit". Using compactness and monotonicity arguments, it is shown that this strategy leads to the desired first-order necessary optimality conditions for the case of (non-differentiable) double obstacle potentials.

math.AP↗

A continuous dependence result for a nonstandard system of phase field equations

The present note deals with a nonstandard systems of differential equations describing a two-species phase segregation. This system naturally arises in the asymptotic analysis carried out recently by the same authors, as the diffusion coefficient in the equation governing the evolution of the order parameter tends to zero. In particular, an existence result has been proved for the limit system in a very general framework. On the contrary, uniqueness was shown by assuming a constant mobility coefficient. Here, we generalize this result and prove a continuous dependence property in the case that the mobility coefficient suitably depends on the chemical potential.

math.AP↗