SlideShare a Scribd company logo
1 of 12
Σ   YSTEMS


Introduction to the Theory of Optimization

            Dimitrios Papadopoulos
               Delta Pi Systems



              Thessaloniki, Greece
Optimization Tree
                                                            Nonlinear Equations


                                                          Nonlinear Least Squares


                                    Unconstrained           Global Optimization


                                                       Nondifferentiable Optimization


                                                            Linear Programming


                                                          Nonlinearly Constrained


                    Continuous       Constrained             Bound Constraint

     Optimization

                     Discrete    Integer Programming       Network Programming


                                                          Stochastic Programming



                                                                                        Σ   YSTEMS
Taylor’s Theorem
  ◮   Suppose that f : Rn → R is continuously differentiable and that p ∈ Rn .
      Then we have that

                          f (x + p) = f (x) + ∇f (x + tp)T p,                    (1)
      for some t ∈ (0, 1). Moreover, if f is twice differentiable, we have that
                                                   1
                      ∇f (x + p) = ∇f (x) +            ∇2 f (x + tp)pdt,         (2)
                                               0
      and that
                                                 1
                  f (x + p) = f (x) + ∇f (x)T p + pT ∇2 f (x + tp)p,             (3)
                                                 2
      for some t ∈ (0, 1)




                                                                                   Σ   YSTEMS
Positive Definiteness
  ◮   A symmetric matrix A ∈ Rn×n is positive definite if there is a positive
      constant α such that

                         xT Ax ≥ α||x||2 ,      for all x ∈ Rn .               (4)
                                 n×n
  ◮   A symmetric matrix A ∈ R         is positive semidefinite if

                            xT Ax ≥ 0,       for all   x ∈ Rn .                (5)




                                                                                 Σ   YSTEMS
Convexity
  ◮   S ∈ Rn is a convex set if the straight line segment connecting any two
      points in S lies entirely inside. Formally, for any two points x ∈ S and
      y ∈ S, we have

                        αx + (1 − α)y ∈ S     for all   α ∈ [0, 1].              (6)



  ◮   f is a convex function if its domain is a convex set and if for any two
      points x and y in this domain, the graph of f lies below the straight line
      connecting (x, f (x)) to (y, f (y)) in the space Rn+1 . That is, we have

            f (α + (1 − α)y) ≤ αf (x) + (1 − α)f (y),      for all α ∈ [0, 1].   (7)




                                                                                   Σ   YSTEMS
Local and global minima
  ◮   A point x∗ is a global minimizer if f (x∗ ) ≤ f (x) for all x ∈ Rn .

  ◮   A point x∗ is a local minizer if there is a neighborhood N of x∗ such that
      f (x∗ ) ≤ f (x) for x ∈ N .

  ◮   A point x∗ is a strict local minimizer (also called a strong local minimizer)
      if there is a neighborhood N of x∗ such that f (x∗ ) < f (x) for all x ∈ N
      with x = x∗ .

  ◮   A point x∗ is an isolated local minimizer if there is a neighborhood N of x∗
      such that x∗ is the only local minimizer in N .




                                                                                      Σ   YSTEMS
First-Order Necessary Conditions
Theorem
If x∗ is a local minimizer and f is continously differentiable in an open
neighborhood of x∗ , then ∇f (x∗ ) = 0.
  ◮   x∗ is a stationary point if ∇f (x∗ ) = 0.
  ◮   Any local minimizer must be a stationary point.




                                                                           Σ   YSTEMS
Second-Order Necessary Conditions
Theorem
If x∗ is a local minimizer of f and ∇2 f is continuous in an open neighborhood
of x∗ , then ∇f (x∗ ) = 0 and ∇2 f (x∗ ) is positive semidefinite.




                                                                                 Σ   YSTEMS
Second-Order Sufficient Conditions
Theorem
Suppose that ∇2 f is continuous in an open neighborhood of x∗ and that
∇f (x∗ ) = 0 and ∇2 f (x∗ ) is positive definite. Then x∗ is a strict local
minimizer of f .




                                                                             Σ   YSTEMS
Uniqueness of minimum for convex functions
Theorem
When f is convex, any local minimizer x∗ is a global minimizer of f . If in
addition f is differentiable, then any stationary point x∗ is a global minimizer of
f.




                                                                                 Σ   YSTEMS
