Positivity constraints in optimization












1












$begingroup$


How do you enforce positivity constraints in non-linear optimization (e.g. a constraint $x > 0$)? I remember there being a good reason for why most models use non-negativity constraints.










share|cite|improve this question











$endgroup$












  • $begingroup$
    How about the KKT conditions? en.wikipedia.org/wiki/…
    $endgroup$
    – matt
    Jan 18 '12 at 11:43












  • $begingroup$
    @matt:They handle non-negative and equality constraints.
    $endgroup$
    – Jacob
    Jan 18 '12 at 12:03












  • $begingroup$
    :You could use "Log Barrier methods". I will post an answer with more detail.
    $endgroup$
    – matt
    Jan 19 '12 at 10:12
















1












$begingroup$


How do you enforce positivity constraints in non-linear optimization (e.g. a constraint $x > 0$)? I remember there being a good reason for why most models use non-negativity constraints.










share|cite|improve this question











$endgroup$












  • $begingroup$
    How about the KKT conditions? en.wikipedia.org/wiki/…
    $endgroup$
    – matt
    Jan 18 '12 at 11:43












  • $begingroup$
    @matt:They handle non-negative and equality constraints.
    $endgroup$
    – Jacob
    Jan 18 '12 at 12:03












  • $begingroup$
    :You could use "Log Barrier methods". I will post an answer with more detail.
    $endgroup$
    – matt
    Jan 19 '12 at 10:12














1












1








1





$begingroup$


How do you enforce positivity constraints in non-linear optimization (e.g. a constraint $x > 0$)? I remember there being a good reason for why most models use non-negativity constraints.










share|cite|improve this question











$endgroup$




How do you enforce positivity constraints in non-linear optimization (e.g. a constraint $x > 0$)? I remember there being a good reason for why most models use non-negativity constraints.







optimization






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 19 '12 at 11:38









Dirk

8,9672447




8,9672447










asked Jan 18 '12 at 0:16









JacobJacob

1,92811225




1,92811225












  • $begingroup$
    How about the KKT conditions? en.wikipedia.org/wiki/…
    $endgroup$
    – matt
    Jan 18 '12 at 11:43












  • $begingroup$
    @matt:They handle non-negative and equality constraints.
    $endgroup$
    – Jacob
    Jan 18 '12 at 12:03












  • $begingroup$
    :You could use "Log Barrier methods". I will post an answer with more detail.
    $endgroup$
    – matt
    Jan 19 '12 at 10:12


















  • $begingroup$
    How about the KKT conditions? en.wikipedia.org/wiki/…
    $endgroup$
    – matt
    Jan 18 '12 at 11:43












  • $begingroup$
    @matt:They handle non-negative and equality constraints.
    $endgroup$
    – Jacob
    Jan 18 '12 at 12:03












  • $begingroup$
    :You could use "Log Barrier methods". I will post an answer with more detail.
    $endgroup$
    – matt
    Jan 19 '12 at 10:12
















$begingroup$
How about the KKT conditions? en.wikipedia.org/wiki/…
$endgroup$
– matt
Jan 18 '12 at 11:43






$begingroup$
How about the KKT conditions? en.wikipedia.org/wiki/…
$endgroup$
– matt
Jan 18 '12 at 11:43














$begingroup$
@matt:They handle non-negative and equality constraints.
$endgroup$
– Jacob
Jan 18 '12 at 12:03






$begingroup$
@matt:They handle non-negative and equality constraints.
$endgroup$
– Jacob
Jan 18 '12 at 12:03














$begingroup$
:You could use "Log Barrier methods". I will post an answer with more detail.
$endgroup$
– matt
Jan 19 '12 at 10:12




$begingroup$
:You could use "Log Barrier methods". I will post an answer with more detail.
$endgroup$
– matt
Jan 19 '12 at 10:12










1 Answer
1






active

oldest

votes


















3












$begingroup$

Consider the following:
$$begin{array}{rll}
min_x& f(x)&\
text{subject to}& g_i(x)leq0 &text{for each }i\
& h_i(x)=0 &text{for each }j \
end{array}$$



For $alpha>0$ we define the log barrier penalty function, $P_alpha$, to be:



$$ P_alpha(x)=f(x)-frac1alphasum_ilog(-g_i(x))+alphasum_jh_j(x)^2 $$



where $x$ must be strictly feasible, i.e. $g_i(x)<0$ for each $i$, in order for the log term to be defined.



