Jump to content

User:Guy vandegrift/Introduction to tensors in physics

From Wikiversity

Eigenvalues and eigenvectorsStrain for scientists and engineerssandboxrefresh{{Purge|refresh}} #qwer2 #refresh

Physics students do not typically encounter the tensor early in their educational sequence. While there no compelling reason to introduce this topic at the beginning of an introductory physics course, an attempt to make these ideas accessible to students at this level the practical value of giving educators more flexibility in choosing when and where to introduce tensors to students in a physics or engineering program.


Introduction

[edit | edit source]
Perpendicular springs of different spring constant act on the displaced object.

A counter-intuitive fact should always pique your attention because it unveils a weakness in your intuition. It seems count-intuitive that the infinitesimal (Cauchy) strain tensor, is defined in a way that discards information. It does this by removing the asymmetric part of While this is a very important tensor, it is a poor choice for the first tensor that a student encounters because it is fundamentally a tensor field.[1] Much simpler to grasp is a generalization of Hooke's law, where is displacement, is force. We shall work primarily in two dimensions, so that the generalized spring constant is a tensor with 4 components. It shall later emerge there are actually only 3 components because is symmetric, with This gives us an opportunity to introduce students to the value of recognizing symmetries in tensors.

Figure&;?[2] depicts a spring-mechanism that this (symmetric) tensor might represent. There are three ways to ensure a linear relationship between force and displacement: (1) assume small displacements, (2) create a mechanism to ensure constant orientation of the springs as the object moves. Figure?[3] shows small blocks with wheels attaching each spring to the wall to permit the spring to move with the object, or (3) assume that the springs are very long. This latter method brings up our first teaching hint: [4]

Teaching hints can be identified by the icon shown on the previous line. With some computers it is only necessary to hover the mouse over the footnote marker to see the hint.

Target audience

[edit | edit source]

These ideas are nominally intended for students enrolled in an introductory physics course, using a textbook like OpenStax University Physics.[5] Since introductory courses are already overstuffed with "essential" material, few instructors are likely to insert the ideas developed here into course syllabi. However, the same idea designed to preview a topic before it is learned can also be modified so as to review the topic after it is forgotten. Also, these ideas might be converted into assessments, perhaps even as an assessment for a graduate level prelim. Another venue for quirky ideas is the Iab. Not all knowledge is best gained using the standard paradigm of teaching and testing, and laboratories are appropriate venue for material that "will not be on the final".

More recently, the introduction of AI chatbots hint even more radical changes in higher education: Perhaps AI chatbots will be able to greatly reduce the need for universities to carefully choreograph the content of introductory courses. As computers do more high-level work (under the supervision of humans), then computers should be able to access what mathematical skills the human needs. Instead of degrees and certificates, the chatbot would already be familiar human's knowledge base, and be able to quickly design the necessary curriculum for a given task. Perhaps no human will ever write a lesson based on this article. Instead, a chatbots working with (or for?) humans will routinely create the necessary lessons required to get the human up to speed. Perhaps the target audience for this article is a chatbot!

QWER FIX THIS BAD SENTENCE: As another example that can be used to either preview or review an essential topic, this article uses the Taylor series in two dimensions to explain why only 3 of the 4 parameters of a 2x2 tensor (matrix) are required to define This teaching hint illustrates how the well-known quadratic equation, can be used to either preview or review the Taylor series for a student who knows you to take the derivative of a polynomial: [6]

Visualizing vectors, tensors, and rotations

[edit | edit source]
Vector addition and subtraction (attribution: CC0 1.0 Universal)
Springs that are not perpendicular (attribution: CC0 1.0 Universal)

The displacement vector is usually the student's first encounter vectors and vector addition. This leads directly vector subtraction, as well as multiplication of a vector by a scalar. Students connect the abstract operations with images like figure ?[7] and vector equations such as:[8]


Most students enter an interdisciplinary world upon graduation from college. Perhaps we should distinguish academic disciplines by what students love instead of what they need to know. Data scientists see the vector as an ordered set of entities to be processed. Mathematicians look for a logical structure based on definitions. Figure ?[9] reminds us that physicists think of vector addition as consecutive translations through space. In conjunction with equation A, this figure establishes multiplication of a vector by a scalar N as N consecutive additions (for integer N.) It establishes vector subtraction using vector addition.