Linear Least-Squares
  ◮   Model: y(ti ; x1 , ..., xn ) = ai,1 + ... + ai,n xn , i = 1, ..., m,
  ◮   Minimization problem:
           m                                       m
                (y(ti ; x1 , ..., xn ) − bi )2 =         (ai,1 + ... + ai,n xn − bi )2 = min   (8)
          i=1                                      i=1

      or in matrix form
  ◮   Given A = (aij )m,n ∈ Rm×n and b ∈ Rn find x∗ ∈ Rn , such that
                      i,j=1

                                   ||Ax∗ − b||2 = min ||Ax − b||2                              (9)
                                                    n     x∈R

  ◮   x∗ ∈ Rn is exactly then a solution of equation (1), if x∗ is the solution of
      the equation
                                     AT Ax = AT b                              (10)
      The system of normal equations has at least one solution. It has exactly
      one, if Rank(A) = n
  ◮   If A ∈ Rm×n has n full ranks (columns), then the matrix AT A ∈ Rn×n is
      symmetric positive definite.                                                                Σ   YSTEMS
Contact us



Delta Pi Systems
Optimization and Control of Processes and Systems
Thessaloniki, Greece
http://www.delta-pi-systems.eu




                                                    Σ   YSTEMS

More Related Content

What's hot

Two dimensional geometric transformations
Two dimensional geometric transformationsTwo dimensional geometric transformations
Two dimensional geometric transformations
Mohammad Sadiq
 
Fractional Calculus PP
Fractional Calculus PPFractional Calculus PP
Fractional Calculus PP
VRRITC
 
Image trnsformations
Image trnsformationsImage trnsformations
Image trnsformations
John Williams
 
Lesson02 Vectors And Matrices Slides
Lesson02   Vectors And Matrices SlidesLesson02   Vectors And Matrices Slides
Lesson02 Vectors And Matrices Slides
Matthew Leingang
 

What's hot (20)

Two dimensional geometric transformations
Two dimensional geometric transformationsTwo dimensional geometric transformations
Two dimensional geometric transformations
 
Classical Sets & fuzzy sets
Classical Sets & fuzzy setsClassical Sets & fuzzy sets
Classical Sets & fuzzy sets
 
Convex optimization methods
Convex optimization methodsConvex optimization methods
Convex optimization methods
 
C.v.n.m (m.e. 130990119004-06)
C.v.n.m (m.e. 130990119004-06)C.v.n.m (m.e. 130990119004-06)
C.v.n.m (m.e. 130990119004-06)
 
Fractional calculus and applications
Fractional calculus and applicationsFractional calculus and applications
Fractional calculus and applications
 
Fractional Calculus PP
Fractional Calculus PPFractional Calculus PP
Fractional Calculus PP
 
Mathematical Optimisation - Fundamentals and Applications
Mathematical Optimisation - Fundamentals and ApplicationsMathematical Optimisation - Fundamentals and Applications
Mathematical Optimisation - Fundamentals and Applications
 
Double Integral Powerpoint
Double Integral PowerpointDouble Integral Powerpoint
Double Integral Powerpoint
 
Interpolation
InterpolationInterpolation
Interpolation
 
Power Series - Legendre Polynomial - Bessel's Equation
Power Series - Legendre Polynomial - Bessel's EquationPower Series - Legendre Polynomial - Bessel's Equation
Power Series - Legendre Polynomial - Bessel's Equation
 
03 convexfunctions
03 convexfunctions03 convexfunctions
03 convexfunctions
 
Engineering mathematics 1
Engineering mathematics 1Engineering mathematics 1
Engineering mathematics 1
 
Image trnsformations
Image trnsformationsImage trnsformations
Image trnsformations
 
Lesson02 Vectors And Matrices Slides
Lesson02   Vectors And Matrices SlidesLesson02   Vectors And Matrices Slides
Lesson02 Vectors And Matrices Slides
 
Linear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima PanditLinear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima Pandit
 
NON LINEAR PROGRAMMING
NON LINEAR PROGRAMMING NON LINEAR PROGRAMMING
NON LINEAR PROGRAMMING
 
