skip to main content


Title: On the stationarity for nonlinear optimization problems with polyhedral constraints
Abstract

For polyhedral constrained optimization problems and a feasible point$$\textbf{x}$$x, it is shown that the projection of the negative gradient on the tangent cone, denoted$$\nabla _\varOmega f(\textbf{x})$$Ωf(x), has an orthogonal decomposition of the form$$\varvec{\beta }(\textbf{x}) + \varvec{\varphi }(\textbf{x})$$β(x)+φ(x). At a stationary point,$$\nabla _\varOmega f(\textbf{x}) = \textbf{0}$$Ωf(x)=0so$$\Vert \nabla _\varOmega f(\textbf{x})\Vert $$Ωf(x)reflects the distance to a stationary point. Away from a stationary point,$$\Vert \varvec{\beta }(\textbf{x})\Vert $$β(x)and$$\Vert \varvec{\varphi }(\textbf{x})\Vert $$φ(x)measure different aspects of optimality since$$\varvec{\beta }(\textbf{x})$$β(x)only vanishes when the KKT multipliers at$$\textbf{x}$$xhave the correct sign, while$$\varvec{\varphi }(\textbf{x})$$φ(x)only vanishes when$$\textbf{x}$$xis a stationary point in the active manifold. As an application of the theory, an active set algorithm is developed for convex quadratic programs which adapts the flow of the algorithm based on a comparison between$$\Vert \varvec{\beta }(\textbf{x})\Vert $$β(x)and$$\Vert \varvec{\varphi }(\textbf{x})\Vert $$φ(x).

 
more » « less
Award ID(s):
2031213
NSF-PAR ID:
10415087
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Mathematical Programming
Volume:
205
Issue:
1-2
ISSN:
0025-5610
Format(s):
Medium: X Size: p. 107-134
Size(s):
p. 107-134
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Using extensive numerical simulation of the Navier–Stokes equations, we study the transition from the Darcy’s law for slow flow of fluids through a disordered porous medium to the nonlinear flow regime in which the effect of inertia cannot be neglected. The porous medium is represented by two-dimensional slices of a three-dimensional image of a sandstone. We study the problem over wide ranges of porosity and the Reynolds number, as well as two types of boundary conditions, and compute essential features of fluid flow, namely, the strength of the vorticity, the effective permeability of the pore space, the frictional drag, and the relationship between the macroscopic pressure gradient$${\varvec{\nabla }}P$$Pand the fluid velocityv. The results indicate that when the Reynolds number Re is low enough that the Darcy’s law holds, the magnitude$$\omega _z$$ωzof the vorticity is nearly zero. As Re increases, however, so also does$$\omega _z$$ωz, and its rise from nearly zero begins at the same Re at which the Darcy’s law breaks down. We also show that a nonlinear relation between the macroscopic pressure gradient and the fluid velocityv, given by,$$-{\varvec{\nabla }}P=(\mu /K_e)\textbf{v}+\beta _n\rho |\textbf{v}|^2\textbf{v}$$-P=(μ/Ke)v+βnρ|v|2v, provides accurate representation of the numerical data, where$$\mu$$μand$$\rho$$ρare the fluid’s viscosity and density,$$K_e$$Keis the effective Darcy permeability in the linear regime, and$$\beta _n$$βnis a generalized nonlinear resistance. Theoretical justification for the relation is presented, and its predictions are also compared with those of the Forchheimer’s equation.

     
    more » « less
  2. Abstract

    It has been recently established in David and Mayboroda (Approximation of green functions and domains with uniformly rectifiable boundaries of all dimensions.arXiv:2010.09793) that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the “flagship degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators$$L_{\beta ,\gamma } =- {\text {div}}D^{d+1+\gamma -n} \nabla $$Lβ,γ=-divDd+1+γ-nassociated to a domain$$\Omega \subset {\mathbb {R}}^n$$ΩRnwith a uniformly rectifiable boundary$$\Gamma $$Γof dimension$$d < n-1$$d<n-1, the now usual distance to the boundary$$D = D_\beta $$D=Dβgiven by$$D_\beta (X)^{-\beta } = \int _{\Gamma } |X-y|^{-d-\beta } d\sigma (y)$$Dβ(X)-β=Γ|X-y|-d-βdσ(y)for$$X \in \Omega $$XΩ, where$$\beta >0$$β>0and$$\gamma \in (-1,1)$$γ(-1,1). In this paper we show that the Green functionGfor$$L_{\beta ,\gamma }$$Lβ,γ, with pole at infinity, is well approximated by multiples of$$D^{1-\gamma }$$D1-γ, in the sense that the function$$\big | D\nabla \big (\ln \big ( \frac{G}{D^{1-\gamma }} \big )\big )\big |^2$$|D(ln(GD1-γ))|2satisfies a Carleson measure estimate on$$\Omega $$Ω. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the “magical distance function from David et al. (Duke Math J, to appear).

     
    more » « less
  3. Abstract

    For a given material,controllable deformationsare those deformations that can be maintained in the absence of body forces and by applying only boundary tractions. For a given class of materials,universal deformationsare those deformations that are controllable for any material within the class. In this paper, we characterize the universal deformations in compressible isotropic implicit elasticity defined by solids whose constitutive equations, in terms of the Cauchy stress$$\varvec{\sigma }$$σand the left Cauchy-Green strain$$\textbf{b}$$b, have the implicit form$$\varvec{\textsf{f}}(\varvec{\sigma },\textbf{b})=\textbf{0}$$f(σ,b)=0. We prove that universal deformations are homogeneous. However, an important observation is that, unlike Cauchy (and Green) elasticity, not every homogeneous deformation is constitutively admissible for a given implicit-elastic solid. In other words, the set of universal deformations is material-dependent, yet it remains a subset of homogeneous deformations.

     
    more » « less
  4. Abstract

    We introduce a distributional Jacobian determinantdetDVβ(Dv)\det DV_{\beta}(Dv)in dimension two for the nonlinear complex gradientVβ(Dv)=|Dv|β(vx1,vx2)V_{\beta}(Dv)=\lvert Dv\rvert^{\beta}(v_{x_{1}},-v_{x_{2}})for anyβ>1\beta>-1, whenevervWloc1,2v\in W^{1\smash{,}2}_{\mathrm{loc}}andβ|Dv|1+βWloc1,2\beta\lvert Dv\rvert^{1+\beta}\in W^{1\smash{,}2}_{\mathrm{loc}}.This is new whenβ0\beta\neq 0.Given any planar ∞-harmonic function 𝑢, we show that such distributional Jacobian determinantdetDVβ(Du)\det DV_{\beta}(Du)is a nonnegative Radon measure with some quantitative local lower and upper bounds.We also give the following two applications.

    Applying this result withβ=0\beta=0, we develop an approach to build up a Liouville theorem, which improves that of Savin.Precisely, if 𝑢 is an ∞-harmonic function in the wholeR2\mathbb{R}^{2}withlim infRinfcR1RB(0,R)|u(x)c|dx<,\liminf_{R\to\infty}\inf_{c\in\mathbb{R}}\frac{1}{R}\barint_{B(0,R)}\lvert u(x)-c\rvert\,dx<\infty,thenu=b+axu=b+a\cdot xfor somebRb\in\mathbb{R}andaR2a\in\mathbb{R}^{2}.

    Denoting byupu_{p}the 𝑝-harmonic function having the same nonconstant boundary condition as 𝑢, we show thatdetDVβ(Dup)detDVβ(Du)\det DV_{\beta}(Du_{p})\to\det DV_{\beta}(Du)aspp\to\inftyin the weak-⋆ sense in the space of Radon measure.Recall thatVβ(Dup)V_{\beta}(Du_{p})is always quasiregular mappings, butVβ(Du)V_{\beta}(Du)is not in general.

     
    more » « less
  5. Abstract

    A classical parking function of lengthnis a list of positive integers$$(a_1, a_2, \ldots , a_n)$$(a1,a2,,an)whose nondecreasing rearrangement$$b_1 \le b_2 \le \cdots \le b_n$$b1b2bnsatisfies$$b_i \le i$$bii. The convex hull of all parking functions of lengthnis ann-dimensional polytope in$${\mathbb {R}}^n$$Rn, which we refer to as the classical parking function polytope. Its geometric properties have been explored in Amanbayeva and Wang (Enumer Combin Appl 2(2):Paper No. S2R10, 10, 2022) in response to a question posed by Stanley (Amer Math Mon 127(6):563–571, 2020). We generalize this family of polytopes by studying the geometric properties of the convex hull of$${\textbf{x}}$$x-parking functions for$${\textbf{x}}=(a,b,\dots ,b)$$x=(a,b,,b), which we refer to as$${\textbf{x}}$$x-parking function polytopes. We explore connections between these$${\textbf{x}}$$x-parking function polytopes, the Pitman–Stanley polytope, and the partial permutahedra of Heuer and Striker (SIAM J Discrete Math 36(4):2863–2888, 2022). In particular, we establish a closed-form expression for the volume of$${\textbf{x}}$$x-parking function polytopes. This allows us to answer a conjecture of Behrend et al. (2022) and also obtain a new closed-form expression for the volume of the convex hull of classical parking functions as a corollary.

     
    more » « less