Computing the adjoint of a linear operator Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Inner Product and Orthogonal PolynomialsWhat are common notations for the endomorphism group of a vector space?Find an ordered basis $B$ for $M_ntimes n(mathbbR)$ such that $[T]B$ is a diagonal matrix for $n > 2$Why is $dim(W)=3$?Adjoint Operator and InverseLinear transformation is self-adjoint iff its associated matrix in the standard basis is symmetricWhat does adjoint of a linear map?Linear Algebra TextbookLinear operator and orthonormal basisSimultaneous diagonalization of self adjoint matrices
How do I find out the mythology and history of my Fortress?
Why do early math courses focus on the cross sections of a cone and not on other 3D objects?
Electrolysis of water: Which equations to use? (IB Chem)
Is it possible for SQL statements to execute concurrently within a single session in SQL Server?
What order were files/directories output in dir?
What makes a man succeed?
Lagrange four-squares theorem --- deterministic complexity
Dyck paths with extra diagonals from valleys (Laser construction)
Why weren't discrete x86 CPUs ever used in game hardware?
How were pictures turned from film to a big picture in a picture frame before digital scanning?
Why are my pictures showing a dark band on one edge?
How do living politicians protect their readily obtainable signatures from misuse?
How long can equipment go unused before powering up runs the risk of damage?
Central Vacuuming: Is it worth it, and how does it compare to normal vacuuming?
Would it be easier to apply for a UK visa if there is a host family to sponsor for you in going there?
What's the point of the test set?
Did any compiler fully use 80-bit floating point?
How to compare two different files line by line in unix?
Why does it sometimes sound good to play a grace note as a lead in to a note in a melody?
How does light 'choose' between wave and particle behaviour?
If Windows 7 doesn't support WSL, then what is "Subsystem for UNIX-based Applications"?
Is it fair for a professor to grade us on the possession of past papers?
A term for a woman complaining about things/begging in a cute/childish way
Draw 4 of the same figure in the same tikzpicture
Computing the adjoint of a linear operator
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Inner Product and Orthogonal PolynomialsWhat are common notations for the endomorphism group of a vector space?Find an ordered basis $B$ for $M_ntimes n(mathbbR)$ such that $[T]B$ is a diagonal matrix for $n > 2$Why is $dim(W)=3$?Adjoint Operator and InverseLinear transformation is self-adjoint iff its associated matrix in the standard basis is symmetricWhat does adjoint of a linear map?Linear Algebra TextbookLinear operator and orthonormal basisSimultaneous diagonalization of self adjoint matrices
$begingroup$
I am taking an linear algebra class and we are on inner product space. I have a question that wants us to evaluate $T^*$ at a given vector. This is not a homework question, it is a textbook question, specifically question 3c in 6.3 of Linear Algebra by Friedberg, Insel, Spence (pg 366). I will it write out though:
$V=P_1(R)$ (the set of polynomials with degree $leq 1$ with real coefficients) with $langle f,grangle=int_-1^1f(t)g(t)dt,$ $T(f)=f'+3f.$ Compute $T^*(f(t))$ where $f(t)=4-2t$.
I know the answer (it's in the textbook) but I am not sure how to obtain the solution. It's my understanding that since $V$ is finite-dimensional we know there is an adjoint and that for all $f,gin P_1(R)$ $langle T(g),frangle=langle g,T^*(f)rangle$. I tried setting $f=4-2t$ and I thought maybe set $g=1$ to make my computation easier but I don't think I am getting this right. I also decided to take the standard basis for $P_1(R)$ and used Gram-Schmidt to obtain an orthonormal basis $gamma = frac1sqrt2,sqrtfrac32x$. I am not really sure what to do next, like do I need to calculate the exact adjoint map or something. Any help would be greatly appreciated.
UPDATE: I figured out based on the comment made by darij grinberg. I used the fact that $langle T(g),frangle=langle g,T^*(f)rangle$ where $g=1$ and $g=t$ and setting $T^*(f) = a+bt$ and figuring out $a$ and $b$ and then using that to compute $T^*(4-2t)$.
linear-algebra linear-transformations
$endgroup$
|
show 1 more comment
$begingroup$
I am taking an linear algebra class and we are on inner product space. I have a question that wants us to evaluate $T^*$ at a given vector. This is not a homework question, it is a textbook question, specifically question 3c in 6.3 of Linear Algebra by Friedberg, Insel, Spence (pg 366). I will it write out though:
$V=P_1(R)$ (the set of polynomials with degree $leq 1$ with real coefficients) with $langle f,grangle=int_-1^1f(t)g(t)dt,$ $T(f)=f'+3f.$ Compute $T^*(f(t))$ where $f(t)=4-2t$.
I know the answer (it's in the textbook) but I am not sure how to obtain the solution. It's my understanding that since $V$ is finite-dimensional we know there is an adjoint and that for all $f,gin P_1(R)$ $langle T(g),frangle=langle g,T^*(f)rangle$. I tried setting $f=4-2t$ and I thought maybe set $g=1$ to make my computation easier but I don't think I am getting this right. I also decided to take the standard basis for $P_1(R)$ and used Gram-Schmidt to obtain an orthonormal basis $gamma = frac1sqrt2,sqrtfrac32x$. I am not really sure what to do next, like do I need to calculate the exact adjoint map or something. Any help would be greatly appreciated.
UPDATE: I figured out based on the comment made by darij grinberg. I used the fact that $langle T(g),frangle=langle g,T^*(f)rangle$ where $g=1$ and $g=t$ and setting $T^*(f) = a+bt$ and figuring out $a$ and $b$ and then using that to compute $T^*(4-2t)$.
linear-algebra linear-transformations
$endgroup$
$begingroup$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
2
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07
|
show 1 more comment
$begingroup$
I am taking an linear algebra class and we are on inner product space. I have a question that wants us to evaluate $T^*$ at a given vector. This is not a homework question, it is a textbook question, specifically question 3c in 6.3 of Linear Algebra by Friedberg, Insel, Spence (pg 366). I will it write out though:
$V=P_1(R)$ (the set of polynomials with degree $leq 1$ with real coefficients) with $langle f,grangle=int_-1^1f(t)g(t)dt,$ $T(f)=f'+3f.$ Compute $T^*(f(t))$ where $f(t)=4-2t$.
I know the answer (it's in the textbook) but I am not sure how to obtain the solution. It's my understanding that since $V$ is finite-dimensional we know there is an adjoint and that for all $f,gin P_1(R)$ $langle T(g),frangle=langle g,T^*(f)rangle$. I tried setting $f=4-2t$ and I thought maybe set $g=1$ to make my computation easier but I don't think I am getting this right. I also decided to take the standard basis for $P_1(R)$ and used Gram-Schmidt to obtain an orthonormal basis $gamma = frac1sqrt2,sqrtfrac32x$. I am not really sure what to do next, like do I need to calculate the exact adjoint map or something. Any help would be greatly appreciated.
UPDATE: I figured out based on the comment made by darij grinberg. I used the fact that $langle T(g),frangle=langle g,T^*(f)rangle$ where $g=1$ and $g=t$ and setting $T^*(f) = a+bt$ and figuring out $a$ and $b$ and then using that to compute $T^*(4-2t)$.
linear-algebra linear-transformations
$endgroup$
I am taking an linear algebra class and we are on inner product space. I have a question that wants us to evaluate $T^*$ at a given vector. This is not a homework question, it is a textbook question, specifically question 3c in 6.3 of Linear Algebra by Friedberg, Insel, Spence (pg 366). I will it write out though:
$V=P_1(R)$ (the set of polynomials with degree $leq 1$ with real coefficients) with $langle f,grangle=int_-1^1f(t)g(t)dt,$ $T(f)=f'+3f.$ Compute $T^*(f(t))$ where $f(t)=4-2t$.
I know the answer (it's in the textbook) but I am not sure how to obtain the solution. It's my understanding that since $V$ is finite-dimensional we know there is an adjoint and that for all $f,gin P_1(R)$ $langle T(g),frangle=langle g,T^*(f)rangle$. I tried setting $f=4-2t$ and I thought maybe set $g=1$ to make my computation easier but I don't think I am getting this right. I also decided to take the standard basis for $P_1(R)$ and used Gram-Schmidt to obtain an orthonormal basis $gamma = frac1sqrt2,sqrtfrac32x$. I am not really sure what to do next, like do I need to calculate the exact adjoint map or something. Any help would be greatly appreciated.
UPDATE: I figured out based on the comment made by darij grinberg. I used the fact that $langle T(g),frangle=langle g,T^*(f)rangle$ where $g=1$ and $g=t$ and setting $T^*(f) = a+bt$ and figuring out $a$ and $b$ and then using that to compute $T^*(4-2t)$.
linear-algebra linear-transformations
linear-algebra linear-transformations
edited Apr 2 at 1:26
InsigMath
asked Apr 2 at 0:56
InsigMathInsigMath
1,01021021
1,01021021
$begingroup$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
2
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07
|
show 1 more comment
$begingroup$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
2
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07
$begingroup$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
2
2
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07
|
show 1 more comment
0
active
oldest
votes
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
);
);
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%2f3171332%2fcomputing-the-adjoint-of-a-linear-operator%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3171332%2fcomputing-the-adjoint-of-a-linear-operator%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$
What does $P_1left(Rright)$ mean? Polynomials of degree $leq 1$ with real coefficients?
$endgroup$
– darij grinberg
Apr 2 at 1:00
$begingroup$
Oh yes, sorry exactly @darijgrinberg
$endgroup$
– InsigMath
Apr 2 at 1:01
2
$begingroup$
The simplest way to compute $T^*(f)$ is probably to set $T^*(f) = a + bt$ with unknown constants $a$ and $b$, and then solve the system of the two linear equations $left<T(g), fright> = left<g, T^*(f)right>$ for $g = 1$ and $g = t$. (You have to rewrite these equations as explicit linear equations in $a$ and $b$, but you can do this, since the bilinear form is given as an easily computable integral.)
$endgroup$
– darij grinberg
Apr 2 at 1:04
$begingroup$
Thanks @darijgrinberg I will try that out, but since I don't know $T^*$ explicitly will that lead to issues? But I will try this right now and see what I get!
$endgroup$
– InsigMath
Apr 2 at 1:07
$begingroup$
No, just rewrite $T^*(f) = a + bt$ every time you encounter $T^*(f)$.
$endgroup$
– darij grinberg
Apr 2 at 1:07