Fuzzy graph
Fuzzy graphFuzzy graph
Fuzzy graph
 
fuzzy fuzzification and defuzzification
fuzzy fuzzification and defuzzificationfuzzy fuzzification and defuzzification
fuzzy fuzzification and defuzzification
 
Liner algebra-vector space-1 introduction to vector space and subspace
Liner algebra-vector space-1   introduction to vector space and subspace Liner algebra-vector space-1   introduction to vector space and subspace
Liner algebra-vector space-1 introduction to vector space and subspace
 
4 stochastic processes
4 stochastic processes4 stochastic processes
4 stochastic processes
 

Viewers also liked

Introduction to inverse problems
Introduction to inverse problemsIntroduction to inverse problems
Introduction to inverse problems
Delta Pi Systems
 
Final Assembly
Final AssemblyFinal Assembly
Final Assembly
garywild
 
Οικονομικά οφέλη από προγράμματα διαχείρισης
Οικονομικά οφέλη από προγράμματα διαχείρισηςΟικονομικά οφέλη από προγράμματα διαχείρισης
Οικονομικά οφέλη από προγράμματα διαχείρισης
Delta Pi Systems
 
Buy FOB sell CFR-CIF cargo ASD v01
Buy FOB sell CFR-CIF cargo ASD v01Buy FOB sell CFR-CIF cargo ASD v01
Buy FOB sell CFR-CIF cargo ASD v01
Igor Afonin
 

Viewers also liked (16)

Classical optimization theory Unconstrained Problem
Classical optimization theory Unconstrained ProblemClassical optimization theory Unconstrained Problem
Classical optimization theory Unconstrained Problem
 
Introduction to inverse problems
Introduction to inverse problemsIntroduction to inverse problems
Introduction to inverse problems
 
Introduction to CAGD for Inverse Problems
Introduction to CAGD for Inverse ProblemsIntroduction to CAGD for Inverse Problems
Introduction to CAGD for Inverse Problems
 
Master Presentation
Master PresentationMaster Presentation
Master Presentation
 
Final Assembly
Final AssemblyFinal Assembly
Final Assembly
 
Alliance Exports Pvt. Ltd., Patiala, Medical Disposables
 Alliance Exports Pvt. Ltd., 	Patiala, Medical Disposables Alliance Exports Pvt. Ltd., 	Patiala, Medical Disposables
Alliance Exports Pvt. Ltd., Patiala, Medical Disposables
 
Chapter 03
Chapter 03Chapter 03
Chapter 03
 
journalism
journalismjournalism
journalism
 
CO2PipeHaz - An Integrated, Multi-scale Modelling Approach for the Simulation...
CO2PipeHaz - An Integrated, Multi-scale Modelling Approach for the Simulation...CO2PipeHaz - An Integrated, Multi-scale Modelling Approach for the Simulation...
CO2PipeHaz - An Integrated, Multi-scale Modelling Approach for the Simulation...
 
Οικονομικά οφέλη από προγράμματα διαχείρισης
Οικονομικά οφέλη από προγράμματα διαχείρισηςΟικονομικά οφέλη από προγράμματα διαχείρισης
Οικονομικά οφέλη από προγράμματα διαχείρισης
 
His hands
His handsHis hands
His hands
 
Introduction to Calculus of Variations
Introduction to Calculus of VariationsIntroduction to Calculus of Variations
Introduction to Calculus of Variations
 
Buy FOB sell CFR-CIF cargo ASD v01
Buy FOB sell CFR-CIF cargo ASD v01Buy FOB sell CFR-CIF cargo ASD v01
Buy FOB sell CFR-CIF cargo ASD v01
 
Multiple sclerosis: Medical and Nursing Managements
Multiple sclerosis: Medical and Nursing ManagementsMultiple sclerosis: Medical and Nursing Managements
Multiple sclerosis: Medical and Nursing Managements
 
Sistem organa za disanje
Sistem organa za disanjeSistem organa za disanje
Sistem organa za disanje
 
Actividad #2 - Derechos Humanos - Harold Nicolás Pinilla Naranjo 1002
Actividad #2 - Derechos Humanos - Harold Nicolás Pinilla Naranjo 1002Actividad #2 - Derechos Humanos - Harold Nicolás Pinilla Naranjo 1002
Actividad #2 - Derechos Humanos - Harold Nicolás Pinilla Naranjo 1002
 

