SlideShare a Scribd company logo
1 of 5
Download to read offline
Convexity and differentiable functions
We know that half – planes in RRRR
2
and half – spaces in RRRR
3
are fundamental examples
of convex sets. Many of these examples are defined by inequalities of the form y ≥
f (x1, x2, ... , xk) where f is a first degree polynomial in the coordinates xj and k =
1 or 2 depending upon whether we are looking at RRRR
2
or RRRR
3
. Our objective here is to
derive a simple criterion for recognizing other convex sets defined by inequalities of the
form y ≥ f (x1, x2, ... , xk), where f is a function with continuous second partial
derivatives; the set defined in this manner is sometimes called the epigraph of the real
valued function f.
(Source: http://en.wikipedia.org/wiki/File:Epigraph_convex.svg)
Many functions in elementary calculus have convex epigraphs. In particular, if we take
f (x) = x2
or e
x
, then inspection of the graphs strongly suggests that their epigraphs
are convex; our recognition criterion will prove these statements (and also yield many
others of the same type).
(Source:
http://algebra.freehomeworkmathhelp.com/Relations_and_Functions/Graph
s/Graphs_of_Algebra_Functions/graphs_of_algebra_functions.html)
Nearly all of our discussion generalizes to a class of examples known as convex
functions, but our discussion will be limited because we mainly interested in finding
examples. Here are some references for the more general results about convex
functions:
We shall begin by considering convex functions of one variable, and afterwards we shall
explain how everything can be extended to functions of two (or more) variables.
Definition. If K is a convex subset of RRRR
n
and f is a real valued function on K, then f
is said to be convex if for each x, y in K and each t in the open interval (0, 1) we
have
f (tx + (1 – t)y) ≤ tf(x) + (1 – t) f (y).
In calculus textbooks (but practically nowhere else!) such functions are often said to be
concave upward.
(Source: http://withfriendship.com/user/levis/convex-function.php)
Convex functions have been studied extensively in both theoretical and applied
mathematics. Further information can be found in the following online article:
http://en.wikipedia.org/wiki/Convex_function
Our first result gives an alternate characterization of convexity for functions.
Theorem 1. A real valued function on a convex set K in RRRR
n
is a convex function if
and only it its epigraph in K × RRRR is a convex set (we view the latter as a subspace of
RRRR
n+1
in the usual way).
Proof of Theorem 1. (⇐) Suppose that x, y ∈ K and t ∈ (0, 1). Since the epigraph E of f is
convex and it contains the graph of f, it follows that
(t x + (1 − t) y, t f(x) + (1 − t) f(y) ) = t (x, f(x) ) + (1 − t) (y, f(y) )
also lies in E. By definition of the latter, this means that
t f(x) + (1 − t) f(y) ≥ f (t x + (1 − t) y )
and therefore f is a convex function.
(⇒) Suppose that (x, u) and (y, v) lie in the epigraph, so that u ≥ f(x) and v ≥ f(y); we
need to prove that
t u + (1 − t) v ≥ f (t x + (1 − t) y )
for all t ∈ (0, 1). The hypotheses imply that the left hand side satisfies
t u + (1 − t) v ≥ t f(x) + (1 − t) f(y)
and the convexity of f shows that the right hand side is greater than or equal to f (t x + (1 − t) y ).
Combining these, we obtain the inequality in first sentence of the paragraph.
The Second Derivative Test for Convexity
We shall now state the main result; versions of it are implicit in the discussions of curve
sketching that appear in standard calculus texts.
Theorem 2. Let K ⊂ R be an interval, and let f be a real valued function on K with a continuous
second derivative. If f′′
is nonnegative everywhere, then f is convex on K.
The next result contains the main steps in the proof of Theorem 2.
Lemma 3. Let f be a real valued function on the closed interval [a, b] with a second continuous
derivative. Suppose further that f′′
is nonnegative on [a, b] let g be the linear function with
f(a) = g(a) and f(b) = g(b). Then f(x) ≤ g(x) for all x ∈ [a, b].
Proof of Lemma 3. Define a new function h on [a, b] by h = g − f. Then by construction we
have h(a) = h(b) = 0 and h′′
(x) = g′′
(x) − f′′
(x) = 0 − f′′
(x) because the second derivative of the
linear function g is zero; since f′′
≥ 0 it follows that h′′
≤ 0. The preceding observations then yield
the following properties of the function h:
(i) For some C ∈ (a, b) we have h′
(C) = 0.
(ii) The derivative h′
is nondecreasing.
The first of these is a consequence of Rolle’s Theorem, and the second follows because the derivative
h′′
of h′
is nonpositive. If we combine (i) and (ii) we see that h′
(x) ≥ 0 for x ≤ C and h′
(x) ≤ 0
for x ≥ C.
In order to prove Lemma 3, we must show that h(x) ≥ 0 everywhere. Since h(a) = 0 and
h′
≥ 0 for x ≤ C, it follows that h(x) ≥ 0 for x ≤ C. We need to prove the same conclusion for
x ≥ C; assume this is false, and assume specifically that h(D) < 0 for some D ∈ (C, b). Since
h′
≤ 0 for x ≥ D, we must also have h(x) < 0 for all x ∈ (D, b]. In particular, this implies that
h(b) < 0, which is a contradiction because we know that h(b) = 0. The source of this contradiction
is our supposition that h(D) < 0 for some D, and thus we must have h ≥ 0 everywhere.
Proof of Theorem 2. Let a, b ∈ K; our objective is to prove that if t ∈ (0, 1) then
f ((1 − t) a + t b) ≤ (1 − t) f(a) + t f(b) .
We claim that, without loss of generality, we may assume a is less than b; this is true because
for each t ∈ (0, 1) we may rewrite (1−t) a + t b as (1−s) a + s b where s = 1−t also lies in (0, 1).
Assuming a < b. take g to be the linear function defined in Lemma 3, let t ∈ (0, 1) and set x
equal to (1 − t) a + t b; since x ∈ (a, b) there is a unique solution t to this equation given by
t =
x − a
b − a
and this solution lies in (0, 1). We can now apply Lemma 3 to conclude that f(x) ≤ g(x). Since g
is a linear function we have
g(x) = g ( (1 − t) a + t b) = (1 − t) g(a) + t g(b) = (1 − t) f(a) + t f(b)
and by the preceding sentence we know this is greater than or equal to f ( (1 − t) a + t b). Therefore
f is a convex function.
EXAMPLES. Theorem 2 implies that both f(x) = x2
and f(x) = ex
are convex because their
second derivatives are the positive valued functions 2 (the constant function) and ex
respectively.
Similarly, f(x) = 1/x is convex on the open half-line defined by x > 0 because f ′′
(x) = 2/x3
is
positive for x > 0.
Generalization to higher dimensions
Although a few complications arise, we can prove a corresponding Second Derivative Test for
recognizing convex functions of finitely many (say n) variables. The first of these is standard in
multivariable differential calculus; namely, we must restrict attention to open convex subsets of
Rn
if n ≥ 2. Likewise, in analogy with the second derivative tests for relative maxima and minima,
we need to consider certain algebraic properties of the Hessian matrix
H(f) =
∂2
f
∂xj ∂xj
which is symmetric (mixed partials do not depend upon the order in which the partial derivatives
are taken).
Algebraic digression. If A = (ai,j) is a symmetric n × n matrix, then A is said to be positive
definite if for each nonzero vector v = (v1, · · · , vn) we have
i,j
ai,j vi vj > 0 .
The standard test for recognizing such matrices is the principal minors test:
Given a symmetric matrix A as above, let Ak be the k × k submatrix generated by the
first k rows and columns of A. Then A is positive definite if and only if det Ak > 0 for
k = 1, ... , n.
See pages 84 and 88–90 of the document
http://math.ucr.edu/≃res/math132/linalgnotes.pdf
for further information, including a proof of this fact.
The relevance of positive definite matrices arises from the following observation.
Lemma 4. Let U be a convex open subset of Rn
, let f be a real valued function with continuous
second partial derivatives, let x and y be distinct points of U, and write v = y − x (hence v is
nonzero. If ϕ(t) = f(x + t v) for t in some open interval containing [0, 1], then
ϕ′′
(t) =
i,j
∂2
f
∂xj ∂xj
(x + t v) vi vj .
NOTE. The convexity and openness of U imply that ϕ(t) can be always be defined for all t in some
open interval containing [0, 1].
Proof of Lemma 4. This follows immediately from successive applications of the Chain Rule to
ϕ(t) and ϕ′
(t).
Theorem 5. (Multivariable Second Derivative Test for Convexity) Let K ⊂ Rn
be an open
convex set, and let f be a real valued function on K with continuous second partial derivatives. If
the Hessian of f is positive definite everywhere, then f is convex on K.
Proof. Let x and y be distinct points of K, let t ∈ (0, 1), and let ϕ(u) be defined as in Lemma
4. Since the Hessian of f is positive definite everywhere, Lemma 4 implies that ϕ′′
(u) > 0 for all
u and hence Theorem 2 shows that ϕ is a convex function on the open interval containing [0, 1].
Using the identity t = t · 1 + (1 − t) · 0, we then have
f (t y + (1 − t) x ) = ϕ(t) = ϕ (t · 1 + (1 − t) · 0) ≤ tϕ(1) + (1 − t)ϕ(0) .
By construction ϕ(0) = f(x) and ϕ(1) = f(y), so the convexity of f follows from substitution of
these values into the right hand side of the display above.
If we specialize to the case n = 2 the Principal Minors Test for the Hessian of f reduces to the
pair of inequalities
∂2
f
∂x2
1
> 0, det
∂2
f
∂xj ∂xj
> 0
and computations for specific examples are often very easy.
EXAMPLES. If K = R2
, then the functions f(x, y) = x2
+y2
and f(x, y) = ex
+ey
are convex on K
by Theorem 5 and the preceding simplification of the Principal Minors Test. Similar considerations
show that if K is the open first quadrant defined by x > 0 and y > 0, then f(x, y) = 1/xy is convex
on K.
Exercise
Show that if K is an open convex set and f is a convex function on K then the open epigraph
consisting of all (x, u) ∈ K × R such that u > f(x) (i.e., we have strict inequality) is also a convex
set. [Hint: Imitate the relevant portion of the proof for Theorem 1.]

More Related Content

Recently uploaded

This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.christianmathematics
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxheathfieldcps1
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxEsquimalt MFRC
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfSherif Taha
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptxMaritesTamaniVerdade
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...christianmathematics
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfciinovamais
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxDenish Jangid
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxJisc
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...pradhanghanshyam7136
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.MaryamAhmad92
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibitjbellavia9
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
 
Unit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptxUnit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptxVishalSingh1417
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 

Recently uploaded (20)

This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Spatium Project Simulation student brief
Spatium Project Simulation student briefSpatium Project Simulation student brief
Spatium Project Simulation student brief
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Unit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptxUnit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptx
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 

Featured

How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsKurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summarySpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentLily Ray
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best PracticesVit Horky
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project managementMindGenius
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...RachelPearson36
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Applitools
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at WorkGetSmarter
 
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...DevGAMM Conference
 
Barbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationBarbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationErica Santiago
 
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellGood Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellSaba Software
 
Introduction to C Programming Language
Introduction to C Programming LanguageIntroduction to C Programming Language
Introduction to C Programming LanguageSimplilearn
 

Featured (20)

How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work
 
ChatGPT webinar slides
ChatGPT webinar slidesChatGPT webinar slides
ChatGPT webinar slides
 
More than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike RoutesMore than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike Routes
 
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
 
Barbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationBarbie - Brand Strategy Presentation
Barbie - Brand Strategy Presentation
 
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellGood Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
 
Introduction to C Programming Language
Introduction to C Programming LanguageIntroduction to C Programming Language
Introduction to C Programming Language
 

Conv 2nd

  • 1. Convexity and differentiable functions We know that half – planes in RRRR 2 and half – spaces in RRRR 3 are fundamental examples of convex sets. Many of these examples are defined by inequalities of the form y ≥ f (x1, x2, ... , xk) where f is a first degree polynomial in the coordinates xj and k = 1 or 2 depending upon whether we are looking at RRRR 2 or RRRR 3 . Our objective here is to derive a simple criterion for recognizing other convex sets defined by inequalities of the form y ≥ f (x1, x2, ... , xk), where f is a function with continuous second partial derivatives; the set defined in this manner is sometimes called the epigraph of the real valued function f. (Source: http://en.wikipedia.org/wiki/File:Epigraph_convex.svg) Many functions in elementary calculus have convex epigraphs. In particular, if we take f (x) = x2 or e x , then inspection of the graphs strongly suggests that their epigraphs are convex; our recognition criterion will prove these statements (and also yield many others of the same type). (Source: http://algebra.freehomeworkmathhelp.com/Relations_and_Functions/Graph s/Graphs_of_Algebra_Functions/graphs_of_algebra_functions.html)
  • 2. Nearly all of our discussion generalizes to a class of examples known as convex functions, but our discussion will be limited because we mainly interested in finding examples. Here are some references for the more general results about convex functions: We shall begin by considering convex functions of one variable, and afterwards we shall explain how everything can be extended to functions of two (or more) variables. Definition. If K is a convex subset of RRRR n and f is a real valued function on K, then f is said to be convex if for each x, y in K and each t in the open interval (0, 1) we have f (tx + (1 – t)y) ≤ tf(x) + (1 – t) f (y). In calculus textbooks (but practically nowhere else!) such functions are often said to be concave upward. (Source: http://withfriendship.com/user/levis/convex-function.php) Convex functions have been studied extensively in both theoretical and applied mathematics. Further information can be found in the following online article: http://en.wikipedia.org/wiki/Convex_function Our first result gives an alternate characterization of convexity for functions. Theorem 1. A real valued function on a convex set K in RRRR n is a convex function if and only it its epigraph in K × RRRR is a convex set (we view the latter as a subspace of RRRR n+1 in the usual way).
  • 3. Proof of Theorem 1. (⇐) Suppose that x, y ∈ K and t ∈ (0, 1). Since the epigraph E of f is convex and it contains the graph of f, it follows that (t x + (1 − t) y, t f(x) + (1 − t) f(y) ) = t (x, f(x) ) + (1 − t) (y, f(y) ) also lies in E. By definition of the latter, this means that t f(x) + (1 − t) f(y) ≥ f (t x + (1 − t) y ) and therefore f is a convex function. (⇒) Suppose that (x, u) and (y, v) lie in the epigraph, so that u ≥ f(x) and v ≥ f(y); we need to prove that t u + (1 − t) v ≥ f (t x + (1 − t) y ) for all t ∈ (0, 1). The hypotheses imply that the left hand side satisfies t u + (1 − t) v ≥ t f(x) + (1 − t) f(y) and the convexity of f shows that the right hand side is greater than or equal to f (t x + (1 − t) y ). Combining these, we obtain the inequality in first sentence of the paragraph. The Second Derivative Test for Convexity We shall now state the main result; versions of it are implicit in the discussions of curve sketching that appear in standard calculus texts. Theorem 2. Let K ⊂ R be an interval, and let f be a real valued function on K with a continuous second derivative. If f′′ is nonnegative everywhere, then f is convex on K. The next result contains the main steps in the proof of Theorem 2. Lemma 3. Let f be a real valued function on the closed interval [a, b] with a second continuous derivative. Suppose further that f′′ is nonnegative on [a, b] let g be the linear function with f(a) = g(a) and f(b) = g(b). Then f(x) ≤ g(x) for all x ∈ [a, b]. Proof of Lemma 3. Define a new function h on [a, b] by h = g − f. Then by construction we have h(a) = h(b) = 0 and h′′ (x) = g′′ (x) − f′′ (x) = 0 − f′′ (x) because the second derivative of the linear function g is zero; since f′′ ≥ 0 it follows that h′′ ≤ 0. The preceding observations then yield the following properties of the function h: (i) For some C ∈ (a, b) we have h′ (C) = 0. (ii) The derivative h′ is nondecreasing. The first of these is a consequence of Rolle’s Theorem, and the second follows because the derivative h′′ of h′ is nonpositive. If we combine (i) and (ii) we see that h′ (x) ≥ 0 for x ≤ C and h′ (x) ≤ 0 for x ≥ C. In order to prove Lemma 3, we must show that h(x) ≥ 0 everywhere. Since h(a) = 0 and h′ ≥ 0 for x ≤ C, it follows that h(x) ≥ 0 for x ≤ C. We need to prove the same conclusion for x ≥ C; assume this is false, and assume specifically that h(D) < 0 for some D ∈ (C, b). Since h′ ≤ 0 for x ≥ D, we must also have h(x) < 0 for all x ∈ (D, b]. In particular, this implies that h(b) < 0, which is a contradiction because we know that h(b) = 0. The source of this contradiction is our supposition that h(D) < 0 for some D, and thus we must have h ≥ 0 everywhere.
  • 4. Proof of Theorem 2. Let a, b ∈ K; our objective is to prove that if t ∈ (0, 1) then f ((1 − t) a + t b) ≤ (1 − t) f(a) + t f(b) . We claim that, without loss of generality, we may assume a is less than b; this is true because for each t ∈ (0, 1) we may rewrite (1−t) a + t b as (1−s) a + s b where s = 1−t also lies in (0, 1). Assuming a < b. take g to be the linear function defined in Lemma 3, let t ∈ (0, 1) and set x equal to (1 − t) a + t b; since x ∈ (a, b) there is a unique solution t to this equation given by t = x − a b − a and this solution lies in (0, 1). We can now apply Lemma 3 to conclude that f(x) ≤ g(x). Since g is a linear function we have g(x) = g ( (1 − t) a + t b) = (1 − t) g(a) + t g(b) = (1 − t) f(a) + t f(b) and by the preceding sentence we know this is greater than or equal to f ( (1 − t) a + t b). Therefore f is a convex function. EXAMPLES. Theorem 2 implies that both f(x) = x2 and f(x) = ex are convex because their second derivatives are the positive valued functions 2 (the constant function) and ex respectively. Similarly, f(x) = 1/x is convex on the open half-line defined by x > 0 because f ′′ (x) = 2/x3 is positive for x > 0. Generalization to higher dimensions Although a few complications arise, we can prove a corresponding Second Derivative Test for recognizing convex functions of finitely many (say n) variables. The first of these is standard in multivariable differential calculus; namely, we must restrict attention to open convex subsets of Rn if n ≥ 2. Likewise, in analogy with the second derivative tests for relative maxima and minima, we need to consider certain algebraic properties of the Hessian matrix H(f) = ∂2 f ∂xj ∂xj which is symmetric (mixed partials do not depend upon the order in which the partial derivatives are taken). Algebraic digression. If A = (ai,j) is a symmetric n × n matrix, then A is said to be positive definite if for each nonzero vector v = (v1, · · · , vn) we have i,j ai,j vi vj > 0 . The standard test for recognizing such matrices is the principal minors test: Given a symmetric matrix A as above, let Ak be the k × k submatrix generated by the first k rows and columns of A. Then A is positive definite if and only if det Ak > 0 for k = 1, ... , n.
  • 5. See pages 84 and 88–90 of the document http://math.ucr.edu/≃res/math132/linalgnotes.pdf for further information, including a proof of this fact. The relevance of positive definite matrices arises from the following observation. Lemma 4. Let U be a convex open subset of Rn , let f be a real valued function with continuous second partial derivatives, let x and y be distinct points of U, and write v = y − x (hence v is nonzero. If ϕ(t) = f(x + t v) for t in some open interval containing [0, 1], then ϕ′′ (t) = i,j ∂2 f ∂xj ∂xj (x + t v) vi vj . NOTE. The convexity and openness of U imply that ϕ(t) can be always be defined for all t in some open interval containing [0, 1]. Proof of Lemma 4. This follows immediately from successive applications of the Chain Rule to ϕ(t) and ϕ′ (t). Theorem 5. (Multivariable Second Derivative Test for Convexity) Let K ⊂ Rn be an open convex set, and let f be a real valued function on K with continuous second partial derivatives. If the Hessian of f is positive definite everywhere, then f is convex on K. Proof. Let x and y be distinct points of K, let t ∈ (0, 1), and let ϕ(u) be defined as in Lemma 4. Since the Hessian of f is positive definite everywhere, Lemma 4 implies that ϕ′′ (u) > 0 for all u and hence Theorem 2 shows that ϕ is a convex function on the open interval containing [0, 1]. Using the identity t = t · 1 + (1 − t) · 0, we then have f (t y + (1 − t) x ) = ϕ(t) = ϕ (t · 1 + (1 − t) · 0) ≤ tϕ(1) + (1 − t)ϕ(0) . By construction ϕ(0) = f(x) and ϕ(1) = f(y), so the convexity of f follows from substitution of these values into the right hand side of the display above. If we specialize to the case n = 2 the Principal Minors Test for the Hessian of f reduces to the pair of inequalities ∂2 f ∂x2 1 > 0, det ∂2 f ∂xj ∂xj > 0 and computations for specific examples are often very easy. EXAMPLES. If K = R2 , then the functions f(x, y) = x2 +y2 and f(x, y) = ex +ey are convex on K by Theorem 5 and the preceding simplification of the Principal Minors Test. Similar considerations show that if K is the open first quadrant defined by x > 0 and y > 0, then f(x, y) = 1/xy is convex on K. Exercise Show that if K is an open convex set and f is a convex function on K then the open epigraph consisting of all (x, u) ∈ K × R such that u > f(x) (i.e., we have strict inequality) is also a convex set. [Hint: Imitate the relevant portion of the proof for Theorem 1.]