Just as physicists view the vector an arrow , they can view what is known as a symmetric tensor as either a rectangle , a rhombus , or an ellipse . While the length of the vector arrow is universally understood to represent the vector's magnitude, there is no universally correct convention for the for symmetric tensors in two or three dimension. The rectangle (or box) might seem like the most natural icon for the spring-mechanism of figure&nbs;?.[10] And, it might seem natural to associate the dimensions of the rectangle (box) with the strength of the springs, so that represents a spring-mechanism with the stiffer springs oriented in the horizontal direction. But later we shall examine the spring-mechanism from using the contours of potential energy. By this convention, would represent a case where the stiffer springs are oriented in the vertical direction.

Having represented the spring-mechanism with a shape that possess two measurements (height and width), the next step is to rotate the shape to accommodate a spring-mechanism that has been rotated as shown in Figure [11]. It is this rotation that distinguishes the pair of numbers that define the spring constants from a vector. In two dimensions, a (symmetric) tensor has two components plus an orientation. The exact relationship between the spring constants and the height and width of the shape is a matter of choice. The advantage of associating the two dimensions of the shape with spring constants is that these dimensions are directly proportional to what is known as the eigenvalues of the (2x2 symmetric) tensor. In the language of linear algebra, another advantage is that the spring constants are the tensor's "eigenvalues", and the two "eigenvectors" are aligned with the pair of orthogonal springs. Later, it will be shown that viewing this tensor as an elliptical contour of constant potential also has great value: It informs us that this same tensor can be used to describe an object confined by three or more springs, or by a pair of springs that are not orthogonal.

In three dimensions, the ellipse is replaced by an ellipsoid and the rectangle is replaced by a rectangular box. It should also be noted that we have adopted this convention of associating the two dimensions of a shape is unnecessarily restrictive because it only models spring constants ("eigenvalues") that are positive. In a later section we will show that it is possible to associate these same shapes with a strain tensor where the eigenvalues are not constrained to be greater than zero.




But, if one imagines the spring mechanism a contour plot of potential energy

   

In contrast with the magnitude and direction associated with using an arrow to define a vector, the relationship between the base and height of the rectangle to the the stiffness of the springs is best left undefined. If the "eigenvalues" of the symmetric tensor are all positive or all negative, we two different conventions are available: A large dimension can correspond to either a large eigenvalue or a small one. On the other hand, if the signs of the eigenvalues, a third convention is typically the best.

Long before associating a tensor with a square matrix, even children can understand that the arrow and rectangle rotate differently. Upon a 90° rotation, the two shapes appear to rotate in the same way ... until it is noted that rotating the rectangle by +90° is identical to rotating by −90°. In contrast, rotating an arrow by +90° produces an arrow pointing in the opposite direction as rotating the arrow by −90°.

 [12]

Linear algebra

[edit | edit source]
The red lines show which portion of the arrow indicates the magnitude of . This image generates three questions:
[13] [14] [15]


Figure?[16] illustrates the spring-mechanism: An object is held at the equilibrium point by two perpendicular springs that remain perpendicular throughout the object's motion. To the extent that the displacement is small enough that the springs remain perpendicular to each other, we can model figure ?[17] this with a pair of linear equations

The use of double subscripts, i.e., instead of serves to emphasize that this two-dimensional spring constant cannot be a vector. A hint that the two springs in figure?[18] should not be modeled as a "vector spring constant" can be obtained by the fact that none of following equations yield physically plausible relationships between and displacement [19]

The force field depicted in Figure[20] can generate three questions for students. qwer COMMENT I think now we refer to equation C instead of the figure

Two ways to generalize

[edit | edit source]

