Refine
Year of publication
Language
- English (1103) (remove)
Keywords
- optimal control (27)
- stability (14)
- integer programming (11)
- Stochastic programming (9)
- finite elements (9)
- mixed integer programming (9)
- Hamiltonian matrix (8)
- finite element method (8)
- model reduction (8)
- state constraints (8)
Global higher integrability of minimizers of variational problems with mixed boundary conditions
(2012)
We consider integral functionals with densities of p-growth, with respect to gradients, on a Lipschitz domain with mixed boundary conditions. The aim of this paper is to prove that, under uniform estimates within certain classes of p-growth and coercivity assumptions on the density, the minimizers are of higher integrability order, meaning that they belong to the space of first order Sobolev functions with an integrability of order $p+\epsilon$ for a uniform $\epsilon >0$. The results are applied to a model describing damage evolution in a nonlinear elastic body and to a model for shape memory alloys.
Global spatial regularity for elasticity models with cracks, contact and other nonsmooth constraints
(2012)
A global higher differentiability result in Besov
spaces is proved for the displacement fields of linear elastic models
with self contact.
Domains with cracks are studied, where nonpenetration
conditions/Signorini conditions are imposed on the crack faces.
It is shown that
in a neighborhood of crack tips (in 2D) or
crack fronts (3D) the displacement fields are
$B^{3/2}_{2,\infty}$ regular.
The proof relies on a difference
quotient argument for the directions tangential to the crack. In order
to obtain the regularity estimates also in the normal direction, an
argument due to
Ebmeyer/Frehse/Kassmann is modified.
The methods are then applied to further examples like
contact problems with nonsmooth rigid foundations, to a model with
Tresca friction and
to minimization problems with
nonsmooth energies and constraints as they occur for instance in the modeling of
shape memory alloys.
Based on Falk's approximation Theorem for variational
inequalities, convergence rates for FE-discretizations of contact
problems are derived relying on the proven regularity properties.
Several numerical examples illustrate the theoretical results.
Existence result for a class of generalized standard materials with thermomechanical coupling
(2012)
This paper deals with the study of a three-dimensional model of thermomechanical coupling for viscous solids exhibiting hysteresis effects. This model is written in accordance with the formalism of generalized standard materials. It is composed by the momentum equilibrium equation combined with the flow rule, which describes some stress-strain dependance, and the heat-transfer equation. An existence result for this thermodynamically consistent problem is obtained by using a fixed-point argument and some qualitative properties of the solutions are established.
In this paper we revisit models for the description of the evolution of crystalline films with anisotropic surface energies.
We prove equivalences of symmetry properties of anisotropic surface energy models commonly used in the literature.
Then we systematically develop a framework for the derivation of surface diffusion models for the self-assembly of quantum dots during Stranski-Krastanov
growth that include surface energies also with large anisotropy as well as the effect of wetting energy,
elastic energy and a randomly perturbed atomic deposition flux.
A linear stability analysis for the resulting sixth-order semilinear evolution equation for the thin film surface shows that that the new model allows
for large anisotropy and gives rise to the formation of anisotropic quantum dots. The nonlinear three-dimensional evolution is investigated via numerical solutions.
These suggest that increasing anisotropy stabilizes the faceted surfaces and may lead to a dramatic slow-down of the coarsening of the dots.
A typical phase field approach for describing phase separation and
coarsening phenomena in alloys is the Cahn-Hilliard model. This
model has been generalized to the so-called Cahn-Larche system
by combining it with elasticity to capture non-neglecting deformation
phenomena,
which occur during phase separation and coarsening processes in the material.
In order to account for damage effects,
we extend the existing framework of Cahn-Hilliard and Cahn-Larche
systems by incorporating an internal damage variable of local character. This
damage variable allows to model the effect that damage of a material point is influenced by its local surrounding.
The damage process is described by a unidirectional rate-dependent evolution inclusion
for the internal variable.
For the introduced Cahn-Larche systems
coupled with rate-dependent
damage processes, we
establish a suitable notion of weak solutions and prove existence of weak solutions.
An electronic model for solar cells including active interfaces and energy resolved defect densities
(2011)
We introduce an electronic model for solar cells taking into account
heterostructures with active
interfaces and energy resolved volume and interface trap densities.
The model consists of continuity equations for electrons and holes with thermionic
emission transfer conditions at the interface and of ODEs for the trap
densities with energy level and spatial position as parameters,
where the right hand sides contain generation-recombination as well as
ionization reactions. This system is coupled with a Poisson
equation for the electrostatic potential.
We show the thermodynamic correctness of the model and prove a priori estimates
for the solutions to the evolution system. Moreover, existence and uniqueness
of weak solutions of the problem are proven. For this purpose we solve a
regularized problem and verify bounds of the corresponding solution
not depending on the regularization level.
Dissipativity is an important property of individual systems
that guarantees a stable interconnected system.
However, due to errors in the modeling process weakly non-dissipative
models may be constructed.
In this paper we introduce a method to perturb a non-dissipative LTI system in order to enforce dissipativity using spectral perturbation results for
para-Hermitian pencils.
Compared to earlier algorithms the new method
is applicable to a wider class of problems,
it utilizes a simpler framework, and
employs a larger class of allowable perturbations
resulting in smaller perturbations. Moreover, system stability can be enforced as well.
Numerical examples are provided to show the effectiveness of the new approach.
Time-stepping procedures for the solution of evolution equations can be performed on parallel architecture by parallelizing the space computation at each time step. This, however, requires heavy communication between processors and becomes inefficient when many time-steps are to be computed and many processors are available. In such
cases parallelization in time is advantageous.
In this paper we present a method for parallelization in time of linear multistep discretizations of linear evolution problems; we consider a model parabolic and a model hyperbolic problem, and their, respectively, A(theta)-stable and A-stable linear multistep discretizations. The method consists of a discrete decoupling procedure, whereby N+1 decoupled Helmholtz problems with complex frequencies are obtained; N being the number of time steps computed in parallel. The usefulness of the method rests on our ability to solve these Helmholtz problems efficiently. We discuss the theory and give numerical examples for multigrid preconditioned iterative solvers of relevant
complex frequency Helmholtz problems. The parallel
approach can easily be combined with a time-stepping procedure, thereby obtaining a block time-stepping method where each block of steps is computed in parallel. In this way we are able to optimize the algorithm with respect to the number of processors available, the difficulty of solving the Helmholtz problems, and the possibility of both time and space adaptivity. Extensions to other linear evolution problems and to Runge-Kutta time discretization
are briefly mentioned.
Affinely-Adjustable Robust Counterparts provide tractable alternatives to (two-stage) robust programs with arbitrary recourse. We apply them to robust network design with polyhedral demand uncertainty, introducing the affine routing principle. We compare the affine routing to the well-studied static and dynamic routing schemes for robust network design. All three schemes are embedded into the general framework of two-stage network design with recourse. It is shown that affine routing can be seen as a generalization of the widely used static routing still being tractable and providing cheaper solutions. We investigate properties on the demand polytope under which affine routings reduce to static routings and also develop conditions on the uncertainty set leading to dynamic routings being affine. We show however that affine routings suffer from the drawback that (even totally) dominated demand vectors are not necessarily supported by affine solutions. Uncertainty sets have to be designed accordingly. Finally, we present computational results on networks from SNDlib. We conclude that for these instances the optimal solutions based on affine routings tend to be as cheap as optimal network designs for dynamic routings. In this respect the affine routing principle can be used to approximate the cost for two-stage solutions with free recourse which are hard to compute.
This paper establishes the equivalence of conforming Courant finite element method and nonconforming Crouzeix-Raviart finite element method in the sense that the respective energy error norms are equivalent up to generic constants and higher-order data oscillations in a Poisson model problem. The Raviart-Thomas mixed finite element method is better than the previous two whereas the conjecture of the converse relation is proved to be false.
This paper completes the analysis of comparison initiated by Braess in Calcolo (2010). Two numerical benchmarks illustrate the comparison theorems and the possible strict superiority of the Raviart-Thomas mixed finite element method. Applications include least-squares finite element methods and equality of approximation classes for concepts of optimality for adaptive finite element methods.
This work concerns the approximation of the shape operator of smooth surfaces in $\mathbb{R}^{3}$ from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued linear functionals on a Sobolev space of vector fields and can be rigorously defined on smooth and on polyhedral surfaces. We consider polyhedral surfaces that approximate smooth surfaces and prove two types of approximation estimates: one concerning the approximation of the generalized shape operators in the operator norm and one concerning the pointwise approximation of the (classic) shape operator, including mean and Gaussian curvature, principal curvatures, and principal curvature directions.
The estimates are confirmed by numerical experiments.
We propose a framework for deformation-based surface modeling that is interactive, robust and intuitive to use. The deformations are described by a non-linear optimization problem that models static states of elastic shapes under external forces which implement the user input. Interactive response is achieved by a combination of model reduction, a robust energy approximation, and an efficient quasi-Newton solver. Motivated by the observation that a typical modeling session requires only a fraction of the full shape
space of the underlying model, we use second and third derivatives of a deformation energy to construct a low-dimensional shape space that forms the feasible set for the optimization. Based on mesh coarsening, we propose an
energy approximation scheme with adjustable approximation quality. The quasi-Newton solver guarantees superlinear convergence without the need of costly Hessian evaluations during modeling. We demonstrate the effectiveness of the approach on different examples including the test suite introduced in [Botsch and Sorkine 2008].
This work concerns the approximation of the shape operator of smooth surfaces in R^3 from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued linear functionals on a Sobolev space of vector fields and can be rigorously defined on smooth and on polyhedral surfaces. We consider polyhedral surfaces that approximate smooth surfaces and prove two types of approximation estimates: one concerning the approximation of the generalized shape operators in the operator norm and one concerning the pointwise approximation of the (classic) shape operator. We show experimental results that confirm our estimates.
Explicit Error Estimates for Courant, Crouzeix-Raviart and Raviart-Thomas Finite Element Methods
(2011)
The elementary analysis of this paper presents explicit expressions of the constants in the a priori error estimates for the lowest-order Courant, Crouzeix-Raviart nonconforming and Raviart-Thomas mixed finite element methods in the Poisson model problem. The three constants and their dependences on some maximal angle in the triangulation are indeed all comparable and allow accurate a priori error control.
We show that many couplings between parabolic systems for processes in solids can be formulated as a gradient system with respect to the total free energy or the total entropy. This includes Allen-Cahn, Cahn-Hilliard, and reaction-diffusion systems and the heat equation. For this, we write the coupled system as an Onsager system $(X,\Phi,K)$ defining the evolution $\dot{U} = -K(U)D\Phi(U)$. Here $\Phi$ is the driving functional, while the Onsager operator $K(U)$ is symmetric and positive semidefinite. If the inverse $G = K^{-1}$ exists, the triple $(X,\Phi,G)$ defines a gradient system. Onsager systems are well suited to model bulk-interface interactions by using the dual dissipation potential $\Psi^*(U,\Xi) = 1/2 <\Xi,K(U)\Xi>$. Then, the two functionals $\Phi$ and $\Psi^*$ can be written as a sum of a volume integral and a surface integral, respectively. The latter may contain interactions of the driving forces in the interface as well as the traces of the driving forces from the bulk. Thus, capture and escape mechanisms like thermionic emission appear naturally in Onsager systems, namely simply through integration by parts.
A new finite element method computes conductivity in some unstructured particle-reinforced composite material. The 2-phase material under consideration is composed of a poorly conducting matrix material filled by highly conducting circular inclusions which are randomly dispersed. The mathematical model is a Poisson-type problem with discontinuous coefficients. The discontinuities are huge in contrast and quantity.
The proposed method generalizes classical continuous piecewise affine finite elements to special computational meshes which encode the particles in a network structure. Important geometric parameters such as the volume fraction are preserved exactly.
The computational complexity of the resulting method is proportional to the number of inclusions and this is optimal in comparison to data complexity.
The discretization error is proportional to the particle distance and does not depend on the conductivity contrast in the medium.
Duality Results for Stationary Problems of Open Pit Mine Planning in a Continuous Function Framework
(2011)
Open Pit Mine Planning problems are usually considered in a Mixed Integer Programming
context. Characterizing each attainable profile by a continuous function yields a continuous
framework. It allows for a more detailed modeling of slope constraints and other material
properties of slanted layers. Although the resulting nonlinear programming problems are
in general non-convex and non-differentiable, they provide certain advantages as one can
directly compute sensitivities of optimal solutions w.r.t. small data perturbations. In this
work duality results are derived for the stationary problems of the continuous framework
employing an additional condition called convex-likeness.
An optimal control problem to find the fastest collision-free trajectory of a robot surrounded by obstacles is presented.
The collision avoidance is based on linear programming arguments and expressed as state constraints. The optimal control problem is
solved with a sequential programming method. In order to decrease the number of unknowns and constraints a backface culling active set
strategy is added to the resolution technique.