Similar to Introduction to the theory of optimization

Cs229 cvxopt
Cs229 cvxoptCs229 cvxopt
Cs229 cvxopt
cerezaso
 
Bachelor_Defense
Bachelor_DefenseBachelor_Defense
Bachelor_Defense
Teja Turk
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
Jules Esp
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
Jules Esp
 
Extension principle
Extension principleExtension principle
Extension principle
Savo Delić
 

Similar to Introduction to the theory of optimization (20)

Cs229 cvxopt
Cs229 cvxoptCs229 cvxopt
Cs229 cvxopt
 
IVR - Chapter 1 - Introduction
IVR - Chapter 1 - IntroductionIVR - Chapter 1 - Introduction
IVR - Chapter 1 - Introduction
 
Bachelor_Defense
Bachelor_DefenseBachelor_Defense
Bachelor_Defense
 
Nonconvex Compressed Sensing with the Sum-of-Squares Method
Nonconvex Compressed Sensing with the Sum-of-Squares MethodNonconvex Compressed Sensing with the Sum-of-Squares Method
Nonconvex Compressed Sensing with the Sum-of-Squares Method
 
Radial Basis Function Interpolation
Radial Basis Function InterpolationRadial Basis Function Interpolation
Radial Basis Function Interpolation
 
CPP.pptx
CPP.pptxCPP.pptx
CPP.pptx
 
QMC: Operator Splitting Workshop, Using Sequences of Iterates in Inertial Met...
QMC: Operator Splitting Workshop, Using Sequences of Iterates in Inertial Met...QMC: Operator Splitting Workshop, Using Sequences of Iterates in Inertial Met...
QMC: Operator Splitting Workshop, Using Sequences of Iterates in Inertial Met...
 
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
 
QMC: Operator Splitting Workshop, Progressive Decoupling of Linkages in Optim...
QMC: Operator Splitting Workshop, Progressive Decoupling of Linkages in Optim...QMC: Operator Splitting Workshop, Progressive Decoupling of Linkages in Optim...
QMC: Operator Splitting Workshop, Progressive Decoupling of Linkages in Optim...
 
Z transform ROC eng.Math
Z transform ROC eng.MathZ transform ROC eng.Math
Z transform ROC eng.Math
 
Quadrature
QuadratureQuadrature
Quadrature
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
 
Density theorems for anisotropic point configurations
Density theorems for anisotropic point configurationsDensity theorems for anisotropic point configurations
Density theorems for anisotropic point configurations
 
Fixed point theorem of discontinuity and weak compatibility in non complete n...
Fixed point theorem of discontinuity and weak compatibility in non complete n...Fixed point theorem of discontinuity and weak compatibility in non complete n...
Fixed point theorem of discontinuity and weak compatibility in non complete n...
 
11.fixed point theorem of discontinuity and weak compatibility in non complet...
11.fixed point theorem of discontinuity and weak compatibility in non complet...11.fixed point theorem of discontinuity and weak compatibility in non complet...
11.fixed point theorem of discontinuity and weak compatibility in non complet...
 
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
 
Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...
 
Extension principle
Extension principleExtension principle
Extension principle
 
Optimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to InterchangeabilityOptimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to Interchangeability
 

Recently uploaded

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Victor Rentea
 

Recently uploaded (20)

CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptxVector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptx
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 