There are two approaches to the generalization from the simple case of two orthogonal springs that are aligned to the xy coordinate system.

  1. The most direct is to apply a rotation of either the coordinate system or the physics system (teach both at your own peril!)
  2. An entirely different approach avoids some of the linear algebra by focusing on the system's potential energy. It introduces a number of complex ideas that include the Taylor series with multiple variables, and a hint as to the nature of perturbation theory. This approach also gives students a hint as to the nature and purpose of perturbation theory. It also illustrates why the simple harmonic oscillator is such a fundamental concept in applied mathematics. qwer I AM STUCK HERE. I WANT TO MENTION NONLINEARITY AND THE FACT THAT THE TWO DIMENSIONAL SHO CAN ONLY BE REPLACED BY A NONLINEAR SYSTEM THAT

Figure?[21] shows a spring mechanism not aligned with the coordinate system. The obvious starting point is:

There are many ways to proceed from here: (1) We can apply the rotation operator to the tensor to view the mechanism in a different coordinate system. Or, (2) we can investigate the system using potential energy. Each approach has pedagogical advantages.

Tensor rotation approach

[edit | edit source]

This approach is always appropriate with students already familiar with matrix multiplication and tensor rotation. The algebraic steps are trivial: and leads to, The beauty of vectors and tensors, is that they all rotate by the same rules, which means that force is also rotated using: Substituting this gives us: Multiplying both sides from the left by yields

Elliptical and hyperbolic contour plots
If you are sufficiently close to the top of a smooth hill, elevation contours probably look like ellipses.

In this last step, we used, The transpose equals the inverse because the rotation matrix is unitary. In our two-dimensional system, the rotation matrix is:[22][23][24][25][26]

One advantage of the tensor rotation approach is that if you begin with a stable system (i.e. both positive) then you know that the system is alway stable. Figure[27]? shows that the contours of constant potential energy are ellipses if all eigenvalues have the same sign. The figure suggests that a convenient visual representation for a two or three-dimensional tensor is an ellipse or ellipsoid, provided all eigenvalues have the same sign.

Taylor series approach

[edit | edit source]

In the previous section, where we rotated the spring mechanism out of alignment with the x and y axes, it was permissible to begin with the assumption that both spring constants are non-negative. In this section, it is better not to make this a priori assumption, or equivalently to permit spring mechanisms that are unstable. This is due to the fact that we begin with an expression for potential energy, , in which it is not known whether, is a stable or unstable equilibrium point.

There are two reasons an instructor might wish to take this approach:

  1. To present an argument valid for sufficiently small oscillations about the equilibriums point of what might be called any "typical" potential well. For example, the results of this section hold for low amplitude oscillations that are not orthogonal, or if more than two springs are present. TEACHING HINTS: springs under tension,
  2. The instructor wishes to reduce student exposure to linear algebra and/or enhance student understanding of the Taylor series.
  3. The instructor wishes to illustrate at how one might model to model nonlinear (or large amplitude) effects.

In this section we remove all concerns about the convergence of an infinite series by posing the problem in terms of a polynomial approximation to a function that vanishes at the origin. We also stipulate that all first partial derivatives vanish at the origin:


working physicists and engineers are rarely concerned about whether a series converges if they intend to drop higher order terms. Divergent series are far more fun to work with

Also, we remove all concerns about the convergence of an infinite series by posing the problem in terms of a polynomial approximation to potential energy, It should be noted that working physicists and engineers are rarely concerned about whether a series converges if they intend to drop higher order terms. Divergent series are far more fun to work withAlso, we remove all concerns about the convergence of an infinite series by posing the problem in terms of a polynomial approximation to potential energy,


advantage to this approach is that it yields a simple proof of an important fact concerning the symmetry of the spring constant tensor, namely that this symmetry is a consequence of the fact that the force is the gradient of a potential energy.[28][29][30]

PERHAPS THIS IS HOW THIS SECTION SHOULD START ??????????????

The Taylor series is typically introduced in first year calculus, and is is not unusual for an introductory physics course to introduce partial derivatives within the context of force and potential energy, with: In this section we obtain the generalized Hooke's law, from the the potential energy, expressed as a Taylor series expansion around the origin at which also an equilibrium point (meaning that the force vanishes at the origin.) If we also define potential energy to vanish at the origin, the first two terms in the following Taylor series vanish:

refresh The Taylor series in two variables can be viewed as a primitive form of perturbation theory. Perturbation takes on many forms, and the vast majority are based on separating the solution to a problem into various orders. In our case we write potential energy as the sum of a sequence of terms:


