To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this chapter, we (a) present epigraph characterization of cone-convexity, (b) introduce cone-monotonicity, and describe differential criteria of cone-convexity and cone-monotonicity, (c) present instructive examples of cone-convex and cone-monotone functions, (d) outline basic operations preserving cone-convexity and cone-monotonicity. Taken together, (b)--(d) provide simple and powerful tools allowing one to detect and utilize cone-convexity and cone-monotonicity.
Experiments are carried out in a smooth-wall turbulent boundary layer (TBL) ($\textit{Re}_\tau \geq 3500$) subjected to different pressure gradient (PG) histories. Oil-film interferometry is used to measure the skin friction evolution over the entire history while wide-field particle image velocimetry captures the mean flow field. This data are used to demonstrate the influence of PG history on skin friction as well as other integral quantities such as displacement ($\delta ^*$) and momentum thickness ($\theta$). Based on observations from the data, a new set of ordinary differential equations are proposed to model the streamwise evolution of a TBL subjected to different PG histories. The model is calibrated using a limited number of experimental cases and its utility is demonstrated on other cases. Moreover, the model is applied to data from large-eddy simulations of flows in adverse PG conditions (Bobke et al. 2017, J. Fluid Mech.820, 667–692). The model is subsequently used to identify the impact of PG history length on the boundary layer. This can also be interpreted as determining the spatial frequency response of the boundary layer to PG disturbances. Results suggest that short spatial variations in PGs primarily affect a small portion of the TBL evolution, whereas longer-lasting ones have a more extensive impact.
In this chapter, we (a) present an algebraic characterization of extreme points of polyhedral sets and extreme rays of polyhedral cones, (b) describe extreme points of several important polyhedral sets, including the Birkhoff--von-Neumann Theorem on extreme points of the polytope of doubly stochastic matrices, (c) establish the theorem on the structure of polyhedral sets stating that nonempty polyhedral sets are exactly the sets representable as sums of convex hulls of nonempty finite sets and conic hulls of finite sets, and vice versa, (d) extract from the latter theorem basic descriptive results of linear programming theory, and (e) present and justify the Majorization Principle.
In this chapter, we present preliminaries on convex functions -- definitions via convexity inequality and via the convexity of the epigraph, basic examples, Jensen’s inequality, convexity of sublevel sets; we introduce the notion of the domain of a convex function and its representation as a function taking values in the extended real axis and introduce the concept of a proper convex function.
In this chapter, we present and illustrate Caratheodory’s Theorem (in plain and conic forms), Radon’s Theorem, and Helly’s Theorem (for finite and for infinite families of convex sets).
In this chapter, we (a) present the definition and game theory interpretation of saddle points, (b) describe primal and dual optimization problems induced by an antagonistic game, (c) provide a characterization of saddle points in terms of optimal solutions and optimal values of primal and dual problems induced by the game, and (d) formulate and prove he Minimax Lemma and the Sion--Kakutani Theorem on existence of saddle points in convex--concave antagonistic games.
In this chapter, we (a) demonstrate that every local minimizer of a convex function is its global minimizer, (b) show that the Fermat rule provides a necessary and sufficient condition for an interior point of the domain of a convex function to be a global minimizer of the function, provided the function is differentiable at the point, (c) introduce radial and normal cones and express in terms of these cones the necessary and sufficient condition for a point to be the minimizer of a convex function whenever the function is differentiable at the point, (d) introduce the symmetry principle and (e) provide basic information on maximizers of convex functions.
In this chapter, we (a) present the definition and basic examples (linear and affine subspace, polyhedron, norm ball, simplex, cone) of convex sets, (b) introduce and study the notions of convex combination and convex hull, (c) outline basic convexity-preserving operations with sets, (d) establish nonemptiness of the relative interior of a nonempty convex set and the fact that the relative interior of a convex sets is dense in its closure, and (e) introduce the notions of conic and perspective transforms of a convex set.
In this chapter, we (a) introduce the Lagrange function of an inequality-constrained mathematical programming problem, (b) formulate and prove convex programming Lagrange Duality Theorem, and (c) establish the connection between Lagrange duality and saddle points of the Lagrange function.
In this chapter, we prove the Separation Theorem for convex sets and extract from it basic results on the geometry of closed convex sets, specifically (a) supporting hyperplanes, extreme points, and the (finite-dimensional) Krein--Milman Theorem, (b) recessive directions and recessive cone of a convex set, (c) the definition and basic properties of the dual cone, (d) the (finite-dimensional) Dubovitski--Milutin Lemma, (e) existence of bases and extreme rays of nontrivial closed pointed cones and their relation to extreme points of the cone’s base, (f)the (finite-dimensional) Krein--Milman Theorem in conic form, and (g) polarity.
We consider two-dimensional (2-D) free surface gravity waves in prismatic channels, including bathymetric variations uniquely in the transverse direction. Starting from the Saint-Venant equations (shallow-water equations) we derive a one-dimensional transverse averaged model describing dispersive effects related solely to variations of the channel topography. These effects have been demonstrated in Chassagne et al. 2019 J. Fluid Mech.870, 595–616 to be predominant in the propagation of bores with Froude numbers below a critical value of approximately 1.15. The model proposed is fully nonlinear, Galilean invariant, and admits a variational formulation under natural assumptions about the channel geometry. It is endowed with an exact energy conservation law, and admits exact travelling-wave solutions. Our model generalises and improves the linear equations proposed by Chassagne et al. 2019 J. Fluid Mech.870, 595–616, as well as in Quezada de Luna and Ketcheson, 2021 J. Fluid Mech.917, A45. The system is recast in two useful forms appropriate for its numerical approximations, whose properties are discussed. Numerical results allow the verification of the implementation of these formulations against analytical solutions, and validation of our model against fully 2-D nonlinear shallow-water simulations, as well as the famous experiments by Treske 1994 J. Hyd. Res.32, 355–370.
In this chapter, we demonstrate that (a) substituting the vector of eigenvalues of a symmetric n x n matrix into a convex permutation symmetric function of n real variables results in a convex function of the matrix, and (b) that if g is a convex function on the real axis, and G is the set of symmetric matrices of a given size with spectrum in the domain of g, then G is a convex set, and when X is a matrix from G, the trace of the matrix g(X), is a convex function of X; here g(X) is the matrix acting at a spectral subspace of X associated with eigenvalue v as multiplication by g(v); both these facts will be heavily used when speaking about cone-convexity is chapter 21.
In this chapter, we (a) outline the subject and the terminology of mathematical and convex programming, (b) introduce the Slater and relaxed Slater conditions and formulate the Convex Theorem on the Alternative -- the basis of Lagrange duality theory in convex programming, (c) introduce the notions of cone-convexity and of the convex programming problem in cone-constrained form, thus extending the standard mathematical programming setup of convex optimization, and (d) formulate and prove the Convex Theorem on the Alternative in cone-constrained form, justifying, as a byproduct, the standard Convex Theorem on the Alternative.
In this chapter, we derive the standard first- and second-order necessary/sufficient conditions for local optimality of a feasible solution to a (possibly nonconvex) mathematical programming problem. We conclude the chapter by illustrating these on the S-Lemma.