<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JSS</journal-id><journal-title-group><journal-title>Open Journal of Social Sciences</journal-title></journal-title-group><issn pub-type="epub">2327-5952</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jss.2023.1111034</article-id><article-id pub-id-type="publisher-id">JSS-129520</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Business&amp;Economics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  The Graphic Derivation Process of Lagrange Multiplier Method
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Wenbing</surname><given-names>Wu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Xiaojian</surname><given-names>Yuan</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Big Data, Fuzhou University of Foreign Studies and Trade, Fuzhou, China</addr-line></aff><pub-date pub-type="epub"><day>01</day><month>11</month><year>2023</year></pub-date><volume>11</volume><issue>11</issue><fpage>527</fpage><lpage>532</lpage><history><date date-type="received"><day>9,</day>	<month>November</month>	<year>2023</year></date><date date-type="rev-recd"><day>27,</day>	<month>November</month>	<year>2023</year>	</date><date date-type="accepted"><day>30,</day>	<month>November</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The Lagrange multiplier method is an effective method for finding the extreme values of functions, which can solve some complex mathematical and engineering problems. The introduction of this method in the textbook is only a simple expression, but it does not explain how this expression is derived. This article provides a detailed derivation of the Lagrangian multiplier method expression through graphical methods combined with the gradient principle. The Lagrange multiplier method has important applications in various engineering methods, and one of the closely related applications is the gradient descent method. Therefore, after understanding the working principle of the Lagrange multiplier method, one can deepen their understanding and mastery of related issues in the subsequent learning process.
 
