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)
We consider Large Deformation Diffeomorphic Metric Mapping of general $m$-currents. After stating an optimization algorithm in the function space of admissable morph generating velocity fields, two innovative aspects in this framework are presented and numerically investigated: First, we spatially discretize the velocity field with conforming adaptive finite elements and discuss advantages of this new approach. Second, we directly compute the temporal evolution of discrete $m$-current attributes.
We introduce hexagonal global parameterizations, a new
type of surface parameterizations in which parameter lines respect six-fold rotational symmetries (6-RoSy). Such parameterizations enable the tiling of surfaces with nearly regular hexagonal or triangular patterns, and can be used for triangular remeshing.
To construct a hexagonal parameterization on a surface, we provide an automatic algorithm to generate a 6-RoSy field that respects directional and singularity features of the surface. This field is then used to direct a hexagonal global parameterization. The framework, called HexCover, extends the QuadCover algorithm and formulates necessary conditions for hexagonal parameterization.
We demonstrate the usefulness of our geometry-aware global parameterization with applications such as surface tiling with nearly regular textures and geometry patterns, as well as triangular and hexagonal remeshing.
Despite the success of quad-based 2D surface parameterization methods, effective parameterization algorithms for 3D volumes with cubes, i.e. hexahedral elements, are still missing. CubeCover is a first approach which provides both, a consistent theoretical framework for volume parameterization plus a full pipeline for generating
a hexahedral tessellation of a given volume with boundary aligned cubes which are guided by a frame field.
The input of CubeCover is a tetrahedral volume mesh. First, a frame field is designed with manual input from
the designer. It guides the interior and boundary layout of the parameterization. Then, the parameterization and
the hexahedral mesh are computed so as to align with the given frame field.
CubeCover has similarities to the QuadCover algorithm and extends it from 2D surfaces to 3D volumes. The
paper also provides theoretical results for 3D hexahedral parameterizations and analyses topological properties
of the appropriate function space.
We derive gradient-flow formulations for systems describing drift-diffusion processes of a finite number of species which undergo mass-action type reversible reactions. Our investigations cover heterostructures, where material parameter may depend in a nonsmooth way on the space variable. The main results concern a gradient flow formulation for electro-reaction-diffusion systems
with active interfaces permitting drift-diffusion processes and reactions of species living on the interface and transfer mechanisms allowing bulk species to jump into an interface or to pass through interfaces.
The gradient flows are formulated in terms of two functionals: the free energy and the dissipation potential. Both functionals consist of a bulk and an interface integral. The interface integrals determine the interface dynamics as well as the self-consistent coupling to the model in the bulk. The advantage of the gradient structure is that it automatically generates thermodynamically consistent models.
The ability of velocity methods to describe changes
of topology by creating defects like holes is investigated. For the shape optimization energy-type objective functions are considered, which depend on the geometry by means of state variables. The state system is represented by abstract, quadratic, constrained minimization problems stated over domains with defects. The velocity
method provides the shape derivative of the objective function due to finite variations of a defect. Suffcient conditions are
derived which allow us to pass the shape derivative to the limit
with respect to diminishing defect, thus, to obtain the "topological derivative" of the objective function due to a topology change.
An illustrative example is presented for a circular hole bored at
the tip of a crack.
Chimera states are particular trajectories
in systems of phase oscillators with non-local coupling
that display a spatio-temporal pattern of coherent and incoherent motion.
We present here a detailed analysis
of the spectral properties for such trajectories.
First, we study numerically their Lyapunov spectrum
and its behavior for an increasing number of oscillators.
The spectra demonstrate the hyperchaotic nature of the chimera states
and show a correspondence of the Lyapunov dimension
with the number of incoherent oscillators.
Then, we pass to the thermodynamic limit equation
and present an analytic approach
to the spectrum of a corresponding linearized evolution operator.
We show that in this setting, the chimera state is neutrally stable
and that the continuous spectrum coincides with the limit
of the hyperchaotic Lyapunov spectrum obtained for the finite size systems.
For a system of globally pulse-coupled phase-oscillators,
we derive conditions for stability of the completely synchronous
state and all possible two-cluster states and explain
how the different states are naturally connected via
bifurcations. The coupling is modeled using the phaseresponse-
curve (PRC), which measures the sensitivity of
each oscillator’s phase to perturbations. For large systems
with a PRC, which turns to zero at the spiking threshold,
we are able to find the parameter regions where multiple
stable two-cluster states coexist and illustrate this by an
example. In addition, we explain how a locally unstable
one-cluster state may form an attractor together will its
homoclinic connections. This leads to the phenomenon
of intermittent, asymptotic synchronization with abating
beats away from the perfect synchrony.
We prove a necessary and sufficient criterion for the exponential
stability of periodic solutions of delay differential equations with
large delay. We show that for sufficiently large delay the Floquet
spectrum near criticality is characterized by a set of curves, which we
call asymptotic continuous spectrum, that is independent on the
delay.
In this paper we study the destabilization mechanism in a ring of unidirectionally coupled oscillators. We derive an amplitude equation of Ginzburg-Landau type that describes the destabilization of the stationary state for systems with a large number of oscillators. Based on this amplitude equation, we are able to provide an explanation for the fast transition to chaos (or hyperchaos)
that can be observed in such systems. We show that the parameter interval, where the transition from a stable periodic state to chaos occurs, scales like the inverse
square of the number of oscillators in the ring. In particular, for a sufficiently large
number of oscillators a practically immediate transition to chaos can be observed.
The results are illustrated by a numerical study of a system of unidirectionally
coupled Duffing oscillators.
Three families of transmission conditions of different order are proposed for thin conducting sheets in the eddy current model. Resolving the thin sheet by a finite element mesh is often not possible. With these transmission conditions only the middle curve, but not the thin sheet itself, has not to be resolved by a finite element mesh. The families of transmission conditions are derived by an asymptotic expansion for small sheet thicknesses $\eps$, where each family results from a different asymptotic framework. In the first asymptotic framework the conductivity remains constant, scales with $1/\eps$ in the second and with $1/\eps^2$ in the third. The different asymptotics lead to different limit conditions, namely the vanishing sheet, a non-trivial borderline case, and the impermeable sheet, as well as different transmission conditions of higher orders. We investigated the stability, the convergence of the transmission conditions as well as their robustness. We call transmission conditions robust, if they provide accurate approximation for a wide range of sheet thicknesses and conductivities. We introduce an ordering of transmission conditions for the same sheet with respect to the robustness, and observe that the condition derived for the $1/\eps$ asymptotics is the most robust limit condition, contrary to order 1 and higher, where the transmission conditions derived for the $1/\eps^2$ asymptotics turn out to be most robust.
Network flows over time form a fascinating area of research. They model the temporal
dynamics of network flow problems occurring in a wide variety of
applications. Research in this area has been pursued in two different and mainly independent
directions with respect to time modeling: discrete and continuous time models.
In this paper we deploy measure theory in order to introduce a general model of network flows over time combining both discrete and continuous aspects into a single model. Here, the flow on each arc is modeled as a Borel measure on the real line (time axis) which assigns to each
suitable subset a real value, interpreted as the amount of
flow entering the arc over the subset. We focus on the maximum flow problem formulated in a network where capacities on arcs are also given as Borel measures and storage might be allowed at the nodes of the network. We generalize the concept of cuts to the case of these Borel Flows and extend the famous MaxFlow-MinCut Theorem.
We study a diffusion model of phase field type, consisting of
a system of two partial differential equations encoding the balances
of microforces and microenergy; the two unknowns are the order parameter
and the chemical potential. By a careful development of uniform estimates and
the deduction of certain useful boundedness properties, we
prove existence and uniqueness of a global-in-time
smooth solution to the associated initial/boundary-value problem;
moreover, we give a description of the relative $\omega$-limit set.
Dynamic network flow problems model the temporal evolution of flows over time and also consider changes of network parameters such as capacities, costs, supplies, and demands over time. These problems have been extensively studied in the past because of their important role in real world applications such as transport, traffic, and logistics. This has led to many results, but the more challenging continuous time model still lacks some of the key features such as network related optimality conditions and algorithms that are available in the static case.
The aim of this paper is to advance the state of the art for dynamic network flows by developing the continuous time analogues of several well-known optimality conditions for static network flows. Specifically, we establish a reduced cost optimality condition, a negative cycle optimality condition, and a strong duality result for a very general class of dynamic
network flows. The underlying idea is to construct a dual feasible solution that proves optimality when the residual network (with respect to a given flow) contains no dynamic cycles with negative cost. We also discuss a generic negative cycle-canceling algorithm resulting from the corresponding optimality criterion and point out promising directions for future research.
This paper concerns the shortest path problem for a network in which arc costs can vary with
time, each arc has a transit time, parking with a corresponding
time-varying cost is allowed at the nodes, and time is modeled as a continuum. The resulting problem is called the {\em continuous-time dynamic shortest path problem}, which is well studied in the literature. However, the problem appears as a subproblem when one wishes to test, via an algorithm for dynamic shortest paths, the presence of negative cycles in the residual network in order to develop continuous-time analogues of several well-known optimality conditions for continuous-time dynamic network flow problems. But, in general, the residual network contains arcs with negative transit times and hence the results in the literature are useless for these purposes since all results are based on the assumption of positive transit times.
In this paper, we relax this condition to allow negative transit times. We study a corresponding linear program in space of measures and prove the existence of an optimal extreme point solution. Moreover, we define a dual problem and establish a strong duality result that shows under certain assumptions that the value of the linear program equals the value of the dual problem and both values are attained. We also present counterexamples to show that strong duality only holds under these assumptions.
We consider the dynamic shortest path problem in the continuous-time model because of its importance. This problem has been extensively studied in the literature. But so far, all contributions to this problem are based on the assumption that all transit times are strictly positive. However, in order to study dynamic network flows it is essential to support negative transit times since they occur quite naturally in residual networks.
In this paper we extend the work of Philpott [SIAM Control Opt.,~1994, pp.~538--552] to the case of arbitrary (also negative and irrational) transit times. We study a corresponding linear program in a space of measures and give a full characterization of its extreme points. In particular, we show a one-to-one correspondence between extreme points and dynamic paths.
Research on flows over time has been conducted mainly in two separate and mainly independent approaches, namely \emph{discrete} and \emph{continuous} models, depending on whether a discrete or continuous representation of time is used. Recently, Borel flows have been introduced to build a bridge between these two models.
In this paper, we consider the maximum Borel flow problem formulated in a network where capacities on arcs are given as Borel measures and storage might be allowed at the nodes of the network. This problem is formulated as a linear program in a space of measures. We define a dual problem and prove a strong duality result. We show that strong duality is closely related to a MaxFlow-MinCut Theorem.
We investigate optimal elliptic
regularity (within the scale of Sobolev spaces) of anisotropic
div--grad operators in three dimensions at a multi-material vertex on
the Neumann boundary part of a polyhedral spatial domain. The
gradient of a solution to the corresponding elliptic PDE (in a
neighbourhood of the vertex) is integrable to an index greater than
three.
One of the most challenging problems in dynamic concurrent multiscale
simulations is the reflectionless transfer of physical quantities between the
different scales. In particular, when coupling molecular dynamics and finite
element discretizations in solid body mechanics, often spurious wave reflections
are introduced by the applied coupling technique. The reflected waves are
typically of high frequency and are arguably of little importance in the domain
where the finite element discretization drives the simulation.
In this work, we provide an analysis of this phenomenon.
Based on the gained
insight, we derive a new coupling approach, which neatly separates high and low
frequency waves. Whereas low frequency waves are permitted to
bridge the scales, high frequency waves can be removed by applying damping techniques without affecting the coupled share of the solution. As a consequence, our new method almost completely eliminates unphysical wave reflections and deals in a consistent way with waves of arbitrary frequencies. The separation of
wavelengths is achieved by employing a discrete $L^2$-projection, which acts as a
low pass filter. Our coupling constraints enforce matching in the range of this projection. With respect to the numerical realization this approach
has the advantage of a small number of constraints, which is computationally
efficient. Numerical results in one and two dimensions confirm our theoretical
findings and illustrate the performance of our new weak coupling approach.
We investigate a control problem for the heat equation. The goal is to find an optimal heat transfer coefficient in the Robin boundary condition such that a desired temperature distribution at the boundary is adhered. To this end we consider a function space setting in which the heat flux across the boundary is forced to be an Lp function with respect to the surface measure, which in turn implies higher regularity for the time derivative of temperature. We show that the corresponding elliptic operator generates a strongly continuous semigroup of contractions and apply the concept of maximal parabolic regularity. This allows to show the existence of an optimal control and the derivation of necessary and sufficient optimality conditions.
We consider an inverse problem arising in laser-induced thermotherapy, a minimally invasive method for cancer treatment, in which cancer tissue is destroyed by coagulation. For the dosage planning numerical simulation plays an important role. To this end a crucial problem is to identify the thermal growth kinetics of the coagulated zone. Mathematically, this problem is a nonlinear and nonlocal parabolic heat source inverse problem. The solution to this inverse problem is defined as the minimizer of a non-convex cost functional. The existence of the minimizer is proven. We derive the Gateaux derivative of the cost functional, which is based on the adjoint system, and use it for a numerical approximation of the optimal coefficient.