We seek to minimise $P_alpha(x)$. The idea is that the boundary of the feasible region (i.e $g_i(x)=0$) acts a a barrier for $x$ close to $0$.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
    $endgroup$
    – rhombidodecahedron
    Nov 17 '14 at 19:18












Your Answer








StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f100003%2fpositivity-constraints-in-optimization%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









3












$begingroup$

Consider the following:
$$begin{array}{rll}
min_x& f(x)&\
text{subject to}& g_i(x)leq0 &text{for each }i\
& h_i(x)=0 &text{for each }j \
end{array}$$



For $alpha>0$ we define the log barrier penalty function, $P_alpha$, to be:



$$ P_alpha(x)=f(x)-frac1alphasum_ilog(-g_i(x))+alphasum_jh_j(x)^2 $$



where $x$ must be strictly feasible, i.e. $g_i(x)<0$ for each $i$, in order for the log term to be defined.



We seek to minimise $P_alpha(x)$. The idea is that the boundary of the feasible region (i.e $g_i(x)=0$) acts a a barrier for $x$ close to $0$.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
    $endgroup$
    – rhombidodecahedron
    Nov 17 '14 at 19:18
















3












$begingroup$

Consider the following:
$$begin{array}{rll}
min_x& f(x)&\
text{subject to}& g_i(x)leq0 &text{for each }i\
& h_i(x)=0 &text{for each }j \
end{array}$$



For $alpha>0$ we define the log barrier penalty function, $P_alpha$, to be:



$$ P_alpha(x)=f(x)-frac1alphasum_ilog(-g_i(x))+alphasum_jh_j(x)^2 $$



where $x$ must be strictly feasible, i.e. $g_i(x)<0$ for each $i$, in order for the log term to be defined.



We seek to minimise $P_alpha(x)$. The idea is that the boundary of the feasible region (i.e $g_i(x)=0$) acts a a barrier for $x$ close to $0$.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
    $endgroup$
    – rhombidodecahedron
    Nov 17 '14 at 19:18














3












3








3





$begingroup$

Consider the following:
$$begin{array}{rll}
min_x& f(x)&\
text{subject to}& g_i(x)leq0 &text{for each }i\
& h_i(x)=0 &text{for each }j \
end{array}$$



For $alpha>0$ we define the log barrier penalty function, $P_alpha$, to be:



$$ P_alpha(x)=f(x)-frac1alphasum_ilog(-g_i(x))+alphasum_jh_j(x)^2 $$



where $x$ must be strictly feasible, i.e. $g_i(x)<0$ for each $i$, in order for the log term to be defined.



We seek to minimise $P_alpha(x)$. The idea is that the boundary of the feasible region (i.e $g_i(x)=0$) acts a a barrier for $x$ close to $0$.






share|cite|improve this answer











$endgroup$



Consider the following:
$$begin{array}{rll}
min_x& f(x)&\
text{subject to}& g_i(x)leq0 &text{for each }i\
& h_i(x)=0 &text{for each }j \
end{array}$$



For $alpha>0$ we define the log barrier penalty function, $P_alpha$, to be:



$$ P_alpha(x)=f(x)-frac1alphasum_ilog(-g_i(x))+alphasum_jh_j(x)^2 $$



where $x$ must be strictly feasible, i.e. $g_i(x)<0$ for each $i$, in order for the log term to be defined.



We seek to minimise $P_alpha(x)$. The idea is that the boundary of the feasible region (i.e $g_i(x)=0$) acts a a barrier for $x$ close to $0$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Feb 3 at 9:02









Appliqué

3,98631839




3,98631839










answered Jan 19 '12 at 10:29









mattmatt

1,3161118




1,3161118








  • 1




    $begingroup$
    Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
    $endgroup$
    – rhombidodecahedron
    Nov 17 '14 at 19:18














  • 1




    $begingroup$
    Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
    $endgroup$
    – rhombidodecahedron
    Nov 17 '14 at 19:18








1




1




$begingroup$
Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
$endgroup$
– rhombidodecahedron
Nov 17 '14 at 19:18




$begingroup$
Should that be $log(-g_i(x))$? I think you have an extra left parenthesis.
$endgroup$
– rhombidodecahedron
Nov 17 '14 at 19:18


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f100003%2fpositivity-constraints-in-optimization%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

A Topological Invariant for $pi_3(U(n))$