Question about an inequation described by matrices.
$begingroup$
$A=(a_{ij})_{1 le i, j le n}$ is a matrix that$sum_limits{i=1}^{n} a_{ij}=1$ for every j and $sum_limits{j=1}^n a_{ij} = 1$ for every i and $a_{ij} ge 0$.And
$$begin{equation}
begin{pmatrix}
y_1 \
vdots \
y_n \
end{pmatrix}
=mathbf{A}
begin{pmatrix}
x_1 \
vdots \
x_n
end{pmatrix}
end{equation}$$
$y_i$ and $x_i$ are all nonnegative.Prove that : $y_1 cdots y_n ge x_1 cdots x_n$
It may somehow matter to convex function.
analysis inequality convex-analysis
$endgroup$
|
show 7 more comments
$begingroup$
$A=(a_{ij})_{1 le i, j le n}$ is a matrix that$sum_limits{i=1}^{n} a_{ij}=1$ for every j and $sum_limits{j=1}^n a_{ij} = 1$ for every i and $a_{ij} ge 0$.And
$$begin{equation}
begin{pmatrix}
y_1 \
vdots \
y_n \
end{pmatrix}
=mathbf{A}
begin{pmatrix}
x_1 \
vdots \
x_n
end{pmatrix}
end{equation}$$
$y_i$ and $x_i$ are all nonnegative.Prove that : $y_1 cdots y_n ge x_1 cdots x_n$
It may somehow matter to convex function.
analysis inequality convex-analysis
$endgroup$
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49
|
show 7 more comments
$begingroup$
$A=(a_{ij})_{1 le i, j le n}$ is a matrix that$sum_limits{i=1}^{n} a_{ij}=1$ for every j and $sum_limits{j=1}^n a_{ij} = 1$ for every i and $a_{ij} ge 0$.And
$$begin{equation}
begin{pmatrix}
y_1 \
vdots \
y_n \
end{pmatrix}
=mathbf{A}
begin{pmatrix}
x_1 \
vdots \
x_n
end{pmatrix}
end{equation}$$
$y_i$ and $x_i$ are all nonnegative.Prove that : $y_1 cdots y_n ge x_1 cdots x_n$
It may somehow matter to convex function.
analysis inequality convex-analysis
$endgroup$
$A=(a_{ij})_{1 le i, j le n}$ is a matrix that$sum_limits{i=1}^{n} a_{ij}=1$ for every j and $sum_limits{j=1}^n a_{ij} = 1$ for every i and $a_{ij} ge 0$.And
$$begin{equation}
begin{pmatrix}
y_1 \
vdots \
y_n \
end{pmatrix}
=mathbf{A}
begin{pmatrix}
x_1 \
vdots \
x_n
end{pmatrix}
end{equation}$$
$y_i$ and $x_i$ are all nonnegative.Prove that : $y_1 cdots y_n ge x_1 cdots x_n$
It may somehow matter to convex function.
analysis inequality convex-analysis
analysis inequality convex-analysis
asked Dec 25 '18 at 8:57
X.T ChenX.T Chen
988
988
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49
|
show 7 more comments
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49
|
show 7 more comments
2 Answers
2
active
oldest
votes
$begingroup$
Hint:
If any $y_i$ is zero, from the condition on $a_{ij}$, at least one $x_k$ must be zero, so we may consider only positive $x_i,y_j$. Also the doubly stochastic matrix represents the majorization $x succ y$, so by Karamata’s Inequality, with the concave $log$ function, $sum log y_i geqslant sum log x_i$.
$endgroup$
add a comment |
$begingroup$
Clue: the right hand side of the given equation is a linear combination of the columns of $A$.
$endgroup$
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3051950%2fquestion-about-an-inequation-described-by-matrices%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Hint:
If any $y_i$ is zero, from the condition on $a_{ij}$, at least one $x_k$ must be zero, so we may consider only positive $x_i,y_j$. Also the doubly stochastic matrix represents the majorization $x succ y$, so by Karamata’s Inequality, with the concave $log$ function, $sum log y_i geqslant sum log x_i$.
$endgroup$
add a comment |
$begingroup$
Hint:
If any $y_i$ is zero, from the condition on $a_{ij}$, at least one $x_k$ must be zero, so we may consider only positive $x_i,y_j$. Also the doubly stochastic matrix represents the majorization $x succ y$, so by Karamata’s Inequality, with the concave $log$ function, $sum log y_i geqslant sum log x_i$.
$endgroup$
add a comment |
$begingroup$
Hint:
If any $y_i$ is zero, from the condition on $a_{ij}$, at least one $x_k$ must be zero, so we may consider only positive $x_i,y_j$. Also the doubly stochastic matrix represents the majorization $x succ y$, so by Karamata’s Inequality, with the concave $log$ function, $sum log y_i geqslant sum log x_i$.
$endgroup$
Hint:
If any $y_i$ is zero, from the condition on $a_{ij}$, at least one $x_k$ must be zero, so we may consider only positive $x_i,y_j$. Also the doubly stochastic matrix represents the majorization $x succ y$, so by Karamata’s Inequality, with the concave $log$ function, $sum log y_i geqslant sum log x_i$.
answered Dec 25 '18 at 15:04
MacavityMacavity
35.6k52554
35.6k52554
add a comment |
add a comment |
$begingroup$
Clue: the right hand side of the given equation is a linear combination of the columns of $A$.
$endgroup$
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
add a comment |
$begingroup$
Clue: the right hand side of the given equation is a linear combination of the columns of $A$.
$endgroup$
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
add a comment |
$begingroup$
Clue: the right hand side of the given equation is a linear combination of the columns of $A$.
$endgroup$
Clue: the right hand side of the given equation is a linear combination of the columns of $A$.
answered Dec 25 '18 at 9:31
John MitchellJohn Mitchell
377210
377210
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
add a comment |
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
$begingroup$
I've already known that. Could you be more clear?
$endgroup$
– X.T Chen
Dec 25 '18 at 9:43
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3051950%2fquestion-about-an-inequation-described-by-matrices%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
can you write out the inequality fully? That is, replace each $y_i$ with its expression in terms of the $x_i$'s
$endgroup$
– mathworker21
Dec 25 '18 at 9:08
$begingroup$
@mathworker21 i have written it out fully but it doesn't help. Or you means to edit the question to make it more clear.
$endgroup$
– X.T Chen
Dec 25 '18 at 9:12
$begingroup$
just write it out fully in the question. i don't have paper on me
$endgroup$
– mathworker21
Dec 25 '18 at 9:13
$begingroup$
@mathworker21 $ prod_limits{i=1}^{n} (sum_limits{j=1}^{n} a_{ij}x_j) = prod_limits{j=1}^{n} x_j $
$endgroup$
– X.T Chen
Dec 25 '18 at 9:39
$begingroup$
ok, so the LHS has the terms $(prod_{j=1}^n a_{f(j)j})prod_{j=1}^n x_j$, for any $f: {1,dots,n} to {1,dots,n}$. Now just add all of these terms up. You should get $prod_{j=1}^n x_j$, right?
$endgroup$
– mathworker21
Dec 25 '18 at 9:49