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)
An adaptive a posteriori error estimator based finite element method for the
numerical solution of a coupled Cahn-Hilliard/Navier-Stokes system with a
double-obstacle homogenous free (interfacial) energy density is proposed. A
semi-implicit Euler scheme for the time-integration is applied which results in
a system coupling a quasi-Stokes or Oseen-type problem for the fluid flow to
a variational inequality for the concentration and the chemical potential according
to the Cahn-Hilliard model [13]. A Moreau-Yosida regularization is
employed which relaxes the constraints contained in the variational inequality
and, thus, enables semi-smooth Newton solvers with locally superlinear convergence
in function space. Moreover, upon discretization this yields a mesh
independent method for a fixed relaxation parameter. For the finite dimensional
approximation of the concentration and the chemical potential piecewise
linear and globally continuous finite elements are used, and for the numerical
approximation of the fluid velocity Taylor-Hood finite elements are employed.
The paper ends by a report on numerical examples showing the efficiency of the
new method
We derive a new representation of Lagrangian subspaces in the form
%
\[
{\mathrm Im}\Pi^T [I,X]^T,
\]
%
where $\Pi$ is a symplectic matrix which is the product of a permutation matrix and a real orthogonal diagonal matrix, and $X$ satisfies
%
\[
\abs{X_{ij}} \leq \begin{cases}1 & \text{if $i=j$,}\\ \sqrt{2} & \text{if $i\neq j$.} \end{cases}
\]
%
This representation allows to limit element growth in the context of doubling algorithms
for the computation of Lagrangian subspaces and the solution of Riccati equations.
It is shown that a simple doubling algorithm using this representation can reach full machine accuracy on a wide range of problems, obtaining invariant subspaces of the same quality as those computed by the state-of-the-art algorithms based on orthogonal transformations.
The same idea carries over to representations of arbitrary subspaces and can be used
for other types of structured pencils.
This note constructs a local generalized finite element basis for elliptic problems with heterogeneous and highly varying diffusion tensor. The basis functions are solutions of local problems on vertex patches. The error of the corresponding generalized finite element method decays exponentially w.r.t. the number of element layers in the patches. Hence, on a uniform mesh of size H, patches of diameter log(1/H) are sufficient to preserve the convergence rates of the classical P1-FEM for the Poisson problem.
The analysis does not rely on regularity of the solution or scale separation in the coefficient.
The result justifies the use of the class of variational multiscale methods, introduced in [Comput. Methods Appl. Mech. Engrg., 196:2313--2324, 2007].
R is a language and environment for statistical computing and graphics. It can be considered an alternative implementation of the S language developed in the 1970s and 1980s for data analysis and graphics (Becker and Chambers, 1984; Becker et al., 1988). The R language is part of the GNU project and offers versions that compile and run on almost every major operating system currently available. We highlight several R packages built specifically for the analysis of neuroimaging data in the context of functional MRI, diffusion tensor imaging, and dynamic contrast-enhanced MRI. We review their methodology and give an overview of their capabilities for neuroimaging. In addition we summarize some of the current activities in the area of neuroimaging software development in R.
The well-known Kalman-Yakubovich-Popov Lemma establishes an equivalence between dissipativity and the solvability of a linear matrix inequality. In this paper we strengthen this result by showing the equivalence of dissipativity to the solvability of a so-called Lur'e equation, which mainly is a linear matrix inequality with a rank minimizing condition. Finally, we apply the result to standard systems to obtain the well-known result about the solvability of the algebraic Riccati equation.
We investigate geodesic finite elements for functions with values in a space of zero curvature, like a torus or the M\"obius strip. Unlike in the general case, a closed-form expression for geodesic finite element functions is then available. This simplifies computations, and allows us to prove optimal estimates for the interpolation error in 1d and 2d. We also show the somewhat surprising result that the discretization by Kirchhoff transformation of the Richards equation proposed by Berninger et al. is a discretization by geodesic finite elements in the manifold $\mathbb{R}$ with a special metric.
We introduce functional perturbation results for PDE eigenvalue problems including the functional backward error
and the functional condition number. These results are used to establish a combined a posteriori error estimator embodying the discretization and the approximation error for the simple eigenpair.
Based on known perturbation results in $H^{1}(\Omega)$ and $H^{-1}(\Omega)$ norms and a standard residual a posteriori error estimator, a balancing AFEM algorithm is proposed. The stopping criterion for the eigensolver is based on the equilibrating strategy, i.e., iterations proceed as long as the discrete part of the error estimator dominates the continuous part. All our statements are illustrated with several numerical examples.
We consider anisotropic Allen--Cahn equations with interfacial energy
induced by an anisotropic surface energy density $\gamma$.
Assuming that $\gamma$
is positive, positively homogeneous of degree one,
strictly convex in tangential directions to the unit sphere,
and sufficiently smooth, we show stability of
various time discretizations. In particular,
we consider a fully implicit and a linearized time discretization
of the interfacial energy combined with implicit
and semi-implicit time discretizations
of the double-well potential. In the semi-implicit variant,
concave terms are taken explicitly.
The arising discrete spatial problems are solved by
globally convergent truncated nonsmooth Newton multigrid methods.
Numerical experiments show the accuracy of the different
discretizations.
We also illustrate that pinch-off under anisotropic
mean curvature flow is no longer frame invariant,
but depends on the orientation of the initial configuration.
This paper deals with a three-dimensional mixture model describing materials undergoing phase transition with thermal expansion. The problem is formulated within the framework of generalized standard solids by the coupling of the momentum equilibrium equation and the flow rule with the heat transfer equation. A global solution for this thermodynamically consistent problem is obtained by using a fixed-point argument combined with global energy estimates.
We consider three-dimensional models for rate-independent processes describing materials undergoing phase transformations with heat transfer. The problem is formulated within the framework of generalized standard solids by the coupling of the momentum equilibrium equation and the flow rule with the heat transfer equation. Under appropriate regularity assumptions on the initial data, we prove the existence a global solution for this thermodynamically consistent system, by using a fixed-point argument combined with global energy estimates.
We consider rate-independent evolutionary systems over a physically domain Ω that are governed by simple hysteresis operators at each material point. For multiscale systems where ε denotes the ratio between the microscopic and the macroscopic length scale, we show that in the limit ε → 0 we are led to systems where the hysteresis operators at each macroscopic point is a generalized Prandtl-Ishlinskii operator.
The Stefan problem is coupled with a spatially inhomogeneous and anisotropic Gibbs-Thomson condition at the phase boundary. We show the long-time existence of weak solutions for the non-degenerate Stefan problem with a spatially inhomogeneous and anisotropic Gibbs-Thomson law and a conditional existence result for the corresponding degenerate Stefan problem. To this end, approximate solutions are constructed by means of variational problems
for energy functionals with spatially inhomogeneous and anisotropic interfacial energy. By passing to the limit, we establish solutions of the Stefan problem with a spatially inhomogeneous and anisotropic Gibbs-Thomson law in a weak generalized BV-formulation.
The derivation of multiplier-based optimality conditions for elliptic mathematical programs with equilibrium constraints (MPEC) is essential for the characterization of solutions and de- velopment of numerical methods. Though much can be said for broad classes of elliptic MPECs in both polyhedric and non-polyhedric settings, the calculation becomes significantly more com- plicated when additional constraints are imposed on the control. In this paper we develop three derivation methods for constrained MPEC problems: via concepts from variational analysis, via penalization of the control constraints, and via penalization of the lower-level problem with the subsequent regularization of the resulting nonsmoothness. The developed methods and obtained results are then compared and contrasted.
We analyze a rate-independent model for damage evolution in elastic bodies. The central quantities are a stored energy functional and a dissipation functional, which is assumed to be positively homogeneous of degree one. Since the energy is not simultaneously (strictly) convex in the damage variable and the displacements, solutions may have jumps as a function of time. The latter circumstance makes it necessary to recur to suitable notions of weak solution. However, the by-now classical concept of global energetic solution fails to describe accurately the behavior of the system at jumps.
Hence, we consider rate-independent damage models as limits of systems driven by viscous, rate-dependent dissipation. We use a technique for taking the vanishing viscosity limit, which is based on arc-length reparameterization. In this way, in the limit we obtain a novel formulation for the rate-independent damage model, which highlights the interplay of viscous and rate-independent effects in the jump regime, and provides a better description of the energetic behavior of the system at jumps.
We consider linear differential-algebraic m-input m-output systems with positive
strict relative degree or proper inverse transfer function; in the single-input single-output case these
two disjoint classes make the whole of all linear DAEs without feedthrough term. Structural properties
- such as normal forms (i.e. the counterpart to the Byrnes-Isidori form for ODE systems), zero
dynamics, and high-gain stabilizability - are analyzed for two purposes: first, to gain insight into the
system classes and secondly, to solve the output regulation problem by funnel control. The funnel
controller achieves tracking of a class of reference signals within a pre-specified funnel; this means in
particular, the transient behaviour of the output error can be specified and the funnel controller does
neither incorporate any internal model for the reference signals nor any identification mechanism, it
is simple in its design. The results are illuminated by position and velocity control of a mechanical
system encompassing springs, masses, and dampers.
A Composite Finite Element Method approximates linear elliptic boundary value problems of Dirichlet type with discontinuous coefficients at possibly high contrast. The challenge is the discontinuity in the coefficient across some interface which is not necessarily resolved by the underlying finite element mesh. The method is non-conforming in the sense that shape functions preserve continuity across the interface only in an approximative way. However, the method allows to balance the non-conformity and the best approximation error in such a way that the total discretization error is optimal with regard to the mesh size and independent of contrast.
This paper presents some weighted H2-regularity estimates for a model Poisson problem with discontinuous coefficient at high contrast. The coefficient represents a random particle reinforced composite material, i.e., highly conducting circular particles are randomly distributed in some background material with low conductivity. Based on these regularity results we study the percolation of thermal conductivity of the material as the volume fraction of the particles is close to the jammed state. We proof that the characteristic percolation behavior of the material is well captured by standard conforming finite element models.
Discrete Laplace--Beltrami operators on polyhedral surfaces play an important role for various applications in geometry processing and related areas like physical simulation or computer graphics. While discretizations of the weak Laplace--Beltrami operator are well-studied, less is known about the strong form. We present a principle for constructing strongly consistent discrete Laplace--Beltrami operators based on the cotan weights. The consistency order we obtain, improves previous results reported for the mesh Laplacian. Furthermore, we prove consistency of the discrete Willmore energies corresponding to the discrete Laplace--Beltrami operators.
In this paper a high-order finite element method with curvilinear elements is proposed for the simulation of plasmonic structures. Most finite element packages use low order basis functions and non-curved elements, which is very costly for demanding problems such as the simulation of nano-antennas. To enhance the performance of finite elements, we use curvilinear quadrilateral elements to calculate the near-field from an impinging plane wave with
second order absorbing boundary conditions. The magnetic field amplitude on the surface of one object is compared with a computation based on a multiple multipole expansion. Moreover, the convergence behavior of p-FEM with absorbing boundary conditions motivate an adaptive strategy of polynomial degree enhancement and enlargement of the domain.
The focus of this note lies on the numerical analysis of models describing the propagation
of a single crack in a linearly elastic material. The evolution of the crack is modeled as a
rate-independent process based on the Griffith criterion. We follow two different approaches
for setting up mathematically well defined models: the global energetic approach and an
approach based on a viscous regularization.
We prove the convergence of solutions of fully discretized models (i.e. with respect to time
and space) and derive relations between the discretization parameters (mesh size, time step
size, viscosity parameter, crack increment) which guarantee the convergence of the schemes.
Further, convergence rates are provided for the approximation of energy release rates by
certain discrete energy release rates. Thereby we discuss both, models with self-contact
conditions on the crack faces as well as models with pure Neumann conditions on the crack
faces. The convergence proofs rely on regularity estimates for the elastic fields close to the
crack tip and local and global finite element error estimates. Finally the theoretical results
are illustrated with some numerical calculations.
New perturbation results for the behavior of eigenvalues and Jordan forms of real and complex matrices
under generic rank one perturbations are discussed. Several results that are available in the complex
case are proved as well for the real case and the assumptions on the genericity are weakened.
Rank one perturbations that lead to maximal algebraic multiplicities of the ``new" eigenvalues are also
discussed.
We introduce geodesic finite elements as a conforming way to discretize partial differential equations for functions $v : \Omega \to M$, where $\Omega$ is an open subset of $\R^d$ and $M$ is a Riemannian manifold. These geodesic finite elements naturally generalize standard first-order
finite elements for Euclidean spaces. They also generalize the geodesic finite elements proposed for $d=1$ by the author. Our formulation is equivariant under isometries of $M$, and hence preserves objectivity of continuous problem formulations. We concentrate on partial differential equations that can be formulated as minimization problems. Discretization leads to algebraic minimization problems on product manifolds $M^n$. These can be solved efficiently
using a Riemannian trust-region method. We propose a monotone multigrid method to solve the constrained inner problems with linear multigrid speed. As an example we numerically compute harmonic maps from a domain in $\R^3$
to $S^2$.
We propose transmission conditions of order $1$, $2$ and $3$ approximating the shielding behaviour of thin conducting curved sheets for the magneto-quasistatic eddy current model in 2D. This model reduction applies to sheets whose thicknesses $\eps$ are at the order of the skin depth or essentially smaller. The sheet has itself not to be resolved, only its midline is represented by an interface. The computation is directly in one step with almost no additional cost. We prove the well-posedness w.r.t.~to the small parameter $\eps$ and obtain optimal bound for the modelling error outside the sheet of order $\eps^{N+1}$ for the condition of order $N$. We end the paper with numerical experiments involving high order finite elements for sheets with varying curvature.
A robust implementation of a Dupire type local volatility model is an important issue for every option trading floor. Typically, this (inverse) problem is solved in a two step procedure : (i) a smooth parametrization of the implied volatility surface; (ii) computation of the local volatility based on the resulting call price surface. Point (i), and in particular how to extrapolate the implied volatility in extreme strike regimes not seen in the market, has been the subject of numerous articles, starting with Lee (Math. Finance, 2004). In the present paper we give direct analytic insights into the asymptotic behavior of local volatility at extreme strikes.
Convergence of Heston to SVI
(2011)
In this short note, we prove by an appropriate change of variables that the SVI implied volatility parameterization presented in~\cite{Gatheral} and the large-time asymptotic of the Heston implied volatility derived in~\cite{FJM} agree algebraically, thus confirming a conjecture from~\cite{Gatheral} as well as providing a simpler expression for the asymptotic implied volatility in the Heston model. We show how this result can help in interpreting SVI parameters.
We derive a full asymptotic expansion for call option prices and a third order approximation for implied volatility in the large-time, large log-moneyness regime for a general exponential Levy model, by extending the saddlepoint argument used in Forde,Jacquier & Mijatovic for the Heston model. As for the Heston model, there are two special log-moneyness values where the call option asymptotics are qualitatively different, and we use an Edgeworth expansion to deal with these cases. We also characterise the behaviour of the implied volatility skew at large-maturities; in particular we show that the derivative of the dimensionless implied variance with respect to log-moneyness exists and is less than or equal to 4 in the large-maturity limit, which is consistent with the bound on the right and left-side derivative given in Rogers&Tehranchi.
We characterise the asymptotic smile and term structure of implied volatility in the Heston model at small maturities and all strikes. Using saddlepoint methods we derive a small-maturity expansion formula for call option prices, which we then transform into a closed-form expansion (including the leading-order and correction terms) for implied volatility. This refined expansion reveals the relationship between the small-expiry smile and all Heston parameters (including the pair in the volatility drift coefficient), sharpening the leading-order result of~\cite{FJ09I} which found the relationship between the zero-expiry smile and the diffusion coefficients. We solve for in/out-of-the-money and at-the-money cases; in the latter case our proof involves subleading-order saddlepoint approximation along a suitable path of integration.
Using Freidlin-Wentzell sample path large deviations theory, we characterise the small-time behaviour of probabilities of a process following an uncorrelated local-stochastic volatility model.
As a corollary, we determine the small-maturity behaviour of the implied volatility under this class of processes.
This note studies an issue relating to essential smoothness that can arise when the theory of large deviations is applied to a certain option pricing formula in the Heston model. The note identifies a gap, based on this issue, in the proof of Corollary 2.4 in [2] and describes how to circumvent it. This completes the proof of Corollary 2.4 in [2] and hence of the main result in [2], which describes the limiting behaviour of the implied volatility smile in the Heston model far from maturity.
Multiresolution meshes provide an efficient and structured representation of geometric objects. To increase the
mesh resolution only at vital parts of the object, adaptive refinement is widely used. We propose a lossless compression
scheme for these adaptive structures that exploits the parent-child relationships inherent to the mesh
hierarchy. We use the rules that correspond to the adaptive refinement scheme and store bits only where some
freedom of choice is left, leading to compact codes that are free of redundancy. Moreover, we extend the coder to
sequences of meshes with varying refinement. The connectivity compression ratio of our method exceeds that of
state-of-the-art coders by a factor of 2 to 7.
For efficient compression of vertex positions we adapt popular wavelet-based coding schemes to the adaptive
triangular and quadrangular cases to demonstrate the compatibility with our method. Akin to state-of-the-art
coders, we use a zerotree to encode the resulting coefficients. Using improved context modeling we enhanced the
zerotree compression, cutting the overall geometry data rate by 7% below those of the successful Progressive
Geometry Compression. More importantly, by exploiting the existing refinement structure we achieve compression
factors that are 4 times greater than those of coders which can handle irregular meshes.
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.