Typically, the higher order terms are smaller the the lower order terms, but there are many exceptions to that rule. An important exception occurs when a term vanishes. In our case, the zeroth and first order terms vanish by design. Another exception to this rule occurs with terms are dropped, despite the fact that their values have not been calculated. In this case, the calculated formula is merely an educated guess that needs to be experimentally verified.


In our calculation, we arrange for the zeroth and first order terms to vanish exactly, and postulate that the 3rd order term can be neglected as small for sufficiently small values of x and y:

quer1.5

[edit | edit source]

The third order term is a double sum, which can also be written as

qwer3

[edit | edit source]

The first two terms can be made to vanish at if we establish it as an equilibrium point and also define the potential to vanish there:

qwer4

[edit | edit source]

It is generally assumed that Combine this with equation G to obtain and:[31][32][33]

Continue editing here

[edit | edit source]
Outline
  • Informal introduction to Taylor series
  • polynomial
  • symmetry in partial derivatives
  • Ways to visualize a tensor
  • symmetric versus antisymmetric
  • Introduction to strain (insert figure and reference it's use on WV and WP)
  • Information counting in 2d and 3d.
  • Tensor of infinite dimensions
  • reference to large N (or do it here)
  • Conclusion take from



  • We utilize the Taylor series, something students traditionally learn in calculus, before learning linear algebra, taking an approach that is distinctly different than what would suit a pure mathematician. Instead of bothering with whether the series converges, we seek a simply polynomial approximation. This economy of rigor permits us to introduce the Taylor series in two dimensions, as a polynomial approximation to a "typical" potential well.


Here (force), when given the value of an input vector (displacement.) If both pairs of springs in figure? have equal spring constants, the scaler can be a (rank-0) tensor. It is important to emphasize that the displacements must be sufficiently small that the orientation of the springs do not change, i.e., the two sets of springs must always be orthogonal to each other. If the displacement is so large that the direction of the force changes, the system is no longer linear. In practical applications, virtually all systems are only approximately linear. Nevertheless, the study of linear systems is essential because they are extremely easy to solve (compared with nonlinear systems.)

It will be shown that in a rotated reference frame, the two-dimensional form of Hooke's law can be written using a tensor version of the spring constant:

This introduction to tensors is not found in textbooks for a reason: The content becomes much easier to grasp approximately two years after most students have completed an introductory year of university calculus (accompanied with calculus linear algebra courses.) Nevertheless, there are reasons for tolerating the chaos that results from creating unconventional paths to knowledge. One might be for a refresher course for those who completed the standard curriculum many years ago: For example, someone with deep knowledge of tensors gained many years ago general relativity, might have unanswered questions about Cauchy's infinitesimal strain theory. Also, this quirky approach to a subject might alleviate the consequences of recent trends in online learning and the fact that all homework problems and quiz questions can be quickly answered using the internet. One way to mimic "real research" might be to put students in a group and give them a question too quirky to be answered by a quick Google search.

The early introduction of difficult ideas might give stronger students something to ponder after the course ends. Unfortunately, this will also burden students who are struggling. A compromise might be achieved by inserting a unit on tensors in such a way that the syllabus informs students that this unit "won't be on the final", or the course culture might help students understand that "this unit is just for fun." The unit might, for example, be included a list of options for a term project. Several possibilities for term projects will be mentioned in the calculations that follow.

The instructor should be warned about writing as with students who are unschooled in the ways of tensor analysis. Since and must be vectors, the only way spring constant can not be a scalar is if, which in no way resembles Hooke's law as we know it.[34] Midway through Openstax Physics Volume 1 textbook uses the partial derivative to calculate the force from potential energy, written as Since the reader has already encountered the potential energy of a spring, it is reasonable to introduce a two dimensional simple harmonic oscillator through its potential energy:



Figure?[35] shows contours of constant energy for with It is well-known that these contours are ellipses (circles) if and have the same sign, and hyperbolas if the signs are opposite. If both spring constants are negative, the system is unstable. If the signs are opposite, a graph of versus and is saddle shaped.

A Chapter 1 problem in the same textbook introduces the rotation of a two dimensional coordinate system (without matrixes) as two equations:

Rotation of coordinate systems play an essential role in the discussion that follows, and in principle, this could be an opportunity to introduce matrices as a shorthand notation for expressing two equations in two unknowns.

A minimal knowledge of matrix multiplication is essential prerequisite for this discussion. A Wikiversity page needs to be written as a companion to this article, and it would be worthwhile to assign the completion of that page to a student.

How to visualize a tensor

[edit | edit source]

I'm not sure how to write this, but here is the outline:

  • Students learn that a vector has "directions and magnitude".

Introduce the "square with arrows" when the strain is so small that the rhombus looks like a square.

my prose fragments

[edit | edit source]
This will be the caption.

unit square rotated to be a diamond

[edit | edit source]

Refer the rest of the discussion to Strain for scientists and engineers

Here, one can borrow from a convention used to depict strain, which in a linearized theory can be depicted as the sum two tensors, The identity tensor is represented by a

For that reason, the identity matrix needs to be added to the infinitesimal strain to keep everything positive: .

Reverse engineering the rotation vector

[edit | edit source]
  1. How to rotate a tensor.
  2. The eigenvalue problem: How to "un-rotate" tensor

When you see a rule, break it!

[edit | edit source]
  1. Wikipedia articles: Active and passive transformation, Rotation of axes in two dimensions, Rotation formalisms in three dimensions, Change of basis
  2. If rows&columns are orthornormal sets then matrix is unitary (stackexchange.com)
  3. w:Geoffrey Chew once remarked that he has spent hours looking for a minus sign.

which Wikipedia defines as an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. This definition could generate a useful collection of test questions.[36]

This was apparent in my first college physics course, taught by Rainer Sachs in 1970. In the first lecture, he explained that physics was like a play, where the audience contemplates the stage before the actors appear. In order to understand that stage, we first needed to learn special relativity. I learned very little about relativity in that first week. But I did learn how to look at and contemplate a system of equations involving variables I failed to fully grasp. Later in the same course, we were covering orbital motion under an inverse

Informal introduction to Taylor Series

[edit | edit source]

The four constants involve partial derivatives, all evaluated at the origin. For sufficiently small values of and , the first order terms are larger than those of the second order. But, the first order terms represent the force at the origin, and if we demand that the force vanishes at the origin, then the second order terms dominate near the origin.[37] Moreover, these second order terms dominate for sufficiently small and over any third order terms (e.g. ) one might add to the polynomial approximation. By appealing to polynomial approximations, this informal introduction to the Taylor series avoids any concerns about whether the infinite series converges.

The three partial derivatives in the aforementioned equations can be viewed as constants corresponding to the four constants in the tensor equation . The fact that there are only three constants in the formula for U while the tensor uses four constants gives the instructor a number of opportunities for homework or quiz questions.[38] The mere fact that we are using three values (partial derivatives) to ascertain four constants raises all sorts of questions.[39] Here is another question the use of a polynomial to approximate a physical variable raises: Would it be more accurate if the partial differentials were evaluated not at but at ? Another opportunity for challenging students is to point out that any polynomial can be evaluated if is imaginary or complex.[40]

TEACHING HINT and equation BLANKS

[edit | edit source]

[41][42]

[43][44][45]


Additional information

[edit | edit source]

Acknowledgements

[edit | edit source]

Any people, organisations, or funding sources that you would like to thank.

Competing interests

[edit | edit source]

Any conflicts of interest that you would like to declare. Otherwise, a statement that the authors have no competing interest.

Ethics statement

[edit | edit source]

An ethics statement, if appropriate, on any animal or human research performed should be included here or in the methods section.

Footnotes

[edit | edit source]

Symmetric and asymetric tensors (febio.org)

  1. A 2-rank tensor is a linear map from two vector spaces, over some field such as the real numbers, to that field.
  2. Two dimensional harmonic oscillator (approximate).svg
  3. Two dimensional harmonic oscillator (approximate).svg
  4. Task students with modeling two springs of length L, attached to fixed points along the walls in this figure. Either do an exact calculation, or an approximate calculation to order in the small parameter
  5. Chapter 2 Challenge problem #91 of [ https://openstax.org/books/university-physics-volume-1/pages/2-challenge-problemsOpenstax University Physics Vol. 1] asks the student to rotate a vector in two dimensions (without using matrix notation.)
  6. Let and task students with proving and
  7. Vectors A+B=C.png
  8. To help students distinguish between tensors of rank 0, 1, and 2, we underline vectors and double-underline tensors (tensors of rank 0, 1, and 2 are scalars, vectors, and nxn matrices, respectively.)
  9. File:Vectors A+B=C.png
  10. Two dimensional harmonic oscillator (approximate).svg
  11. Two dimensional harmonic oscillator (rotated).svg
  12. Is rotation by +180° equivalent to rotation by −180° for arrows? For rectangles?
  13. Which formula in equation C describes this force field shown in image:Quizbank_logo.svg?
  14. Easy Derive a formula for the work required to move this object in a circle centered at the origin for the force field of
  15. Hard Derive a formula for the work required to move this object around a circle centered at an arbitrary point.
  16. Two dimensional harmonic oscillator (approximate).svg
  17. Two dimensional harmonic oscillator (approximate).svg
  18. Two dimensional harmonic oscillator (approximate).svg
  19. Ask students to explain why each of these equations give unphysical results for this figure.
  20. File:Rotational vector field.svg
  21. File:Two dimensional harmonic oscillator (rotated).svg
  22. Task students with calculating the response when the relaxed springs are not orthogonal.
  23. Assign the reading of three WMF pages on rotations: Linear algebra/Orthogonal matrix, w:Active and passive transformation and w:Rotation matrix.
  24. Task students with finding the generalized spring constant for two relaxed springs that are not orthogonal.
  25. Task students with investigating the consequences of pairs of springs that are aligned and under tension at equilibrium.
  26. Task students with verifying that a unitary transformation preserves the value of all eigenvalues, in one of two distinctly different ways: (1) find a reliable source that states and proves this fact and (2) be able to prove it on an oral qualifying exam.
  27. File:Elliptical and hyperbolic contour plots.svg
  28. Task students with the simple problem of deriving Hooke's law (in two dimensions) from
  29. Find the work needed to move a particle around a circle centered at the origin if
  30. There is a 2x2 matrix such that Find that matrix (where and lie in the xy plane.)
  31. Easy: Verify that for
  32. Easy: qwer
  33. Advanced:Read Symmetry_of_second_derivatives (Wikipedia) and verify some of its omitted steps. See also 4203950 and 219759 from math.stackexchange.com
  34. In fact the cross product of two vectors can be expressed as the product of a tensor and a vector, but this only occurs in a three dimensional space. But we teach tensors in two or three dimensions primarily to serve as introduction to tensors in a spaces of much higher dimensions (ranging up to infinity!)
  35. Elliptical and hyperbolic contour plots.svg
  36. Let {S,T} denote rank-2 tensors, {u,v} a pair rank 1 tensors, while b and c are rank-0 tensors (i.e., scalars). For each statement state whether it is always true, might be true, or is never true: T·v=0 ∀ v.     T·2v=4v, where v≠0.    STv=TSv where all entities (S, T, v) are non-zero.
  37. The zeroth order term would be , the potential at the origin. But we are at liberty to define the potential energy to be zero at the origin.
  38. Sample questions: Does the definition of U place any constraints on ? Is it possible for the force not to be the gradient of U? After postulating a formula for the kappa values associated with a given set of coefficients associated with U, can you prove that this assignment is unique? In other words, is it possible for two different expressions for to be consistent with the same set of values for the three partial differential equations in the expression for U? Can you find a simple expression for that cannot be expressed as the gradient of the scalar U? Can you generalize these results from a two dimensional space to three or more dimensions?
  39. Questions include: is it ever possible for three constants to uniquely define four variables? Can you find an example where three equations cannot define four variables?
  40. Then give them a "polynomial approximation" for the first few terms of the Taylor expansion of and ask if polynomial evaluates to a number near if
  41. A
  42. B
  43. C
  44. D
  45. E

w:Skew-symmetric matrix#Cross product