</p></abstract><kwd-group><kwd>Lagrange Multiplier Method</kwd><kwd> Gradient</kwd><kwd> The Gradient Descent Method</kwd><kwd> Extreme Values</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In mathematical optimization problems, the Lagrange multiplier method (named after mathematician Joseph Louis Lagrange) is a method of finding the extreme values of multivariate functions with variables constrained by one or more conditions. This method transforms an optimization problem with n variables and k constraints into an extreme value problem with n + k variables of an equation system, with no constraints on the variables. This method introduces a new scalar unknown, namely the Lagrange multiplier: the coefficient of each vector in the linear combination of the gradient of the constraint equation. The proof of this method involves partial differentiation, total differentiation, or chain method, in order to find the value of an unknown number that can make the differential of the set implicit function zero.</p><p>Find the function f(x, y, z) under the condition φ, the extreme value at (x, y, z) = 0.</p><p>The method (step) is:</p><p>1) Does the Lagrangian function L = f(x, y, z) + λφ(x, y, z), λ Weigh the Lagrangian multiplier;</p><p>2) Find L for x, y, z, respectively, λ finds the partial derivative, obtains the system of equations, and finds the stationary point P (x, y, z);</p><p>If the maximum or minimum value of this practical problem exists, generally speaking, there is only one stationary point, so the maximum value can be obtained.</p><p>The conditional extremum problem can also be transformed into an unconditional extremum solution, but some conditional relationships are complex and substitution and operation are complicated. Relatively speaking, the “Lagrange multiplier method” does not require substitution and is simpler in operation, which is the advantage.</p><p>Condition φ(x, y, z) must be an equation, let’s set it as φ(x, y, z) = m.</p><p>Then create another function g(x, y, z) = φ(x, y, z) – m.</p><p>G(x, y, z) = 0 is replaced by g(x, y, z)φ(x, y, z).</p><p>In many extreme value problems, the independent variable of the function is often limited by some conditions, such as designing a rectangular open water tank with a volume of V, determining the length, width, and height to minimize the surface area of the tank. If the length, width, and height of the water tank are x, y, and z, then the volume of the water tank V = xyz.</p><p>The steel plate area used for welding the water tank is S = 2xz + 2yz + xy.</p><p>This is actually a problem of finding the minimum value of function S under the V constraint.</p><p>This type of extreme value problem with conditional constraints is called a conditional extreme value problem, which generally takes the form of finding the extreme value of function F under conditional constraints.</p></sec><sec id="s2"><title>2. The Difference between Conditional Extremum and Unconditional Extremum</title><p>Conditional extremum is an extreme value limited to a submanifold. When a conditional extremum exists, an unconditional extremum may not necessarily exist, and even if there are two, they may not necessarily be equal.</p><p>For example, find the lowest point on the curve where the saddle surface z = x<sup>2</sup> − y<sup>2</sup> + 1 is cut by the plane XOZ.</p><p>From its geometric shape, it can be seen that there are no extreme points on the entire saddle surface, but it is limited to the curve where the saddle surface is cut by the plane. There is a minimum value of 1, which is called the conditional extreme value.</p></sec><sec id="s3"><title>3. Necessary Condition</title><p>Find the extreme value of a function under constraints. The point that satisfies the constraint condition is the conditional extreme point of the function, and when the point function satisfies the existence condition of the implicit function, the implicit function is determined by the equation, so the point is the limit point of the unary function.</p></sec><sec id="s4"><title>4. Lagrange Multiplier Method</title><p>From the above discussion, it can be seen that the conditional extreme point of the function under the constraint conditions should be the solution of the equation system.</p><p>By introducing the so-called Lagrange function (where the real number is referred to as the Lagrange multiplier), the above system of equations is called the system of equations.</p><p>Therefore, there are usually three methods to solve conditional extremum  (Reichel, Schrder, &amp; Xu, 2023;   Zhao &amp; Wang, 2022;   Ambartsumyan, 2018;   Chen, Xu, Wang, Huang, &amp; Chen, 2022;   Salmalian, Alijani, &amp; Azarboni, 2020) :</p><p>1) The direct method is to solve the system of Equation (1) and represent it as a function that is substituted and eliminated as a variable, transforming the problem into an unconditional extremum problem of the function.</p><p>2) In general, it is difficult or even impossible to solve from equation System (1), so the above solution method is often not feasible. The commonly used Lagrange multiplier method eliminates the difficulty of solving equation System (1) and transforms the problem of finding the conditional extremum into the problem of finding the stable points of the following Lagrange function. Then, based on the characteristics of the actual problem being discussed, it is determined which stable points are the extremum sought.</p><p>3) Under given conditions, if the unknown number can be substituted or solved, the conditional extremum can be transformed into an unconditional extremum, thereby avoiding the trouble of introducing Lagrangian multipliers.</p><p>Given the binary function z = f(x, y) and additional conditions φ(x, y) = 0, in order to find the extreme point of z = f(x, y) under additional conditions, first do the Lagrangian function</p><p>F ( x , y , λ ) = f ( x , y ) + λ φ ′ X ( x , y )</p><p>where λ is a parameter.</p><p>Let F(x, y, λ), for x and y, the first partial derivative of is equal to zero, that is,</p><p>F ′ x = f ′ x ( x , y ) + λ φ ′ X ( x , y ) = 0</p><p>F ′ y = f ′ y ( x , y ) + λ φ ′ Y ( x , y ) = 0</p><p>F ′ λ = φ ( x , y ) = 0</p><p>Solve x, y, and λ, the (x, y) obtained in this way is the function z = f(x, y) under additional conditions φ possible extreme points at (x, y) = 0. If there is only one such point, the actual problem can directly determine the desired point.</p><p>The biggest point of the Lagrange multiplier method is how to obtain the equation: F ( x , y , λ ) = F ( x , y ) + λ φ ( x , y ) .</p><p>To understand this issue, we start with gradients:</p><p>The mountain slope in <xref ref-type="fig" rid="fig1">Figure 1</xref> will project a contour map of a concentric circle on the ground.</p><p>Our current problem is to derive the equation for the Lagrange multiplier method from the contour line.</p><p>As shown in <xref ref-type="fig" rid="fig2">Figure 2</xref>. Assuming starting from any point O, the shortest distance from point O to the curve passing through point A in function g(x) is required. We can do this:</p><p>Draw circles with a continuously expanding radius centered on point O.</p><p>When a circle and our target curve happen to have a tangent point, then the line connecting point O and this tangent point is the shortest distance from point O to this curve.</p><p>In the above figure, when the circle and curve have a tangent point A, AO is the shortest distance from point O to this curve.</p><p>As mentioned earlier, a concentric circle f(x) can be seen as a contour line on a hemispherical surface, so AO is the gradient direction of the concentric circle f(x). Similarly, the curve cluster g(x) can also be seen as the contour lines of a three-dimensional shape. It can be seen that at point A, the gradients of f(x) and g(x) at the same point A are equal in magnitude but opposite in direction. Meanwhile, because a gradient is a vector, its modulus varies in size:</p><p>g r a d f ( x , y ) = ∂ f ∂ x i + ∂ f ∂ y j</p><p>Therefore, the gradients of the two functions at point A should satisfy the following relationship  (Deparis, Iubatti, &amp; Pegolotti, 2019;   Hu et al., 2021;   Chaudhary, Raja, Khan et al., 2021;   Hijazi, Kandil, Zaarour et al., 2019) .</p><p>Δ f ( x ) = − α ∇ G ( x ) where α is a constant, i.e.</p><p>Δ f ( x ) + α ∇ G ( x ) = 0</p><p>Consider f(x) as f(x, y), and g(x) as φ(x, y), we obtain the Lagrange multiplier method:</p><p>F ( x , y , λ ) = F ( x , y ) + λ φ ( x , y )</p><p>The Lagrange multiplier method is an effective method for finding the extreme values of functions, which can solve some complex mathematical and engineering problems. In practical applications, the gradient descent method is closely related to the Lagrange multiplier method. Gradient descent method is a commonly used optimization algorithm for solving unconstrained optimization problems. The basic idea is to continuously update parameters along the gradient direction of the objective function through iteration until reaching the optimal solution or convergence. The core of the gradient descent method is to calculate the gradient of the objective function for each parameter, and then update the parameters in the direction of the negative gradient.</p></sec><sec id="s5"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s6"><title>Cite this paper</title><p>Wu, W. B., &amp; Yuan, X. J. (2023). The Graphic Derivation Process of Lagrange Multiplier Method. Open Journal of Social Sciences, 11, 527-532. https://doi.org/10.4236/jss.2023.1111034</p></sec></body><back><ref-list><title>References</title><ref id="scirp.129520-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Ambartsumyan, I., Khattatov, E., Yotov, I. et al. (2018). A Lagrange Multiplier Method for a Stokes-Biot Fluid-Poroelastic Structure Interaction Model Mathematics Subject Classification. Numerische Mathematik, 140, 513-553. https://doi.org/10.1007/s00211-018-0967-1</mixed-citation></ref><ref id="scirp.129520-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Chaudhary, N. I., Raja, M. A. Z., Khan, Z. A. et al. (2021). Hierarchical Quasi-Fractional Gradient Descent Method for Parameter Estimation of Nonlinear ARX Systems Using Key Term Separation Principle. Mathematics, 9, 3302. https://doi.org/10.3390/math9243302</mixed-citation></ref><ref id="scirp.129520-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Chen</surname><given-names> L. X.</given-names></name>,<name name-style="western"><surname> Xu</surname><given-names> Z. X.</given-names></name>,<name name-style="western"><surname> Wang</surname><given-names> C. R.</given-names></name>,<name name-style="western"><surname> Huang</surname><given-names> D. S.</given-names></name>,<name name-style="western"><surname> &amp; Chen</surname><given-names> Z. N. </given-names></name>,<etal>et al</etal>. (<year>2022</year>)<article-title>. Intercomparison-Oriented Evaluation of Equipment’s Contribution Rate to Armament System-of-Systems Construction</article-title><source> Acta Armamentarii</source><volume> 43</volume>,<fpage> 1208</fpage>-<lpage>1214</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129520-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Deparis</surname><given-names> S.</given-names></name>,<name name-style="western"><surname> Iubatti</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> &amp; Pegolotti</surname><given-names> L. </given-names></name>,<etal>et al</etal>. (<year>2019</year>)<article-title>. Coupling Non-Conforming Discretizations of PDEs by Spectral Approximation of the Lagrange Multiplier Space</article-title><source> ESAIM: Mathematical Modelling and Numerical Analysis</source><volume> 53</volume>,<fpage> 1667</fpage>-<lpage>1694</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129520-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Hijazi, H., Kandil, N., Zaarour, N. et al. (2019). Impact of Initialization on Gradient Descent Method in Localization Using Received Signal Strength. In ITM Web of Conferences.</mixed-citation></ref><ref id="scirp.129520-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Hu, J. Y. et al. (2021). Exploring the Measurement Accuracy of Flush Air Data Sensing Based on Normal Cloud Model and Multi-Objective Programming. Journal of Northwestern Polytechnical University 39, 987-994. https://doi.org/10.1051/jnwpu/20213950987</mixed-citation></ref><ref id="scirp.129520-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Reichel, M., Schrder, J., &amp; Xu, B. X. (2023). Efficient Micromagnetic Finite Element Simulations Using a Perturbed Lagrange Multiplier Method. PAMM, 22, e202200016. https://doi.org/10.1002/pamm.202200016</mixed-citation></ref><ref id="scirp.129520-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Salmalian, K., Alijani, A., &amp; Azarboni, H. R. (2020). A Lagrange Multiplier-Based Technique within the Nonlinear Finite Element Method in Cracked Columns. Periodica Polytechnica Civil Engineering, 65, 84-98 https://doi.org/10.3311/PPci.16395</mixed-citation></ref><ref id="scirp.129520-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Zhao, Y. X., &amp; Wang, X. L. (2022). Multiple Robust Estimation of Parameters in Varying-Coefficient Partially Linear Model with Response Missing at Random. Mathematical Modelling and Control, 2, 24-33. https://doi.org/10.3934/mmc.2022004</mixed-citation></ref></ref-list></back></article>