Introduction to the theory of optimization

  • 1. Σ YSTEMS Introduction to the Theory of Optimization Dimitrios Papadopoulos Delta Pi Systems Thessaloniki, Greece
  • 2. Optimization Tree Nonlinear Equations Nonlinear Least Squares Unconstrained Global Optimization Nondifferentiable Optimization Linear Programming Nonlinearly Constrained Continuous Constrained Bound Constraint Optimization Discrete Integer Programming Network Programming Stochastic Programming Σ YSTEMS
  • 3. Taylor’s Theorem ◮ Suppose that f : Rn → R is continuously differentiable and that p ∈ Rn . Then we have that f (x + p) = f (x) + ∇f (x + tp)T p, (1) for some t ∈ (0, 1). Moreover, if f is twice differentiable, we have that 1 ∇f (x + p) = ∇f (x) + ∇2 f (x + tp)pdt, (2) 0 and that 1 f (x + p) = f (x) + ∇f (x)T p + pT ∇2 f (x + tp)p, (3) 2 for some t ∈ (0, 1) Σ YSTEMS
  • 4. Positive Definiteness ◮ A symmetric matrix A ∈ Rn×n is positive definite if there is a positive constant α such that xT Ax ≥ α||x||2 , for all x ∈ Rn . (4) n×n ◮ A symmetric matrix A ∈ R is positive semidefinite if xT Ax ≥ 0, for all x ∈ Rn . (5) Σ YSTEMS
  • 5. Convexity ◮ S ∈ Rn is a convex set if the straight line segment connecting any two points in S lies entirely inside. Formally, for any two points x ∈ S and y ∈ S, we have αx + (1 − α)y ∈ S for all α ∈ [0, 1]. (6) ◮ f is a convex function if its domain is a convex set and if for any two points x and y in this domain, the graph of f lies below the straight line connecting (x, f (x)) to (y, f (y)) in the space Rn+1 . That is, we have f (α + (1 − α)y) ≤ αf (x) + (1 − α)f (y), for all α ∈ [0, 1]. (7) Σ YSTEMS
  • 6. Local and global minima ◮ A point x∗ is a global minimizer if f (x∗ ) ≤ f (x) for all x ∈ Rn . ◮ A point x∗ is a local minizer if there is a neighborhood N of x∗ such that f (x∗ ) ≤ f (x) for x ∈ N . ◮ A point x∗ is a strict local minimizer (also called a strong local minimizer) if there is a neighborhood N of x∗ such that f (x∗ ) < f (x) for all x ∈ N with x = x∗ . ◮ A point x∗ is an isolated local minimizer if there is a neighborhood N of x∗ such that x∗ is the only local minimizer in N . Σ YSTEMS
  • 7. First-Order Necessary Conditions Theorem If x∗ is a local minimizer and f is continously differentiable in an open neighborhood of x∗ , then ∇f (x∗ ) = 0. ◮ x∗ is a stationary point if ∇f (x∗ ) = 0. ◮ Any local minimizer must be a stationary point. Σ YSTEMS
  • 8. Second-Order Necessary Conditions Theorem If x∗ is a local minimizer of f and ∇2 f is continuous in an open neighborhood of x∗ , then ∇f (x∗ ) = 0 and ∇2 f (x∗ ) is positive semidefinite. Σ YSTEMS
  • 9. Second-Order Sufficient Conditions Theorem Suppose that ∇2 f is continuous in an open neighborhood of x∗ and that ∇f (x∗ ) = 0 and ∇2 f (x∗ ) is positive definite. Then x∗ is a strict local minimizer of f . Σ YSTEMS
  • 10. Uniqueness of minimum for convex functions Theorem When f is convex, any local minimizer x∗ is a global minimizer of f . If in addition f is differentiable, then any stationary point x∗ is a global minimizer of f. Σ YSTEMS
  • 11. Linear Least-Squares ◮ Model: y(ti ; x1 , ..., xn ) = ai,1 + ... + ai,n xn , i = 1, ..., m, ◮ Minimization problem: m m (y(ti ; x1 , ..., xn ) − bi )2 = (ai,1 + ... + ai,n xn − bi )2 = min (8) i=1 i=1 or in matrix form ◮ Given A = (aij )m,n ∈ Rm×n and b ∈ Rn find x∗ ∈ Rn , such that i,j=1 ||Ax∗ − b||2 = min ||Ax − b||2 (9) n x∈R ◮ x∗ ∈ Rn is exactly then a solution of equation (1), if x∗ is the solution of the equation AT Ax = AT b (10) The system of normal equations has at least one solution. It has exactly one, if Rank(A) = n ◮ If A ∈ Rm×n has n full ranks (columns), then the matrix AT A ∈ Rn×n is symmetric positive definite. Σ YSTEMS
  • 12. Contact us Delta Pi Systems Optimization and Control of Processes and Systems Thessaloniki, Greece http://www.delta-pi-systems.eu Σ YSTEMS