text:
Talk:Electronic Properties of Materials

I'm working to build this book as part of the class I'm teaching.

I have the intellectual content for the book already in place.

I also understand the basic editing at Wikibooks and have read the "Using Wikibooks" book.

What I seem to lack is an understanding of the general etiquette used here. There is no documentation of this, and from what I can tell when I turn my back on the page for a week (I'm teaching class, performing research, and directing a graduate program all while trying to coordinate this textbook) the work I've put in gets deleted.

I need a space where I can work in peace and convert my scientific understanding of a subject in to a book. I'm hoping that Wikibooks is such a place.

So you know, you can find the content which I intend to digitize located here: http://brynhildr.mme.wsu.edu/~sbeckman/mse515/

As discussed here: https://en.wikibooks.org/wiki/Wikibooks:List_of_class_projects#Electronic_Properties_of_Materials I intend to have the students in my class digitize this content.

Scott.beckman (discuss • contribs) 21:21, 25 February 2020 (UTC)

Editing This WikiBook
This book began as an OpenSource digitization of the personal notes of Scott.beckman. It is meant to become a full OpenSource textbook resource for those studying Materials Science, though many topics such as Quantum Mechanics can be useful to other disciplines as well. That said, there are a few unconventional (for WikiBooks) editing/collaboration tools here that traditional community members should be aware of. First, please note that sections below the purple 75% complete mark (as shown on the Table of Contents) are still being input from the original notes. The staging convention currently in use is:

0% - INCOMPLETE - The initial input of written notes is less than complete

25% - INCOMPLETE - The initial input of written notes is complete and input of video notes is incomplete

50% - ROUGH DRAFT - The input of all notes is completed and figures and fact-checking is impending

75% - FINAL DRAFT - All material is in place and ready for final fact-check by those with qualifications

100% - COMPLETE - No edits pending. Additional material may be added, but stage should be reduced to 75% until another fact-check can be completed

With this in mind, I ask that you don't remove certain types of content below the 75% stage mark. Items in  are considered notes between folks who are editing. Many of them look like:  "Title" (Description) and are placeholders for figures which are present in the original source notes and are planned for the final draft of the book. Our initial input of notes lacks these figures as Copyright Free materials need to be created in many of these cases, but please leave these tags in for visualization purposes. (If you would like to help with digitizing some of these figures, please reach out!) Other tags are simply notes for those with the qualifications to check and other . I understand that this task is traditionally performed with commented out material or by the "talk/discussion" page(s), but this is what works with us and I ask that y'all please bear with us until the original material is input.

If y'all have any suggestions on alternative methods, or want to help out but aren't sure how, I'd love to facilitate community participation in this. I'm personally new to the WikiBooks Community and have made numerous convention errors (like not describing these conventions prior to now) compared to the standards of the WikiBooks community.

Thank you for your time and contributions! Brienna.Hall77 (discuss • contribs) 20:02, 1 October 2021 (UTC)

title: Talk:Electronic Properties of Materials


text:
Ada Programming/Libraries/Ada.Tags.Generic Dispatching Constructor

is a unit of the Predefined Language Environment since Ada 2005.

Specification
T           Parameters Constructor Params    Parameters T   AdaTagsGeneric_Dispatching_Constructor The_Tag  Tag Params     Parameters T Preelaborate AdaTagsGeneric_Dispatching_Constructor Convention Intrinsic AdaTagsGeneric_Dispatching_Constructor

Wikibook

 * Ada Programming/Libraries/Ada

license: Creative Commons - Attribution Share-Alike - https://creativecommons.org/licenses/by-sa/4.0/


text:
Ada Programming/Libraries/Ada.Tags

is a unit of the Predefined Language Environment since Ada 95.

Specification
PreelaborateTags Tag Preelaborable_InitializationTag No_Tag  Tag Expanded_Name T Tag  String Wide_Expanded_Name T Tag  Wide_String Wide_Wide_Expanded_Name T Tag  Wide_Wide_String External_Tag T Tag  String Internal_Tag External String  Tag Descendant_Tag External String Ancestor  Tag  Tag Is_Descendant_At_Same_Level Descendant Ancestor Tag Boolean Parent_Tag T Tag  Tag Tag_Array  Positive    Tag Interface_Ancestor_Tags T Tag  Tag_Array Tag_Error Import Ada Tag Import Ada No_Tag AdaTags

Wikibook

 * Ada Programming/Libraries/Ada

title: Ada Programming/Libraries/Ada.Tags


text:
Ada Programming/Libraries/Ada.Task Attributes

is a unit of the Predefined Language Environment since Ada 95.

Specification
Attribute Initial_Value  Attribute Attribute_Handle   Attribute Value T Task_Id  Current_Task  Attribute Reference T Task_Id  Current_Task  Attribute_Handle Set_Value Val  Attribute T    Task_Id  Current_Task Reinitialize T  Task_Id  Current_Task AdaTask_Attributes

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Task Termination

is a unit of the Predefined Language Environment since Ada 2005.

Specification
PreelaborateTask_Termination Cause_Of_Termination Normal Abnormal Unhandled_Exception Termination_Handler Cause  Cause_Of_Termination T      AdaTask_IdentificationTask_Id X      AdaExceptionsException_Occurrence Set_Dependents_Fallback_Handler Handler Termination_Handler Current_Task_Fallback_Handler Termination_Handler Set_Specific_Handler T        AdaTask_IdentificationTask_Id Handler  Termination_Handler Specific_Handler T AdaTask_IdentificationTask_Id Termination_Handler AdaTask_Termination

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Text IO.Bounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Bounded AdaStringsBoundedGeneric_Bounded_Length Put File  File_Type Item  BoundedBounded_String Put Item  BoundedBounded_String Put_Line File  File_Type Item  BoundedBounded_String Put_Line Item  BoundedBounded_String Get_Line File  File_Type BoundedBounded_String Get_Line BoundedBounded_String Get_Line File  File_Type Item   BoundedBounded_String Get_Line Item  BoundedBounded_String AdaText_IOBounded_IO

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Text IO.Complex IO

is a unit of the Predefined Language Environment since Ada 95.

Specification
Complex_Types AdaNumericsGeneric_Complex_Types Complex_Types Default_Fore Field  2 Default_Aft  Field  Real  1 Default_Exp  Field  3 Get File    File_Type Item   Complex Width   Field  0 Get Item   Complex Width   Field  0 Put File  File_Type Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   String Item  Complex Last  Positive Put To    String Item   Complex Aft    Field  Default_Aft Exp    Field  Default_Exp AdaText_IOComplex_IO

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Text IO.Editing

is a unit of the Predefined Language Environment since Ada 95.

This package is used for the generation and printing of strings from numbers representing amounts in some currency. The inclusion of a currency can be simply avoided by passing  as parameter.

Example
Example representing the use of.

Example_Euros Euro_Price_Type  001  6 Euros_IO  AdaText_IOEditingDecimal_Output Num                Euro_Price_Type Default_Currency   "EUR " Default_Fill Default_Separator Default_Radix_Mark A_Price  Euro_Price_Type  587326 AdaText_IOPut_Line "Price with cents: " AdaText_IOPut_Line Euros_IOImage Item A_Price Pic  AdaText_IOEditingTo_Picture "#_###_###_##9.99"   AdaText_IOPut_Line "Integer price: " Euros_IOPut Item A_Price Pic  AdaText_IOEditingTo_Picture "#_###_###_##9" Example_Euros

Specification
Picture Valid Pic_String       String Blank_When_Zero  Boolean  False  Boolean To_Picture Pic_String       String Blank_When_Zero  Boolean  False Picture Pic_String     Pic   Picture  String Blank_When_Zero Pic  Picture  Boolean Max_Picture_Length    implementation_defined Picture_Error Default_Currency     String     "$" Default_Fill         Character Default_Separator    Character Default_Radix_Mark   Character Num Default_Currency    String     Text_IOEditingDefault_Currency Default_Fill        Character  Text_IOEditingDefault_Fill Default_Separator   Character  Text_IOEditingDefault_Separator Default_Radix_Mark  Character  Text_IOEditingDefault_Radix_Mark Decimal_Output Length Pic       Picture Currency  String  Default_Currency Natural Valid Item      Num Pic       Picture Currency  String  Default_Currency Boolean Image Item        Num Pic         Picture Currency    String     Default_Currency Fill        Character  Default_Fill Separator   Character  Default_Separator Radix_Mark  Character  Default_Radix_Mark String Put File        File_Type Item        Num Pic         Picture Currency    String     Default_Currency Fill        Character  Default_Fill Separator   Character  Default_Separator Radix_Mark  Character  Default_Radix_Mark Put Item        Num Pic         Picture Currency    String     Default_Currency Fill        Character  Default_Fill Separator   Character  Default_Separator Radix_Mark  Character  Default_Radix_Mark Put To          String Item        Num Pic         Picture Currency    String     Default_Currency Fill        Character  Default_Fill Separator   Character  Default_Separator Radix_Mark  Character  Default_Radix_Mark Decimal_Output Import Ada Picture AdaText_IOEditing

Wikibook

 * Ada Programming/Libraries/Ada

Ada Style Guide

 * Ada Style Guide/Reusability


text:
Ada Programming/Libraries/Ada.Text IO.Text Streams

is a unit of the Predefined Language Environment since Ada 95.

Specification
Stream_Access   StreamsRoot_Stream_Type Stream File  File_Type  Stream_Access AdaText_IOText_Streams

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Libraries/Ada.Streams
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Text IO.Unbounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Put File  File_Type Item  StringsUnboundedUnbounded_String Put Item  StringsUnboundedUnbounded_String Put_Line File  File_Type Item  StringsUnboundedUnbounded_String Put_Line Item  StringsUnboundedUnbounded_String Get_Line File  File_Type StringsUnboundedUnbounded_String Get_Line StringsUnboundedUnbounded_String Get_Line File  File_Type Item   StringsUnboundedUnbounded_String Get_Line Item  StringsUnboundedUnbounded_String AdaText_IOUnbounded_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings


text:
User talk:Tainternational

Transfer Authority International Tokyo

Transfer Authority International is an independent regulatory body whose primary responsibility is to conduct daily market surveillance, inspections of financial firms, investigation of market misconduct, disclosure statements and criminal investigations of securities fraud. Transfer Authority International also have jurisdiction over the following:

Insolvent or Bankrupt Firms

In the international securities industry, generally two separate broker-dealers cooperate with each other, when servicing a client's account. These are commonly known as an introductory broker and the clearing agency. The introductory broker will facilitate client's order and execute the trade. The clearing agency will hold the client's funds and securities in escrow. If the clearing firm was to become insolvent or is unable to return the client's assets, it is the responsibility of Transfer Authority International, to ensure the client's assets are returned.

Unauthorized Trading

Transfer Authority International also protect against the unauthorized trading of a clients' securities portfolio in addition to any unauthorized trading by the introductory broker.

Tax Verification (U.S/Non U.S Citizens)

The United States of America is a federal republic with autonomous government bodies at state and local levels. Taxes are imposed at each of these levels which include taxes on income, payroll, property, sales, capital gains, dividends, imports, estates and gifts. Taxes are imposed on the net income of individuals and corporations by the federal, state and local governments.

Bond Requirements (U.S/Non U.S Citizens) Insurance, surety and tax bonds may be requested from financial institutions for a wide range of reasons which fall under the applicable offshore trading regulations. Transfer Authority International is able to authorize, certify and validate financial receivers who operate as an offshore entity.

title: User talk:Tainternational


text:
User:Manudouz

I have a page on the English version of Wikipedia.

title: User:Manudouz


text: User talk:Manudouz

title: User talk:Manudouz


text:
User:Thapeli lothane

Thapeli lothane kat papiky zolo@zolo

title: User:Thapeli lothane


text:
Template:WLG page

See dedicated page:

title: Template:WLG page


text:
Wildlife Gardening/Taxon/Danaus plexippus/Identification

Identification
The monarch is closely related to several similar-looking butterfly species whose ranges abut or overlap with its own. It also has a, the viceroy, whose similar toxicity and coloration discourages predators from hunting either species.

Speyeria cybele Speyeria aphrodite Speyeria idalia Speyeria nokomis Speyeria edwardsii Speyeria coronis Speyeria zerene Speyeria carolae Speyeria callippe Speyeria egleis Speyeria adiaste Speyeria hydaspe Speyeria mormonia Speyeria hesperis Speyeria atlantis


text:
User talk:Eservais

Thanks for your contribution to Ada Programming and welcome to Wikibooks! --ManuelGR (discuss • contribs) 20:23, 26 February 2020 (UTC)

title: User talk:Eservais


text:
Ada Programming/Libraries/Ada.Unchecked Conversion

is a unit of the Predefined Language Environment since Ada 95.

Specification
Source Target AdaUnchecked_Conversion S Source  Target Convention Intrinsic AdaUnchecked_Conversion Pure AdaUnchecked_Conversion

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Type System


text:
Ada Programming/Libraries/Ada.Unchecked Deallocation

is a unit of the Predefined Language Environment since Ada 95.

Specification
Object Name     Object AdaUnchecked_Deallocation X   Name Convention Intrinsic AdaUnchecked_Deallocation Preelaborate AdaUnchecked_Deallocation

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Types/access


text:
Ada Programming/Libraries/Ada.Wide Characters

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Pure Wide_Characters AdaWide_Characters

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Text IO.Complex IO

is a unit of the Predefined Language Environment since Ada 95.

Specification
Complex_Types AdaNumericsGeneric_Complex_Types Complex_Types Default_Fore Field  2 Default_Aft  Field  Real  1 Default_Exp  Field  3 Get File    File_Type Item   Complex Width   Field  0 Get Item   Complex Width   Field  0 Put File  File_Type Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_String Item  Complex Last  Positive Put To    Wide_String Item   Complex Aft    Field  Default_Aft Exp    Field  Default_Exp AdaWide_Text_IOComplex_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Text IO.Editing

is a unit of the Predefined Language Environment since Ada 95.

Specification
Picture Valid Pic_String       String Blank_When_Zero  Boolean  False  Boolean To_Picture Pic_String       String Blank_When_Zero  Boolean  False Picture Pic_String     Pic   Picture  String Blank_When_Zero Pic  Picture  Boolean Max_Picture_Length    implementation_defined Picture_Error Default_Currency     Wide_String     "$" Default_Fill         Wide_Character  * Default_Separator    Wide_Character  , Default_Radix_Mark   Wide_Character. Num Default_Currency    String Wide_Text_IOEditingDefault_Currency Default_Fill        Wide_Character Wide_Text_IOEditingDefault_Fill Default_Separator   Wide_Character Wide_Text_IOEditingDefault_Separator Default_Radix_Mark  Wide_Character Wide_Text_IOEditingDefault_Radix_Mark Decimal_Output Length Pic       Picture Currency  Wide_String  Default_Currency Natural Valid Item      Num Pic       Picture Currency  Wide_String  Default_Currency Boolean Image Item        Num Pic         Picture Currency    Wide_String     Default_Currency Fill        Wide_Character  Default_Fill Separator   Wide_Character  Default_Separator Radix_Mark  Wide_Character  Default_Radix_Mark Wide_String Put File        File_Type Item        Num Pic         Picture Currency    Wide_String     Default_Currency Fill        Wide_Character  Default_Fill Separator   Wide_Character  Default_Separator Radix_Mark  Wide_Character  Default_Radix_Mark Put Item        Num Pic         Picture Currency    Wide_String     Default_Currency Fill        Wide_Character  Default_Fill Separator   Wide_Character  Default_Separator Radix_Mark  Wide_Character  Default_Radix_Mark Put To          Wide_String Item        Num Pic         Picture Currency    Wide_String     Default_Currency Fill        Wide_Character  Default_Fill Separator   Wide_Character  Default_Separator Radix_Mark  Wide_Character  Default_Radix_Mark Decimal_Output Import Ada Picture AdaWide_Text_IOEditing

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Text IO.Text Streams

is a unit of the Predefined Language Environment since Ada 95.

Specification
Stream_Access   StreamsRoot_Stream_Type Stream File  File_Type  Stream_Access AdaWide_Text_IOText_Streams

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Libraries/Ada.Streams
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Text IO.Wide Bounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Bounded AdaStringsWide_BoundedGeneric_Bounded_Length Put File  File_Type Item  BoundedWide_Bounded_String Put Item  BoundedWide_Bounded_String Put_Line File  File_Type Item  BoundedWide_Bounded_String Put_Line Item  BoundedWide_Bounded_String Get_Line File  File_Type BoundedWide_Bounded_String Get_Line BoundedWide_Bounded_String Get_Line File  File_Type Item   BoundedWide_Bounded_String Get_Line Item  BoundedWide_Bounded_String AdaWide_Text_IOWide_Bounded_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Text IO.Wide Unbounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Put File  File_Type Item  StringsWide_UnboundedWide_Unbounded_String Put Item  StringsWide_UnboundedWide_Unbounded_String Put_Line File  File_Type Item  StringsWide_UnboundedWide_Unbounded_String Put_Line Item  StringsWide_UnboundedWide_Unbounded_String Get_Line File  File_Type StringsWide_UnboundedWide_Unbounded_String Get_Line StringsWide_UnboundedWide_Unbounded_String Get_Line File  File_Type Item  StringsWide_UnboundedWide_Unbounded_String Get_Line Item  StringsWide_UnboundedWide_Unbounded_String AdaWide_Text_IOWide_Unbounded_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Text IO

is a unit of the Predefined Language Environment since Ada 95.

Generic nested packages
Ada.Wide_Text_IO has the following nested packages for input/output of scalar types. The only parameter is the involved type.
 * Decimal_IO
 * Enumeration_IO
 * Fixed_IO
 * Float_IO
 * Integer_IO
 * Modular_IO

Specification
File_Type File_Mode In_File Out_File Append_File Count  0  implementation_defined Positive_Count Count  1  Count Unbounded  Count  0 Field       Integer  0  implementation_defined Number_Base Integer  2  16 Type_Set Lower_Case Upper_Case Create File   File_Type Mode  File_Mode  Out_File Name  String     "" Form  String     "" Open  File    File_Type Mode  File_Mode Name  String Form  String  "" Close File    File_Type Delete File   File_Type Reset File    File_Type Mode   File_Mode Reset File    File_Type Mode  File   File_Type  File_Mode Name  File   File_Type  String Form  File   File_Type  String Is_OpenFile  File_Type  Boolean Set_Input File  File_Type Set_OutputFile  File_Type Set_Error File  File_Type Standard_Input  File_Type Standard_Output File_Type Standard_Error  File_Type Current_Input   File_Type Current_Output  File_Type Current_Error   File_Type File_Access   File_Type Standard_Input  File_Access Standard_Output File_Access Standard_Error  File_Access Current_Input   File_Access Current_Output  File_Access Current_Error   File_Access Flush File   File_Type Flush Set_Line_Length File  File_Type To   Count Set_Line_Length To    Count Set_Page_Length File  File_Type To   Count Set_Page_Length To    Count Line_Length File  File_Type  Count Line_Length Count Page_Length File  File_Type  Count Page_Length Count New_Line  File      File_Type Spacing  Positive_Count  1 New_Line  Spacing   Positive_Count  1 Skip_Line File      File_Type Spacing  Positive_Count  1 Skip_Line Spacing   Positive_Count  1 End_Of_Line File  File_Type  Boolean End_Of_Line Boolean New_Page  File   File_Type New_Page Skip_Page File   File_Type Skip_Page End_Of_Page File  File_Type  Boolean End_Of_Page Boolean End_Of_File File  File_Type  Boolean End_Of_File Boolean Set_Col File  File_Type To   Positive_Count Set_Col To    Positive_Count Set_Line File  File_Type To   Positive_Count Set_Line To    Positive_Count Col File  File_Type  Positive_Count Col  Positive_Count Line File  File_Type  Positive_Count Line Positive_Count Page File  File_Type  Positive_Count Page Positive_Count Get File   File_Type Item   Wide_Character Get Item  Wide_Character Put File   File_Type Item   Wide_Character Put Item   Wide_Character Look_Ahead File          File_Type Item         Wide_Character End_Of_Line  Boolean Look_Ahead Item         Wide_Character End_Of_Line  Boolean Get_Immediate File        File_Type Item       Wide_Character Get_Immediate Item       Wide_Character Get_Immediate File        File_Type Item       Wide_Character Available  Boolean Get_Immediate Item       Wide_Character Available  Boolean Get File   File_Type Item   Wide_String Get Item  Wide_String Put File   File_Type Item   Wide_String Put Item   Wide_String Get_Line File   File_Type Item  Wide_String Last  Natural Get_Line Item  Wide_String Last   Natural Get_LineFile   File_Type  Wide_String Get_Line Wide_String Put_Line File   File_Type Item   Wide_String Put_Line Item   Wide_String Num Integer_IO Default_Width Field  Num Default_Base  Number_Base  10 Get File    File_Type Item   Num Width  Field  0 Get Item   Num Width   Field  0 Put File   File_Type Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Put Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Get From   Wide_String Item  Num Last  Positive Put To    Wide_String Item  Num Base  Number_Base  Default_Base Integer_IO Num Modular_IO Default_Width Field  Num Default_Base  Number_Base  10 Get File    File_Type Item   Num Width  Field  0 Get Item   Num Width   Field  0 Put File   File_Type Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Put Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Get From   Wide_String Item  Num Last  Positive Put To    Wide_String Item  Num Base  Number_Base  Default_Base Modular_IO Num Float_IO Default_Fore Field  2 Default_Aft  Field  Num1 Default_Exp  Field  3 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From  Wide_String Item  Num Last  Positive Put To    Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Float_IO Num Fixed_IO Default_Fore Field  Num Default_Aft  Field  Num Default_Exp  Field  0 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_String Item  Num Last  Positive Put To    Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Fixed_IO Num Decimal_IO Default_Fore Field  Num Default_Aft  Field  Num Default_Exp  Field  0 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_String Item  Num Last  Positive Put To    Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Decimal_IO Enum Enumeration_IO Default_Width   Field  0 Default_Setting Type_Set  Upper_Case Get File   File_Type Item  Enum Get Item  Enum Put File   File_Type Item   Enum Width  Field     Default_Width Set    Type_Set  Default_Setting Put Item   Enum Width  Field     Default_Width Set    Type_Set  Default_Setting Get From   Wide_String Item  Enum Last  Positive Put To    Wide_String Item   Enum Set    Type_Set  Default_Setting Enumeration_IO Status_Error   IO_ExceptionsStatus_Error Mode_Error     IO_ExceptionsMode_Error Name_Error     IO_ExceptionsName_Error Use_Error      IO_ExceptionsUse_Error Device_Error   IO_ExceptionsDevice_Error End_Error      IO_ExceptionsEnd_Error Data_Error     IO_ExceptionsData_Error Layout_Error   IO_ExceptionsLayout_Error File_Type AdaWide_Text_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Wide Characters

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Pure Wide_Wide_Characters AdaWide_Wide_Characters

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO.Complex IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Complex_Types AdaNumericsGeneric_Complex_Types Complex_Types Default_Fore Field  2 Default_Aft  Field  Real  1 Default_Exp  Field  3 Get File    File_Type Item   Complex Width   Field  0 Get Item   Complex Width   Field  0 Put File  File_Type Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Complex Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_Wide_String Item  Complex Last  Positive Put To    Wide_Wide_String Item   Complex Aft    Field  Default_Aft Exp    Field  Default_Exp AdaWide_Wide_Text_IOComplex_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO.Editing

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Picture Valid Pic_String       String Blank_When_Zero  Boolean  False  Boolean To_Picture Pic_String       String Blank_When_Zero  Boolean  False Picture Pic_String     Pic   Picture  String Blank_When_Zero Pic  Picture  Boolean Max_Picture_Length    implementation_defined Picture_Error Default_Currency     Wide_Wide_String     "$" Default_Fill         Wide_Wide_Character Default_Separator    Wide_Wide_Character Default_Radix_Mark   Wide_Wide_Character Num Default_Currency    String Wide_Wide_Text_IOEditingDefault_Currency Default_Fill        Wide_Wide_Character Wide_Wide_Text_IOEditingDefault_Fill Default_Separator   Wide_Wide_Character Wide_Wide_Text_IOEditingDefault_Separator Default_Radix_Mark  Wide_Wide_Character Wide_Wide_Text_IOEditingDefault_Radix_Mark Decimal_Output Length Pic       Picture Currency  Wide_Wide_String  Default_Currency Natural Valid Item      Num Pic       Picture Currency  Wide_Wide_String  Default_Currency Boolean Image Item        Num Pic         Picture Currency    Wide_Wide_String     Default_Currency Fill        Wide_Wide_Character  Default_Fill Separator   Wide_Wide_Character  Default_Separator Radix_Mark  Wide_Wide_Character  Default_Radix_Mark Wide_Wide_String Put File        File_Type Item        Num Pic         Picture Currency    Wide_Wide_String     Default_Currency Fill        Wide_Wide_Character  Default_Fill Separator   Wide_Wide_Character  Default_Separator Radix_Mark  Wide_Wide_Character  Default_Radix_Mark Put Item        Num Pic         Picture Currency    Wide_Wide_String     Default_Currency Fill        Wide_Wide_Character  Default_Fill Separator   Wide_Wide_Character  Default_Separator Radix_Mark  Wide_Wide_Character  Default_Radix_Mark Put To          Wide_Wide_String Item        Num Pic         Picture Currency    Wide_Wide_String     Default_Currency Fill        Wide_Wide_Character  Default_Fill Separator   Wide_Wide_Character  Default_Separator Radix_Mark  Wide_Wide_Character  Default_Radix_Mark Decimal_Output Import Ada Picture AdaWide_Wide_Text_IOEditing

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO.Text Streams

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Stream_Access   StreamsRoot_Stream_Type Stream File  File_Type  Stream_Access AdaWide_Wide_Text_IOText_Streams

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Libraries/Ada.Streams
 * Ada Programming/Input Output


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO.Wide Wide Bounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Bounded AdaStringsWide_Wide_BoundedGeneric_Bounded_Length Put File  File_Type Item  BoundedWide_Wide_Bounded_String Put Item  BoundedWide_Wide_Bounded_String Put_Line File  File_Type Item  BoundedWide_Wide_Bounded_String Put_Line Item  BoundedWide_Wide_Bounded_String Get_Line File  File_Type BoundedWide_Wide_Bounded_String Get_Line BoundedWide_Wide_Bounded_String Get_Line File  File_Type Item   BoundedWide_Wide_Bounded_String Get_Line Item  BoundedWide_Wide_Bounded_String AdaWide_Wide_Text_IOWide_Wide_Bounded_IO

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO.Wide Wide Unbounded IO

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Put File  File_Type Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Put Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Put_Line File  File_Type Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Put_Line Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Get_Line File  File_Type StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Get_Line StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Get_Line File  File_Type Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String Get_Line Item  StringsWide_Wide_UnboundedWide_Wide_Unbounded_String AdaWide_Wide_Text_IOWide_Wide_Unbounded_IO

Wikibook

 * Ada Programming/Libraries/Ada


text:
Ada Programming/Libraries/Ada.Wide Wide Text IO

is a unit of the Predefined Language Environment since Ada 2005.

Generic nested packages
Ada.Wide_Wide_Text_IO has the following nested packages for input/output of scalar types. The only parameter is the involved type.
 * Decimal_IO
 * Enumeration_IO
 * Fixed_IO
 * Float_IO
 * Integer_IO
 * Modular_IO

Specification
File_Type File_Mode In_File Out_File Append_File Count  0  implementation_defined Positive_Count Count  1  Count Unbounded  Count  0 Field       Integer  0  implementation_defined Number_Base Integer  2  16 Type_Set Lower_Case Upper_Case Create File   File_Type Mode  File_Mode  Out_File Name  String     "" Form  String     "" Open  File    File_Type Mode  File_Mode Name  String Form  String  "" Close File    File_Type Delete File   File_Type Reset File    File_Type Mode   File_Mode Reset File    File_Type Mode  File   File_Type  File_Mode Name  File   File_Type  String Form  File   File_Type  String Is_OpenFile  File_Type  Boolean Set_Input File  File_Type Set_OutputFile  File_Type Set_Error File  File_Type Standard_Input  File_Type Standard_Output File_Type Standard_Error  File_Type Current_Input   File_Type Current_Output  File_Type Current_Error   File_Type File_Access   File_Type Standard_Input  File_Access Standard_Output File_Access Standard_Error  File_Access Current_Input   File_Access Current_Output  File_Access Current_Error   File_Access Flush File   File_Type Flush Set_Line_Length File  File_Type To   Count Set_Line_Length To    Count Set_Page_Length File  File_Type To   Count Set_Page_Length To    Count Line_Length File  File_Type  Count Line_Length Count Page_Length File  File_Type  Count Page_Length Count New_Line  File      File_Type Spacing  Positive_Count  1 New_Line  Spacing   Positive_Count  1 Skip_Line File      File_Type Spacing  Positive_Count  1 Skip_Line Spacing   Positive_Count  1 End_Of_Line File  File_Type  Boolean End_Of_Line Boolean New_Page  File   File_Type New_Page Skip_Page File   File_Type Skip_Page End_Of_Page File  File_Type  Boolean End_Of_Page Boolean End_Of_File File  File_Type  Boolean End_Of_File Boolean Set_Col File  File_Type To   Positive_Count Set_Col To    Positive_Count Set_Line File  File_Type To   Positive_Count Set_Line To    Positive_Count Col File  File_Type  Positive_Count Col  Positive_Count Line File  File_Type  Positive_Count Line Positive_Count Page File  File_Type  Positive_Count Page Positive_Count Get File   File_Type Item   Wide_Wide_Character Get Item  Wide_Wide_Character Put File   File_Type Item   Wide_Wide_Character Put Item   Wide_Wide_Character Look_Ahead File          File_Type Item         Wide_Wide_Character End_Of_Line  Boolean Look_Ahead Item         Wide_Wide_Character End_Of_Line  Boolean Get_Immediate File        File_Type Item       Wide_Wide_Character Get_Immediate Item       Wide_Wide_Character Get_Immediate File        File_Type Item       Wide_Wide_Character Available  Boolean Get_Immediate Item       Wide_Wide_Character Available  Boolean Get File   File_Type Item   Wide_Wide_String Get Item  Wide_Wide_String Put File   File_Type Item   Wide_Wide_String Put Item   Wide_Wide_String Get_Line File   File_Type Item  Wide_Wide_String Last  Natural Get_Line Item  Wide_Wide_String Last   Natural Get_LineFile   File_Type  Wide_Wide_String Get_Line Wide_Wide_String Put_Line File   File_Type Item   Wide_Wide_String Put_Line Item   Wide_Wide_String Num Integer_IO Default_Width Field  Num Default_Base  Number_Base  10 Get File    File_Type Item   Num Width  Field  0 Get Item   Num Width   Field  0 Put File   File_Type Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Put Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Get From   Wide_Wide_String Item  Num Last  Positive Put To    Wide_Wide_String Item  Num Base  Number_Base  Default_Base Integer_IO Num Modular_IO Default_Width Field  Num Default_Base  Number_Base  10 Get File    File_Type Item   Num Width  Field  0 Get Item   Num Width   Field  0 Put File   File_Type Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Put Item   Num Width  Field  Default_Width Base   Number_Base  Default_Base Get From   Wide_Wide_String Item  Num Last  Positive Put To    Wide_Wide_String Item  Num Base  Number_Base  Default_Base Modular_IO Num Float_IO Default_Fore Field  2 Default_Aft  Field  Num1 Default_Exp  Field  3 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From  Wide_Wide_String Item  Num Last  Positive Put To    Wide_Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Float_IO Num Fixed_IO Default_Fore Field  Num Default_Aft  Field  Num Default_Exp  Field  0 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_Wide_String Item  Num Last  Positive Put To    Wide_Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Fixed_IO Num Decimal_IO Default_Fore Field  Num Default_Aft  Field  Num Default_Exp  Field  0 Get File    File_Type Item   Num Width   Field  0 Get Item   Num Width   Field  0 Put File  File_Type Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Put Item  Num Fore  Field  Default_Fore Aft   Field  Default_Aft Exp   Field  Default_Exp Get From   Wide_Wide_String Item  Num Last  Positive Put To    Wide_Wide_String Item  Num Aft   Field  Default_Aft Exp   Field  Default_Exp Decimal_IO Enum Enumeration_IO Default_Width   Field  0 Default_Setting Type_Set  Upper_Case Get File   File_Type Item  Enum Get Item  Enum Put File   File_Type Item   Enum Width  Field     Default_Width Set    Type_Set  Default_Setting Put Item   Enum Width  Field     Default_Width Set    Type_Set  Default_Setting Get From   Wide_Wide_String Item  Enum Last  Positive Put To    Wide_Wide_String Item   Enum Set    Type_Set  Default_Setting Enumeration_IO Status_Error   IO_ExceptionsStatus_Error Mode_Error     IO_ExceptionsMode_Error Name_Error     IO_ExceptionsName_Error Use_Error      IO_ExceptionsUse_Error Device_Error   IO_ExceptionsDevice_Error End_Error      IO_ExceptionsEnd_Error Data_Error     IO_ExceptionsData_Error Layout_Error   IO_ExceptionsLayout_Error File_Type AdaWide_Wide_Text_IO

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings
 * Ada Programming/Input Output


text:
User:Chargle

A level computer scientist.

title: User:Chargle


text:
Talk:Relationships/The Evolution of the Human Brain

The triune brain is being expressed as fact and the sources are nonexistent or pseudoscientific. This "textbook" stands in defiance of all Wikimedia stands for.207.191.188.83 (discuss) 14:26, 27 February 2020 (UTC)


text:
Wikijunior:World Heritage Sites/Selimiye Mosque

The Selimiye Mosque is a mosque located in a town called Edrine in Turkey. It was built by the Ottomans. The mosque was built in 1569 to 1575. The planner of the mosque was named Mimar Sinan. He considered this mosque his greatest masterpiece. The mosque was built by Sultan (King) Selim II.

In 2011, it was named a UNESCO World Heritage Site.


text:
User talk:MYS BEATS

I will love too i just have to educate myself more.

title: User talk:MYS BEATS


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers

This is a section in the book Electronic Properties of Materials

Within this section there are 11 chapters planned.


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers/Quantum Mechanics Overview

This is the first chapter of the first section of the textbook Electronic Properties of Materials.

Quantum Mechanics Overview
The origins of quantum mechanics came about in the quantum revolution from 1890 to 1930. During this time several new discoveries facilitated this transition.

 * 1) Light has particle nature in addition to wave nature.
 * 2) Light (photons) and matter are found to interact and develop theory of atomic structure.
 * 3) Matter has wave nature in addition to particle nature.

These discoveries led to the birth of modern quantum mechanics.

Light Has A Particle Nature
As early as 1877, Boltzmann proposed that energy was not continuous, but rather discretized. In 1905, Raleigh-Jean applied this to black bodies, a perfect radiator where radiation is emitted form vibrating atoms that act as little dipoles to create the Raleigh-Jean Theory. This theory takes $\langle E \rangle$ as the expectation value of the energy giving:

$$\langle E \rangle = { \int_0^\infty Ee^{-\beta E} \operatorname{d}\!E \over \int_0^\infty e^{-\beta E} \operatorname{d}\!E}$$

This distribution is energy times the distribution over the partition function which produces $$kT$$. While this generally follows experimental results at large wavelengths, at shorter wavelengths the prediction diverges from experimental results. In 1901, Plank also took the existing theory and modified it to replace continuous energy with discrete energies giving:$$E=\eta h \nu = \eta h {c \over \lambda}$$

This 'fix' for the UV catastrophe was completed by incorporating Wein's Law (1893).

Discrete Energies
When we think about energies they may look continuous but they are actually discretized. Furthermore, in 1905 Einstein said that not only is energy quantized, but so is electromagnets. in 1887, Hertz showed through his photoelectric effect experiment


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers/The Stern-Gerlach Experiment

We discussed in the first chapter a list of historical experiments that highlight the origins of quantum mechanics. In this lecture, I want to present one final experiment. The experiment itself just showed the origin of spin and orbital quantum numbers, but we're going to have to take it a step further and discuss a thought experiment that will demonstrate the fundamental working of quantum mechanics.

The Experiment
As it happens, for reasons we will discuss during the second half of this class, the Silver (Ag) atom has a very simple magnetic nature. Each atom can be treated as a little dipole with magnetic moment $$\mu$$.

The force on a magnetic moment is:$$F=\nabla(\mu\cdot B)$$

In the z-direction:$$F_z={d \over dz}(\mu\cdot B)=\mu_z{dB_z \over dz}$$

The deflection of the Ag atom is proportional to the z-component of $$\mu$$.

Expected Results
Based on this, we expect to see atoms of all different orientations of $$\mu$$, and random magnetic moments, spread out in a single distribution.

 "Classic Theoretical Results of the Stern-Gerlach Experiment" (Atoms are of all different orientations of u, and there is a single distribution across the screen, centered on the main axis.

But this is not what we see...

Actual Results
Rather, we see two separate distributions on either side of the main beam.

 "Actual Results of the Stern-Gerlach Experiment" (Two separate distributions, not on the main axis, are seen instead of the single, classically predicted, distribution.)

As it happens, in quantum mechanics, magnetization is tied to angular momentum. (This of electrons zipping about in a circular orbit.) In Gold we are only looking at the spin of an electron. The directional component of $S$, say $S_z$ , can only take two values, "up" $\left ( {\hbar \over 2} \right ) $, or "down" $ \left ( {-\hbar \over 2} \right ) $ . What we just did was measure $S_z$ of the Silver atoms (electrons?), and separated them into two beams, one with spin-up and the other with spin-down. Is this shocking? Yes. We just took a randomly oriented vector, $S$, and measured it's projection, $S_z$ , and found it could only take two values.

Explaining Quantum Mechanics
Let's keep going. Now that (in principle) we can make a simple measurement we can make a series of thought experiments. Let's pass a beam through a filter, and see what happens...

 "Explaining Quantum Mechanics: The $$SG_\hat{z}$$ Box" (Some beam, $$A_g$$, enters the box, $$SG_\hat{z}$$, and is separated based on up and down spin.)

Let's take some beam, $$A_g$$, have it enter the $$SG_\hat{z}$$ box which separates the beam based on up and down spin. If we take the output from $$SG_\hat{z}$$ measurement, discard the up elements, and remeasure down beam, the resulting beam will still be "down". This is good, no surprise here as this follows with classical logic.

Hypothesis - Polarized sunglasses all y-components are discarded.

 * 1) Not 50/50 in polarized light.
 * 2) Try rotating the box...

Now let's try rotating the $SG_\hat{z}$ box into an $SG_\hat{y}$  box. The $$A_g$$ beam is still being split into up and down spin by the first $$SG_\hat{z}$$box, but now that down group is being filtered based on an $SG_\hat{y}$ box, which is an $$SG_\hat{z}$$ box that has been rotated 90°.

 "Explaining Quantum Mechanics: The $$SG_\hat{y}$$ Component" (Note that the $$SG_\hat{y}$$ box is the same as the $$SG_\hat{z}$$ box, just rotated 90° to measure the y-component of the vector $$S $$.)

It looks like both boxes have a base probability of 50/50 for up or down spin. Does this make sense? Maybe?

 "Title" (Description)

Now we filter $$\hat{y}$$ to be either up or down 50/50 probability?

Something seems wrong with this picture...

Let's run one more experiment. This is the same as , but now the up group coming out of the $SG_\hat{y}$ box is again filtered through an $SG_\hat{z}$  box. Looking at the problem, this should result in 100% down spin as the elements were tested to be 100% down spin before they entered the $SG_\hat{y}$ box, but this is not what we see here. Instead the elements coming out of the second $SG_\hat{z}$ box are 50/50 up and down spin.

 "Explaining Quantum Mechanics: The second $$SG_\hat{z}$$ box." (Now the $$SG_\hat{y}$$ up beam is filtered through a second $$SG_\hat{z}$$ box.)

This is definitely weird. $$S

$$ is just some vector. If you measure the sign of $$S_z $$, and you can measure it again and again and again, it doesn't change. BUT after you go and measure $$S_y $$, if you look back at $$S_z $$ it has once again randomized. Classically, this is like taking a bunch of marbles and splitting it into red and blue marbles. You then split the blue marbles in to large and small, but when you look back at the pile, half of the blue marbles have changed into red!

Why does this happen?
The components of $$S$$ are "incompatible", as we can only know one component at a time. Before we measure $$S_z $$ we can say that the atom's wave function is in a "superposition" of being up and down. By using Born's probabilistic interpretation, or psi wave, we know that the odds of measuring up or down is 50/50. We measure $$S_z $$ and the psi wave "collapses" to $$\phi_{S_zup}$$or $$\phi_{S_zdown}$$, depending on the measurement. Subsequent measurements have 100% chance to repeat the initial measurement according to the probabilistic interpretation of $$\psi=\phi_{S_zdown}$$. In $$\psi=\phi_{S_zdown}$$, the system is in a superposition of being $$S_{y,up}+S_{y,down}$$. If we measure $$S_y $$ and find $$S_{y,up} $$, then we cause the wave function to collapse to $$\psi=\phi_{S_zup}$$. In this state we have no information about $$S_z $$. We lost the information we had measured earlier when psi collapsed into $$\phi_{S_yup}$$.

In the next section we will go over the formalism of quantum mechanics, and will readdress the Stern-Gerlach experiment mathematically.


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers/The Fundamental Postulates

There are four basic postulates that underlie quantum mechanics.

Postulate I: Observables and Operators are Related

Postulate II: Measurement collapses the Wave Function

Postulate III: There exists a state function that allows expectation values to be calculated.

Postulate IV: The wave function evolves according to the time-dependent Schrodinger equation.

Postulate I
Each self-consistent, well-defined, observable has a linear operator that satisfies the eigenvalue equation, $$\hat{A}\phi=a\phi$$, where $$A$$ is observable, $$\hat{A}$$ is the operator, $$a$$ is the measured eigenvalue, and $$\phi$$ is the eigenfunction of $$a$$. In a given system you have a different eigenfunction for every eigenvalue so often times you will see $$\phi_a$$ which specifies that $$\phi$$ is the eigenfunction of $$a$$. Thus, this postulate links an observable to a mathematical operator.

What are Mathematical Operators?
An "operator" is thing or mathematical expression which operates on a function and makes it different. For example:$$\hat{D}_x={\partial\over\partial x} \Longrightarrow \hat{D}f(x)={\partial f(x) \over\partial x}$$

In this function, $$\hat{D}_x$$ is the mathematical operator defined as the derivative with respect to $$x$$. This means that if we later have $$x$$ operating on some function of $$x $$, we can then apply additional operators to the function which change the result, but still follow the same rule. For example, let's apply an operator, $$R_{z90}$$, which rotates the function 90° about the z-axis. $$\hat{R}_{z90} \left ( x^2+y^2 \right ) =y^2-x$$

Furthermore, applying a "divide by three" operator, or an Identity Operator, which leaves the function unchanged, yields similar results.$$\begin{array}{lcl} \hat{B}=\ \text{divide by three} & \Longrightarrow & \hat{B}\phi={\phi \over 3} \\ \hat{I}=\ \text{identity operator} & \Longrightarrow & \hat{I}g=g \end{array}$$

Physically Significant Operator Observables:
Physically meaningful observables all have operators, which come about in a variety of ways, but the way that you can start to think about them is as operators in the classical world which are further quantized with the addition of $$\hbar$$ and $$i$$. If you look at these case s long enough, you'll eventually start seeing that there's a pattern to it.

Let's take the example of linear momentum, $$p$$. I will give it the operator, $\hat{p}$, a vector which is equal to $-i\hbar \nabla$. While you can look at the whole in three dimensions, the gradient allows us to look at it equally in parts so let's simplify this problem and look only at the x component of this vector.$$\hat{p}_x=-i\hbar \ {\partial\over\partial x}$$In applying this operator to some function, $$\phi$$, gives:$$ \hat{p}_x \phi(x) = -i \hbar \ {\partial \over \partial x} \ \phi(x) = p_x \phi $$

Solving this differential equation provides one solution by applying the planewave equations: $$\phi=Ae^{ikx}=A[\cos(kx)+i\sin(kx)]$$

The solution is just a planewave with wave number, $$k$$. $\left ( k={2\pi\over\lambda} \right )$ $$\underbrace{-i\hbar{\partial\over\partial x}}_{\hat{p}_x} * \ \underbrace{\left (Ae^{ikx} \right )}_{\phi} \ = \ \underbrace{-i\hbar(ik)}_{p_x} * \ \underbrace{Ae^{ikx}}_{\phi}$$$$p_x = \hbar k ; \qquad \phi=-Ae^{ik x}$$

This isn't very exciting on its own as $$k$$ and $$P_x$$ can take any value, thus it doesn't look "quantized". Physically, this represents a free particle (i.e. a particle alone in an infinite vacuum), and the quantization comes from the boundary conditions we apply.

Application of Boundary Conditions
 "Born-von Karman Boundary Conditions" (These boundary conditions could be pictured as a box or as a ring.)

Let's apply periodic boundary conditions (PBC) called "Born-von Karman Boundary Conditions".  With this we are essentially putting the particle in a one-dimensional box where it is free to move within the box, but once it leaves the box it loops back around in space and reenters the box from the other side. The box has some size, $$L$$, which gives us the quantization. This concept can also be pictured as a ring with radius $R={L \over 2\pi }$.

These boundary conditions restrict the solutions, because the solutions must match at these boundaries. Thus:$$\begin{align} Ae^{iko} &= Ae^{ikL} \\ \phi(o) &= \phi(L) \end{align}$$This isn't obviously solvable so we go in and substitute sine and cosine as described in the planewave equations which gives:$$\underbrace{\cos(ko)}_{=1}+ \underbrace{i\sin(ko)}_{=0}= \underbrace{\cos(kL)}_{must \ be \ 1}+ \underbrace{i\sin(kL)}_{must \ be \ 0}$$Since the right hand side of the equation must be equal to a known value, we can conclude that $kL=0, 2\pi, 4\pi, ...$. Following this logic:$$k={n 2\pi \over L}; \qquad \phi (x) = Ae^{i{2\pi n\over L}x}$$

Now we have a quantized solution. Going back to the idea of the ring boundary condition, and come upon the de Broglie hypothesis from Chapter 1 ($p=\hbar k$ ), showing us that when Plank initially quantized particles he was thinking of a periodic situation. Additionally, we can develop the Bohr model of the atom by combining these two concepts. $$\begin{align} k={2\pi\over \lambda} = {n2\pi\over L} \longrightarrow L=n\lambda= 2\pi R \\ \longrightarrow n\lambda=2\pi R \end{align}$$

 "Bohr Atom Model from de Broglie Equations" (Description)

Effect of Boundary Conditions
''This is what makes nanoscience interesting! When the dimensions of a structure are small enough they affect the quantization. If we can control the dimensionality at a nanoscale, we can control the quantum nature of electrons.''

Another well defined observable is energy. In classical mechanics there are several ways to formulate the equations of motion (Newtonian, Lagrangian, Hamiltonian). I'm not going to talk about these, but you should know that in quantum mechanics the formalism matches classical Hamiltonian formalism. For systems where the kinetic energy depends on momentum and potential energy or position, the Hamiltonian operator takes the simple form:

$$\hat{H}=\hat{T}+\hat{V}$$, where $$\hat{T}$$ is the kinetic energy and $$\hat{V}$$ is the potential energy.

For now we are going to talk about particles in a vacuum which sets the potential energy ($$\hat{V}$$) to zero. For now we are simply looking at the kinetic energy ($$\hat{T}$$). We can take the equation for kinetic energy, ${\hat{p}^2 \over 2m}$, from classical mechanics and substitute in our momentum operator, $$-i\hbar \nabla$$, to get a simplified equation for $$\hat{T}$$, referred to as the Laplacian operator.$$\begin{align} \\ \hat{V} &= V(r)=0 \quad (for \ now) \\ \hat{T} &= {\hat{p}^2\over2m}={1\over2m}(-i\hbar\nabla)^2 ={-\hbar^2\over2m}\nabla^2 \end{align}$$

Simplification of nabla^2:$$\begin{align} \nabla^2 &=\nabla \cdot \nabla \\ &= \left \langle {\partial\over\partial x},{\partial\over\partial y},{\partial\over\partial z}   \right \rangle \\ &={\partial^2\over\partial x^2}+{\partial^2\over\partial y^2}+{\partial^2\over\partial z^2} \end{align}$$Once again, we can simplify this to a one dimensional problem, by utilizing the expanded form of $$\nabla^2$$.$$\hat{H}={-\hbar\over2m}{\partial^2\over\partial x^2}$$

We are taking the second derivatives so as the operator is operating it returns the curvature of the function showing us that the kinetic energy operator is proportional to a function's curvature. Thus, solutions with tighter curves will have higher energies than slowly changing functions.

Ideally, we want to solve: $$\hat{H} \phi=E\phi$$ (Time-Independent Schrodinger Equation)$$E\phi={-\hbar^2\over2m}{\partial^2\over \partial x^2} \phi$$

What solves this? Planewaves! $\left ( \phi=Ae^{ikx}+Be^{-ikx} \right )$ As it turns out, planewaves are a common solution in quantum mechanics!$$\begin{align} E\phi &= {-\hbar^2\over 2m}{\partial ^2 \over \partial x^2} \left [ Ae^{ikx}+Be^{-ikx} \right ] \\ &={-\hbar^2 \over 2m}{\partial \over \partial x} \left [ Aike^{ikx}+B(-ik)e^{-ikx} \right ] \\ &={-\hbar ^2 \over 2m} \left [ A(ik)^2e^{ikx}+B(ik)^2e^{-ikx} \right ] \\ &= \underbrace{{-\hbar^2 \over 2m} \left ( -k^2 \right ) }_{E} \ \underbrace{ \left [ Ae^{ikx}+Be^{-ikx} \right ] }_{\phi} \end{align}$$

Here we can see that our eigenvalues are $$-{\hbar^2 \over 2m}$$, thus breaking up the equation gives us:$$E={-\hbar ^2 \over 2m}(-k)^2; \qquad \phi=Ae^{ikx}+Be^{-ikx}$$

These variables are consistent with our earlier finding that:

$$P_x=\hbar k; \qquad E={1\over 2}mv^2={P^2\over 2m}={(\hbar k)^2 \over 2m}$$Note: Our earlier equation $\left ( \phi=Ae^{ikx} \right )$ had one component due to the singe derivative present in the parent equation while our current solution has two components due to the double derivative present in the parent equation.

Here, the momentum is telling us what the value is and the $$A$$ and $$B$$ coefficients are telling us if it travels to the left or to the right. As you may have guessed, the energy and the momentum are commensurate with each other, we can know them both at the same time. In quantum mechanics, if operators "commute" then they share eigenfunctions. We should notice that if $$\hat{A}$$ or $$\hat{B}$$ are zero, then the eigenfunctions of energy are also the eigenfunctions of momentum. Generally, $$\hat{A}$$ and $$\hat{B}$$ commute if:$$\left [ \hat{A},\hat{B} \right ] =\hat{A} \hat{B}-\hat{B} \hat{A}=0$$For example, let's look at momentum and energy, when $$f(x)$$ is some test function:$$\begin{align} \ \left [ \hat{p_x},\hat{H} \right ] &= \left [ -i\hbar {\partial \over \partial x}, {-\hbar^2 \over 2m}{\partial^2 \over \partial x^2} \right ] f(x) \\ &= \left [ \left (-i \hbar { \partial \over \partial x}\right ) \left ( {-\hbar \over 2m}{\partial ^2 \over \partial x^2} \right )- \left ({-\hbar^2 \over 2m}{\partial ^2 \over \partial x^2} \right ) \left (-i\hbar{\partial \over \partial x} \right ) \right ]f(x) \\ &= -i\hbar {-\hbar^2 \over 2m}{\partial \over \partial x}{\partial ^2 \over \partial x^2}f(x)- {-\hbar^2 \over 2m}(-i\hbar){\partial ^2 \over \partial x^2}{\partial \over \partial x}f(x) \\ &= i{\hbar ^3 \over 2m}f(x)-i{\hbar ^3 \over 2m}f(x)=0 \end{align}$$

Since $$[\hat{p_x},\hat{H}]=0$$, $$\hat{p_x}$$ and $$\hat{H}$$ commute.

Let's try a different operator. This time, let's compare position and momentum.$$\begin{align} \ \left [ \hat{p_x},\hat{x} \right ] f(x) &= \left [ -i\hbar{\partial \over \partial x},x \right ] f(x) \\ &= -i\hbar{\partial \over \partial}xf(x)-x(-i\hbar){\partial \over \partial x}f(x) \\ &= (-i\hbar) \left [ {\partial \over \partial x}xf(x)-x{\partial \over \partial x}f(x) \right ] \\ &= (-i\hbar) \left [ x{\partial \over \partial x}f(x) + f(x){\partial \over \partial x}x- x{\partial \over \partial x}f(x) \right ] \\ &= -i\hbar f(x) \end{align}$$

Here, $$[\hat{p_x},\hat{x}]= -i\hbar \neq 0$$, meaning that $$\hat{H}$$ and $$x$$ do not commute. This means that momentum and position do not commute and thus do not share eigenfunctions. As it so happens, this is all tied to observation and the fundamental uncertainty in our knowledge.

Recall the Heisenberg Uncertainty Principle:$$\Delta x \Delta p \geq {\hbar \over 2}$$When operators commute then we say that the observables associated with the operators are "compatible" meaning that they can be measured simultaneously to arbitrary precision. (Related to the Schwartz inequality...) Without proof, I will tell you that:

If $$\left [ \hat{A},\hat{B} \right ]=\hat{C} \neq 0$$, then $$\Delta A \Delta B \geq{1\over 2}|\langle c \rangle|$$, where $$\langle c \rangle$$ refers to "expectation value".

So, for $$\left [ \hat{x},\hat{p_x} \right ] =-i\hbar$$, $$\Delta x\Delta p_x \geq {1\over 2}\hbar$$ (working with $$\left | \left (\hat{x},\hat{p_x} \right ) \right |^2$$) *see B&J p.215

This is a BIG DEAL! It means that it is impossible to simultaneously know certain things. (Remember our thought experiment from Chapter 2?) What's more, this is purely a quantum effect. Consider again, momentum. What if we precisely measure the momentum to be $$\hbar k$$, then the particle's wave function is $$\phi _k$$.

Remember in the probabilistic interpretation:$$\begin{align} \psi^*\psi&=P(x) \\ A^* e^{-ikx}Ae^{ikx}&=|A|^2=P(x) \end{align}$$ "Incompatible Observables" (Constant value $$|A|^2$$)

But $$A$$ is just the normalization constant, so the probability distribution appears as (FIGURE). If we know precisely $$p_x$$ then we know nothing about $$x$$! It was an equal probability any where in the range $$-\infty<x<\infty$$.

Thus, $$x$$ and $$p_x$$ are incompatible observables.

Postulate II
A measurement of observable $$A$$ that yields value $$a$$ leaves the system in state $$\phi_a$$.$$\hat{A}\phi_a=a\phi_a$$

We say that the measurement "collapses the wave function" to $$\phi_a$$, where $$\phi_a$$ is the eigenfunction of the particular value measured Immediate subsequent measurements will thus yield the value $$a$$ as the eigenfunction will remain collapsed about that value $$a$$ until another property is measured, as seen in Chapter 2.

What is important here? Before the initial measurement, the expectation of the measurement is given statistically from $$\psi$$, a superposition of possible states. After the act of measuring leaves $$\phi_a$$, one particular state, for subsequent measurements. Note that this is very similar to solving partial differential equations. When solving a partial differential equation for a particular solution you get a linear superposition of all possible solutions which is analogues to what we see here.

Postulate III
There exists a state function, called the "wave function" that represents the state of the system at any given instant, and all the information we could know about the system is contained in this state function, $$\Psi$$, which is continuous and differentiable.

For any observable, $$C$$, we can find the expectation value, for measuring $$C$$ from $$\Psi$$.$$\langle c\rangle=\int \Psi^*\hat{C} \ \Psi \ dr$$Here $$\Psi^*$$ is the complex conjugate of $$\Psi \rightarrow (a+bi)^*=a-bi$$, and $$\int dr$$ is an abbreviation for $$\int \int \int dx \ dy \ dz$$

Review of Statistics (and the meaning of the "expectation value", $$\langle c \rangle$$)
In statistics, $$\bar{c}$$, is the expectation value of, $$\langle c \rangle$$, and when all goes well in sampling theory:$$\bar{c}={1 \over N}\sum_{i=1}^N ci$$

Within this function, if you know all the possibilities then you can essentially write the state function for the system. Let's say I have a bag with 5 pennies, 3 dimes, and 2 quarters. The probability of me pulling any given coin type out of the bag is:$$\begin{align} \bar{c} &={1 \over N}\sum_{i=1}^N ci={1 \over 10}(1+1+1+1+1+10+10+10+25+25) \\ &= {85 \over 10}={8.5} \\ &= \left (1\times{5 \over 10} \right ) + \left ( 10\times{3\over 10} \right ) + \left ( 25\times{2\over 10} \right ) \end{align}$$$$\bar{c}=\sum_{all \ c} CiP(ci)$$

For continuous probability distribution:$$\int cP(c) dc$$

State Functions in Quantum Mechanics
Applying this statistical expectation value to our quantum state function gives us:$$\langle c \rangle = \int \Psi^* \underbrace{\hat{c}\Psi}_{=c\Psi} \ dr=\int cP(c) dc$$

Where, since $$c$$ is just a number we can simplify $$\Psi^* \hat{c} \ \Psi $$ to $$cP(c)$$.

Postulate IV
The state function, $$\Psi$$, develops according to the equation:$$i\hbar {\partial \over \partial x}\Psi (rt)=\hat{H}\Psi(rt)$$

This is the time dependent Schrodinger Equation and is true for non-relativistic space. (Note that this equation is a postulate, there is no proof for this.) As it happens, to account for relativity we either fix our solutions by perturbation methods or instead solve using the Dirac Equation:$$\left (\beta mc^2+\sum_{k=1}^3\alpha_k p_k c \right )\psi(rt)=i\hbar \ {\partial \psi(rt)\over \partial t}$$

These four postulates give us the basis for everything we do in Quantum Mechanics, and the reason they work out is tied to linear Hermitian operators. The solution to the eigenvalue equation has special properties, wherein the eigenfunctions are orthonormal. For an arbitrary system with bound states:

$$\hat{O}\psi_m=o_n\psi_n$$; where $$n=0,1,2,...$$, and $$o_n$$ is the $$n^{th}$$ eigenvalue which corresponds to the $$n^{th}$$ eigenfunction $$\psi_m$$.

Orthonormality
An orthonormal function...$$\int \psi_n^* \psi_m \ dr=\delta_{nm} \quad \begin{cases} =1 \quad (if \ \ n=m) \\ =0 \quad (otherwise)\end{cases}$$

Here, $$\delta_{nm}$$, is the Kronecker Delta Function. This function is a consequence of the Stern-Louisville Theorem where the set of ident functions, $$\{\psi_n}\$$, span Hilbert space, sometimes only sub-space, the function-space where $$\Psi$$ lives. Hilbert space can be thought of as an equivalent space to Euclidean space, where vectors live, which will have some set of vectors $$\{q_i\}$$. If that set of vectors is orthonormal and span space, then they can act as a basis for all other vectors in that space, and we can write any arbitrary vector $$v$$ as a sum of these vectors $$\{q_i\}$$.$$v=\sum_i c_i \ q_i$$

Those who have taken linear algebra might also remember a bunch of rules about eigenvalues, pertinents, etc... Well, they all will apply to what you're going to see here, and in fact, there is a matrix notation that allows one to directly map all of quantum mechanics to sets of matrices and vectors.

Hilbert Space
With this orthogonal property, we can express $$\Psi$$ using $$\psi_n$$ as a basis.$$\Psi=\sum_n c_n \psi_n$$

Just as with Euclidean space, $$c_n$$ are the projection of $$\Psi$$ onto $$\psi_n$$. The value of this being that we can solve for $$c_n$$ by taking the equivalent of an inner product. (dot product)$$\begin{align} c_i &= \int dr \ \psi_i^* \ \Psi \\ &=\int dr \ \psi_i^* \ \sum_n c_n \psi_n \\ &= \int dr (\psi_i^* c_1 \psi_1+\psi_i^* c_2 \psi_2+\cdots+\psi_i^* c_i \psi_i) \qquad \begin{cases} \psi_i^* c_i \psi_i \neq 0 \end{cases} \end{align}$$

The fact that we can have a basis which is orthonormal, spans space, allows us to write the wave function, gives us a way to describe it in Hilbert space, and allows us to describe the coefficients as the projection of the wave function onto that particular eigenfunction, is very important!

Think back to expectation values, where $$\hat{O}\psi_n=o_n\psi_n$$. Solving for each term:$$\begin{align} \langle \hat{o} \rangle =\int \psi^* \hat{o} \Psi &=\int(c_1^* \psi_1^*+c_2^*\psi_2^*+ \cdots)\hat{o}(c_1\psi_1+c_2\psi_2+\cdots) \\ &= \int c_i^*\psi_i^* \ \hat{o} \ c_j \psi_j \\ &= c_i^*c_j\int\psi_i^* \underbrace{\hat{o}\psi_j}_{o_j\psi_j} \\ &= c_i^*c_jo_j\int\psi_i^*\psi_j \\ &= c_i^*c_jo_j \ \partial_{ij} \end{align}$$Thus, $$\langle o \rangle = \bar{o} = \sum_{all \ o}o_ip(o_i)$$

Therefore the probability of measuring a particular value is $$p(o_i)=c_i^*c_i$$, given by the coefficient which is the projection of the wave function onto that particular eigenfunction. If you think about this physically in vector space, it kind of makes sense! We're saying that if I have a vector that's mostly in the 1 direction, then it's going to have a behavior that's also "mostly" in the 1 direction. There is still a probability of measuring it in the other directions as well. So, when we talk about superposition, it's as a linear sum of eigenfunctions. Remembering that with each eigenfunction there is a coefficient which is the projection of the wave function onto that eigenfunction, this tells us the probability of measuring any particular value.

Return to Stern-Gerlach
We have some operator, $\hat{S}_z$, which operates on some function, $\chi$ , and returns the value $$s_z\chi$$. This system has only two solutions (in the case of the silver atom):$$\begin{align} & s_z={\hbar \over 2}, \ k\uparrow \\ & s_z={-\hbar \over 2}, \ k\downarrow \\ \end{align}$$

When we had that initial beam of atoms, passing through vacuum, initially we didn't know anything about the state; it was randomized.$$\begin{align} \Psi = & {1\over \sqrt{2}}x_\uparrow + {i\over \sqrt{2} \ x_\downarrow} \\ & P({ \hbar \over 2}) = {1 \over \sqrt{2}} {1 \over \sqrt{2}} = 0.50 \\ & P({-\hbar \over 2}) = {-i \over \sqrt{2}} {i \over \sqrt{2}} = 0.50\end{align}$$

This says that the probability of measuring each outcome is 50/50 odds! Furthermore, the wave function is normalized and the sum of the probabilities is equal to one. If this was not true we would have to go through and scale the vector until it is normalized. Now let's say we measure the case and find an "up" spin, meaning that $$\Psi$$ has collapsed to $$x_\uparrow$$. Now that we have measured the case, the probability of further finding an "up" case is now one and the probability of finding a down case is now zero.

What about $$S_y$$?

$$\hat{S_y}\zeta = s_y \zeta$$; $$\left\{{s_y=+{\hbar \over 2}, \quad \zeta_\uparrow \atop s_y = -{\hbar \over 2}, \quad \zeta_\downarrow}\right\}$$

This system has two possible results, analogous to the ones shown with $\hat{S}_z$. We can write both systems together as:$$\alpha_1 x_\uparrow + \alpha_2 x_\downarrow = \Psi = \beta_1 \zeta_\uparrow + \beta_2 \zeta_\downarrow$$

The set $$\{x\}$$ and $$\{\zeta\}$$ are incompatible. When we measure one, the vector function snaps to one of the basis, then again with the other.

Most importantly, we can collapse $$\Psi$$ into either $$\{x\}$$ or $$\{\zeta\}$$, but not both. These two operators are incommensurate, as they don't commute, and if they don't commute they must form different basis sets within Hilbert space. We can write them out sideways, as each set is still equal to the wave function, but information about one set does not tell us anything about the other set.

The collapse of $$\Psi$$ to $$\Psi = \zeta_{\uparrow \downarrow}$$ or $$\Psi=x_{\uparrow \downarrow}$$ is unique to quantum mechanics and is why we can't simultaneously know these two observables!


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers/Particle in a Box

This is the fourth chapter of the first section of the book Electronic Properties of Materials.

So far we've gotten a feel for how the quantum world works and we've walked through the mathematical formalism, but for a theory to be any good, it must be possible to calculate meaningful values. The goal of this course is to show how the properties of solids come from quantum mechanics and the properties of atoms. Before we look at the properties of solids, we need to study how electrons and atoms interact in a quantum picture. Over the next several chapters, we will study this, but first we need to consider atoms in isolation.

So we want to solve the time-independent Schrodinger Equation, $\hat{H}=\hat{T}+\hat{V}$. As it happens, finding $\hat{V}=V(r)$ for most problems is non-trivial. In atoms, the FIGURE potential goes $\alpha {-Zq^2 \over r}$, but the FIGURE interactions are difficult, as we will prove later. As it happens, the way to approach this is through simplifications and approximations. We're going to start with the simplest calculations and build up from there.

Time-Dependent Schrodinger Equation
Let's look at a particle in a one-dimensional box with infinite boundaries.$$\begin{align} &\hat{H}=\hat{T}+\hat{V} \\ & \hat{T}={-\hbar^2 \over 2m}{\partial^2 \over \partial x^2} \\ & \hat{V}=V(x)= \begin{cases} 0 \quad \ if \ 0<x<L \\ \infty \ \ \ else \end{cases} \end{align}$$

The fact that $$V(x)$$ only goes from zero to infinity means that we can essentially throw out anything past the defined barriers of our box. Note that here we will solve for $$H(x)$$ only, not $$H(x, t)$$, which implies a separation of variables. Let's check this idea by guessing the solution:$$\Psi(x,t)=X(x)T(t)$$

Here the solution is a product of two functions, $$X(x)$$ and $$T(t)$$. To solve, we substitute it into the time-dependent S.E. and rearrange.$$\begin{align} i\hbar \ {\partial \over \partial t} \ \Psi(x,t) & = \hat{H} \ \Psi(x,t) \\ i\hbar \ {\partial \over \partial t} \ X(x) \ T(t) & = \hat{H} \ X(x) \ T(t) \\ {1 \over X(t) \ T(t) }*(i\hbar \ x {\partial \over \partial t} \ T &= THx) \\ i\hbar \ x {\partial \over \partial t} \ T &=THx \\ i\hbar {1 \over xT} \ x{\partial \over \partial t} \ T &= {1 \over Tx} THx \\ i\hbar {1 \over T} \ {\partial \over \partial t} \ T &= {1 \over x} \ Hx \end{align}$$

Both pure t, $i\hbar \ {1 \over T} {\partial \over \partial t} \ T$, and pure x, ${1 \over x} H x$ , must be equal to some shared constant, $$\alpha$$.

Thus:$$\begin{align} & \alpha = i\hbar {1 \over T}{\partial \over \partial t} T \\ & \alpha = {1 \over x} Hx \\ \end{align} \longrightarrow HX(x)=\alpha X(x)$$

<$$X(\alpha)$$???>

Look! It's the Time-Independent Schrodinger Equation! This is exactly what we want to solve. As the Hamiltonian operator is the operator of energy we're going to be getting eigenvalues, $$\alpha$$, which are measurable values of energy, and eigenfunctions, $$X(\alpha)$$, which are the functions corresponding to the energy. It is common for people to rewrite this as:$$\begin{align} \alpha &= E_n \\ X(x) &= \phi_n(x) \\ \therefore H\phi_n(x) &= E_n\phi_n(x) \end{align}$$

Returning to the time-dependent part, and rewriting as:$$i\hbar \ {\partial \over \partial t} \ T(t) = E \ T(t)$$

Taking $T(t) = Ae^{kt}$ as our guess, one solution is:$$\begin{align} i\hbar \ {\partial \over \partial t} \ (Ae^{kt}) = i\hbar; & \quad e^{kt}=EAe^{kt} \\ i\hbar k=E; & \quad k={-i \over \hbar} \\ T(t)= &\ Ae^{{-i \over \hbar} Et} \end{align} $$

Always, when $$H(x)$$, a solution is:$$\Psi(x,t)=A_ne^{{-i \over \hbar}E_nt}\phi_n(x)$$

The Time-Independent Solution, $\phi_n(x)$.
The general method to solve this type of problem is to break the space into parts with boundary conditions; each region having its own solution. Then, since the boundaries are what give us the quantization, we use the region interfaces to solve.

 "Title" (Description) $$\begin{array}{lcl} \phi_I(0) = \phi_{II}(0) &{\partial \over \partial x} \phi_{I}(0) = {\partial \over \partial x} \phi_{II}(0) \\ \phi_{II}(L) = \phi_{III}(L) \quad &{\partial \over \partial x} \phi_{II}(L) = {\partial \over \partial x} \phi_{III}(L) \end{array} $$

Regions I and III have a fairly simple solution here:$$\begin{align} \infty \phi &= E \phi \\ \therefore \ \phi &= 0 \end{align}$$

Region II has:$${-\hbar \over 2m} \ {\partial^2 \over \partial x^2} \ \phi(x)=E \ \phi(x)$$

What is a good solution? Let's try planewaves! The general Solution for Planewaves, $$Ae^{ikx}+Be^{-ikx}$$, is not very easy to lug around, and wave functions in quantum mechanics are in general complex form.$$\begin{align} A \ [cos(kx)+isin(kx)] &+ B[cos(kx)-isin(kx)] \\ (A+B) cos(kx) &+ i(A-B)sin(kx) \\ \alpha cos(kx) &+ \beta sin(kx) \end{align}$$ Now apply some boundary conditions...

$$\begin{align} \phi(0) = \underbrace{\alpha cos(0)}_{=1} + \underbrace{\beta sin(0)}_{=0} &= 0 \\ \therefore \alpha &= 0 \end{align}$$

$$\begin{align} \phi(L) = \beta sin(kL) &= 0 \\ sin(z) &= 0, \ where \ z=0, \ \plusmn1, \ \plusmn 2, \ \dots \, \ \plusmn n \\ kL &= n\pi \rightarrow k={n\pi \over L}, \ where \ n=0, \ \plusmn1, \ \plusmn 2, \ \dots \ , \ \plusmn n \end{align}$$

$$\therefore \phi_n(x)=\beta sin({n\pi \over L}x); \ where \ n=0, \ \plusmn 1, \ \plusmn 2, \ \dots \, \ \plusmn n $$

$$\begin{align} E\ \beta sin({n\pi \over L}x) &= {-\hbar^2 \over 2m}{\partial^2 \over \partial x^2}\ \beta sin({n\pi \over L}x) \\ &= {-\hbar^2 \over 2m}{\partial \over \partial x}\ ({x\pi \over L})\ \beta cos({n\pi \over L}x) \\ &= {+\hbar^2 \over 2m}\ ({n\pi \over L})^2 \ \beta sin({n\pi \over L}x) \\ &= {\hbar^2 \over 2m}\ ({n\pi \over L})^2 \ \beta sin({n\pi \over L}x) \\ E_n &= {+\hbar^2 \over 2m}\ ({n\pi \over L})^2 \end{align} $$

Thus we have the equation for quantized energy, where n is limited to counting numbers ($$n=1,2,3,\dots,n $$), but we still need to solve for $$\beta  $$. Given:$$\Phi(x,t)=A\exp[{-i \over \hbar}\ E_n t] $$

Pick a constant to fix normalization. In this case we choose $$A $$.$$\int_{-\infty = 0}^{\infty = L} \Psi^* \ \Psi \ dx = 1 \longrightarrow |A|^2 \ \int_0^L sin({n\pi \over L}x)^2 \ dx = 1 $$

Substitute and solve...$$\begin{align} 1 &= |A|^2 \ \int_0^L sin({n\pi \over L}x)^2 \ dx; \qquad let \ q={n\pi \over L} \\ &= |A|^2 ({1 \over 2i})^2 \int_0^L (e^{iqx}+e^{-iqx})^2 \ dx \\ &= |A|^2 ({1 \over 2i})^2 \int_0^L e^{ziqx}+e^{-ziqx}-2e^{iqx}e^{-iqx} \ dx \\ &= |A|^2 ({1 \over 2i})^2 [{1 \over 2iq}(e^{2iqL}-1)+{-1 \over 2iq}(e^{-2iqL}-1)-2L] \\ &= |A|^2 ({1 \over 2i})^2 [{1 \over 2iq}(e^{2iqL}-e^{-iqL})-2L] \\ &= |A|^2 ({1 \over 2i})^2 [{1 \over 2iq} 2i \ sin(2qL)-2L] \\ &= |A|^2 ({-1 \over 4}) [{L \over n\pi}sin(2{n\pi \over L}L)-2L] \\ &= |A|^2 ({-1 \over 4})(-2L) \\ &= |A|^2 {L \over 2} \\ & \qquad \qquad \qquad \qquad \therefore \ A=\sqrt{2 \over L}

\end{align} $$

At the end of the day, we have:$$\Psi_n(x,t)=\sqrt{2 \over L} \ \exp[{-i \over \hbar} \ E_nt] \ sin({n\pi \over L}x)$$

Complex Numbers
As a point of honesty, while this solution is true, there are other solutions. Not only can you just put in different values for $$n $$, but we can also change the phase of our solution. In quantum mechanics, you will often year that you're solving something to "within the factor of the phase," and when we say about that, we're talking about the phase within complex number space. $$\Psi$$ is a complex number, be we don't pay attention to the phase of the number. In other words, we can add an arbitrary $$e^{i\theta}$$ in front of $$\Psi$$ without consequence.

Why? Because we can only measure the magnitude of $$\Psi$$ as $$|\Psi|^2$$. However, in certain situations where we are comparing two $$\Psi$$, we can measure the difference in their phase. In this course, and most of the time, we just ignore the arbitrary phase factor, $$e^{i\theta}$$, and say that we know $$\Psi$$ to within an arbitrary phase factor.

So now we have a solution, $$\Psi(x,t)$$, but the Schrodinger Equation is a linear PDE. What does this mean? If $$\phi_1$$ and $$\phi_2$$ are both solutions to a linear PDE, then $$\phi_3=\phi_1+\phi_2$$. Also, in our case we have an infinite number of solutions since $$n=1,2,\dots,n$$, really we need to say that the general solution is:

$$\Psi(x,t)=\sum_{n=1}^\infty a_n \ \Psi_n(x,t)$$, were $$\Psi_n(x,t)$$ is our solution and $$a_n$$ are coefficients.

In addition the solutions orthogonal to one another, which is yet another property of linear PDE. This means that:

$$\int \phi_i^* \ \phi_j \ dx = \partial_{ij}= \begin{cases} 1 \quad if \ i=j \\ 0 \quad if \ i \neq j \end{cases}$$, where $$\partial_{ij}$$ is another Kronecker Delta function.

The orthogonality of the eigenfunctions is physically important, and mathematically useful, as will be seen.

Finding the Coefficients
Returning to the problem at hand, how do we determine the coefficients $$a_n$$? By solving as an initial value problem. Say that at time $$t=0$$ we make some measurement that gives us $$\Psi(x,0)$$ then project the $$\Psi$$ onto the individual eigenfunctions. So...$$\begin{align} \Psi(x,0) &= \sum_{n=1}^\infty a_n \Psi_n(x,0) \\ &= \sum_{n=1}^\infty a_n \exp{[\ 0\ ]} \ sin(n{x\pi \over L}) \\ &= \sum_{n=1}^\infty a_n \ sin(n{x\pi \over L}) \\ &= \sum_{n=1}^\infty a_n \phi_n \end{align}$$

Where $$\phi_n$$ is the eigenfunction of energy. Now we take:

$$\begin{align} & \int_0^L \phi_n^* \ \Psi(x,0) \ dx \\ &\qquad = \int_0^L \phi_n^* \ [a_1\phi_1+a_2\phi_2+\dots+a_n\phi_n+\dots] \ dx \\ &\qquad = \underbrace{\int_0^L a_1 \phi_n^* \phi_1}_{=0} + \underbrace{\int_0^L a_2 \phi_n^* \phi_2}_{=0} + \underbrace{\dots}_{=0} + \underbrace{\int_0^L a_n \phi_n^* \phi_n}_{\neq 0} + \underbrace{\dots}_{=0} \\ &\qquad = \int_0^L a_n \phi_n^* \phi_n =a_n \end{align} $$

So for each $$n$$, one can find $$a_n$$ by integrating $$t$$ using orthogonality of $$\phi_n$$.

What if I measure the energy? The wave function collapses to an eigenfunction of energy.

What does this mean? We can only measure quantized values. ($$E_1, E_2, E_3, \dots, some \ E_N$$)

If I measure $$E_s$$, then$$\begin{align} a_n &= \begin{cases} 1 \quad if \ n=5 \\ 0 \quad else \end{cases} \\ \Psi &= \sqrt{2 \over L} \ \exp[{-i \over \hbar} \ E_st] \ sin(5{x\pi \over L}) \\ \end{align}$$

$$P(x) = \Psi^* \ \Psi$$ (The Probability Distribution of Position)

 "Title" (Description)

Where is the particle? Somewhere given by the $$P(x)$$ equation. Remember $$\hat{H}$$, and $$\hat{x}$$, do not commute.

If I measured $$x$$ instead of $$E$$, I would find a distribution of $$a_n$$. What is the value of energy after measuring $$x$$? We don't know! A measurement of $$x$$ causes us to lose our knowledge of $$E$$. When $$\Psi$$ is written as a summation of multiple eigenfunctions we say that $$\Psi$$ is a "superposition" of states. We don't know which state it is in, but we know it has a probability of being in one of the states in the expansion.

Imagine we know that the system is in a state:

$$\Psi=a_1\phi_1+a_3\phi_3$$, where $$\phi_n$$ are eigenfunction of energy.

What is the expectation of energy? Remember that $$\langle c\rangle=\int \Psi c \Psi \ dx $$.$$\begin{align} \langle E \rangle &= \int (a_1^*\phi_1^* + a_3^*\phi_3^*) \ \hat{H} \ (a_1\phi_1 + a_3\phi_3) \\ &= \int a_1^*\phi_1^* \ H \ a_1\phi_1 + \int a_1^*\phi_1^* \ H \ a_3\phi_3 + \int a_3^*\phi_3^* \ H \ a_1\phi_1 + \int a_3^*\phi_3^* \ H \ a_3\phi_3 \end{align}$$Simplifying each term:$$\begin{align} \int a_j^* \phi_j^* H a_k \phi_k &= a_j^* a_k \int \phi_j^* \underbrace{H \phi_k}_{=E_k \phi_k} \\ &= a_j^* a_k \int \phi_j^* E_k \phi_k \\ &= a_j^* a_k E_k \int \phi_j^* \phi_k \\ &= a_j a_k E_k \ \delta{jk} \\ \therefore \ \langle E \rangle &= |a_1|^2 E_1 + |a_3|^2E_3 \end{align}$$

But remember, we also talk about expectation values:$$\langle c \rangle = \bar{c}= \sum_{i=1}^N c_i P(c_i)$$

So...$$\begin{align} \langle E \rangle &= \\ &= P(E_1)E_1 + P(E_3)E_3 \end{align}$$
 * a_1|^2 E_1 + |a_3|^2 E_3

This means that if we know $$\Psi$$, we can determine the probability to measure any $$E_n$$ by projecting $$\Psi$$ onto eigenfunctions of $$E_n$$, and $$\phi_n$$. When we have uncertainty, for example if we don't know if it's energy state one or energy state three, we have a superposition which is saying that we're taking a sum of eigenvalues.

An interesting experiment is to input this problem into Excel, python or any number or computational programmers, and make the given well smaller and smaller. As the well gets smaller, the energies will diverge and the sum becomes absolutely huge. Conversely, as the well gets wider, you will see a convergence to a value at a relatively small sum. You loose information about energy as you increase confinement.

A Note on Hilbert Space
The way I'm talking about $$\Psi$$ and $$\phi_j$$ sounds very much like some vector-type language. In truth, $$\Psi$$ lives in Hilbert space. This is an infinite dimensional function space where each direction is some function $$\phi_n$$, and we can talk about representing $$\Psi$$ as a linear sum of $$\phi_n$$ with the coeppilien for each $$\phi_n$$ being the projection of $$\Psi$$ on $$\phi_n$$.

 "Title" (Description)

Then in Hilbert space $$\int \phi_n^* \Psi$$ must be the, dot friendly, inner product that gives the projection. Measuring must move $$\Psi$$ to lie directly on $$\phi_n$$. There are other, incompatible functions, $$\{ K_n \}$$, in Hilbert space such that both $$\{ \phi_n \}$$, and $$\{ K_n \}$$ are complete orthogonal sets, and I can express $$\Psi$$ in terms of either.$$b_1 X_1+b_2 \phi_2 = \Psi = a_1\phi_1 + a_2\phi_2$$

Measuring $$\phi$$ means losing information about $$X$$ but projecting $$\Psi$$ onto on of the $$\phi_n$$ directly, and measuring $$X$$ looses information about $$\phi$$.


text:
Electronic Properties of Materials/Quantum Mechanics for Engineers/Momentum Velocity and Position

** ROUGH DRAFT**

Next, we are going to talk about momentum, position. What makes this discussion particularly useful is that it provides the basis for later parts of this course where we start talking about the velocity of electrons moving in a material; relevant to the conductivity of a material. First we must define velocity in quantum mechanics in terms of position and momentum.

A Closer Look at the Free Particle
Looking back at our free particle from . We solved the free particle already and our resulting Hamiltonian was $$\hat{H}=H(x)$$. (Note that this is for a 1D particle. The solutions are valid for 2D and 3D, but for the purpose of this exercise we will constrain ourselves to 1D.)

Additionally, our wave function, $\Psi(x,t)=X(x)T(t)$ where $T(t)$  gives the time evolution of the system, is separable. You can prove to yourselves that substituting these in will definitely get a Schrodinger equation that separates into a time dependent and position dependent part. Furthermore, our time dependent part looks like: $T(t)=\exp[-i \ {E \over \hbar} \ t]$. Here $-i \ {E \over \hbar} \ t$ must be dimensionless, which means that ${E \over \hbar}$  is the frequency ($\omega$ ) with units of $1 \over t$, and $E = \hbar \omega$.

Similarly in blackbody radiation, we use $E = n h \nu$, or $E = n (2 \pi \hbar)$ , where $\hbar$ is the reduced Plank constant. By multiplying this by the relationship between frequency and angular frequency, $\omega \over 2 \pi$, we get $E = \hbar \omega$.

Going back to the position dependent part of our original equation, we know that this is just another planewave, as proved in . Once again our planewave function was: $X(x) = A e^{ikx} + B e^{-ikx}$, and our solution was: $E = {\hbar^2 k^2 \over 2m}$. In this case, because it is a free particle, $k$ is a continuous variable; we haven't quantized this at all.

We know also that momentum and energy commute: $[{\hat{p}, \ \hat{H}}]=0$

In fact we solved momentum in 1D which provided us the solution $$X(x)=Ae^{ikx}$$, where $$k$$ is still a continuum value. In this case it could be positive infinity or minus infinity. Just remember that $$k$$ in the case of a planewave is the wave vector, and it's telling you the direction and the wavelength of the wave.

Finally, we also found that $p = \hbar k$, for the free particle, which means that if we measure a particular value of momentum, for instance, we will get a particular value for $$k$$ ($$k'$$). Once we measure this particular value, the wave function collapses and we can write the solution as:$$\begin{align} \Psi(x,t) &= Ae^{ikx}e^{-i{E \over \hbar}t} \\ &= Ae^{ikx}e^{i(kx-\omega t)} \end{align}$$Having the commutation of energy and momentum equal zero means that we can simultaneously measure these two properties.

Velocity
 "Classic Particle Movement" (Description)

So let's say we've got a particular value we'll call $$k'$$, and this free particle is going to have some sinusoid, $$\sin (x)$$.  If we wait some small amount of time, and look at it again, the wave will have propagated. This is, after all, what planewaves do. Now let's say that after that "certain amount of time" the planewave propagated by some $$\Delta x$$, shown in , which means that this new sinusoid is now $$sin (x + \epsilon)$$, where $$\epsilon > 0$$. Essentially, if there is some $$f(x,t) $$, it can be rewritten as $$f(x-\nu_pt)$$.

 sin wave propagation (+) or (-)

 "Sinewave Translation" (Propagates towards +x)

Now, if this wave is propagating, then we can talk about the velocity which also propagates. From wave mechanics, we have that the velocity is equal to the angular frequency divided by the wave vector ($\omega \over k$ ). Multiplying both the top and the bottom by $$\hbar$$, and substituting variables from our eigenfunction solution gives us:$$\nu_{p} = {\omega \over k} = {\hbar \omega \over \hbar k} ={E \over \hbar k} ={{\hbar^2 k^2 \over 2m}\over hk} ={\hbar k \over 2m} ={p \over 2m} ={v_{c} \ m \over 2m} ={v_{c} \over 2}$$

 Extra math from notes with no home:$$\begin{align} e^{i(kx-\omega t)} &= e^{ik(x-{\omega \over k})t} \\ &= e^{ik(x-v_{particle}t)} \\ \ \\ \end{align}$$

Particles vs. Planewaves
In this instance we solved for a delocalized particle, and found the phase velocity. Notice how this equation describes the relationship between the classical velocity ($v_{c}$ ) of a particle and the velocity of the propagation of a particular planewave, referred to as the phase velocity ($\nu_{p}$ ). Most importantly, these two velocities are NOT the same. As it turns out, a real particle will be localized. When talking about the particles that we are interested in, which have a classical velocity, they simply don't travel as a particle, they travel as a wave packet.  Inside these wave packets there are lots of waves with different $k$ values, and the packet as a while moves with the same group velocity $$\nu_{g}$$ equivalent to our classical velocity.

Particles are not single planewaves. They are a superposition of planewaves, and tend to group themselves together in these wave packets which have a group velocity of the entire group of waves in superposition. Additionally, they are within some sort of envelope function which also travels at the group velocity, equivalent to the classical velocity.

Superposition
 phi or psi in linear wave state equation?

Imagine a superposition of plane waves. In our first example the states in superposition were discrete. They were a summation of states where $$\Psi = a_1 \phi_1 + a_2 \phi_2 + ...$$. This form has our wave function as a linear superposition of wave states ($$\phi$$). Each state is a particular solution to our Schrödinger equation where each coefficient provides us with a projection of the wavefunction into these particular basis states. (Thinking back to our eigenfunctions as a basis in Hilbert space.)

This equation is equal to the infinite sum: $\sum_{j=i}^{\infty} a_j \phi_j$. Note that most of the time, when dealing in practical matters, energy is considered finite so infinite distributions are rare.

 dispertized?

Alternatively, instead of thinking about energy, which is, we generally talk about a continuous distribution. For example, if instead of talking about energies, we express this in terms of momentum. As we saw already, a particle in free space can take any value for momentum giving us the continuous distribution:

$$\Psi(x,t)={1 \over \sqrt{2 \pi \hbar}} \ \int_{-\infty}^{+\infty} \underbrace{\exp \left [ \ i \left [ p_xx - E(p_x) t \right ] \ {1 \over \hbar} \right ]}_{Basis \ Function} \ \phi (p_x) \ \operatorname{d}\!p_x$$

Here we simply replaced the sum from the infinite energy equation with an integral and integrated over all the allowed values of momentum. The resulting equation is that of the wave packet. Here $\phi(p_x)$ is our coefficient. This is a direct analogy to the summation from earlier as now instead of summing over all these coefficients, we are integrating over them instead, but what are these coefficients?

This coefficient is simply a function of $$p$$, representing the probabilities of finding the particle in one of these particular states. It can be thought of as $$P (p_x) = | \phi(t) |^2$$. Physically this describes the distribution shown in  where the probability of measuring the particle at a particular momentum is related to the value of our coefficient in front of our basis states.

Now let's simplify our equation and say that $$\beta(p_x)=p_xx-E(p_x)t$$, providing us with:

$$\psi(x,t) = {1 \over \sqrt{2 \pi \hbar}} \ \int_{-\infty}^{+\infty} e^{i \beta(p_n) \over \hbar}$$ Looking at this solution, we know that the whole wave function, and the coefficients $\phi (p_x)$, must be well-behaved. The coefficients are well-behaved as they are just some statistical distribution, going out to zero on either end and integrating to one. On the other hand, $e^$ will oscillate rapidly, so the only way that our wave function can be well-behaved on the whole is if $e^$  is a constant defined by:

$$\left. {\partial \beta(p_x) \over \partial p_x} \right \vert_ {\underbrace{p_x=p_0}_{centered \ on \ \phi_{max}}}=0$$Solving this relationship looks like:$$\begin{align} {\partial \beta \over \partial p_x} &= {\partial \over \partial p_x}(p_x x-E(p_x) \ t) \\ &= x - t \ {\partial E(p_x) \over \partial p_x} = 0 \\ x & = t \ {\partial \over \partial p_x}E(p_x) \end{align}$$

Looking simply at the units in the final equation, we have $length = time * \left ( {length \over time} \right )$, meaning that ${\partial \over \partial p_x}E(p_x)$  has the units $\left ( {length \over time} \right )$  or $$velocity$$ ($\nu_g$ ). Going back to our definitions of energy and momentum we can further transform $\nu_g$ :$$\begin{align} \nu_g &= {\partial E(p_x) \over \partial p_x} \quad \begin{cases} E = \hbar \omega \\ p_x = \hbar k \end{cases} \\ &={\hbar \partial \omega (k) \over \hbar \partial k } \\ &={\partial \omega(k) \over \partial k} \end{align}$$ Here, $$\omega(k)$$ and $$E(k)$$ are called "dispersion relations". They are essentially the energy/velocity of a particle vs. the wave number, $$k$$. They are important and researchers spend huge amounts of time, money, and resources to determine them for various material systems. For example, the band structure of a material is a dispersion relation. <CHAPTER REF> The group velocity, $$\nu_g$$, is the scope of the dispersion. When we talk about electrons moving in a crystal we talk about the group velocity, the magnitude of which generally depends on $$k$$.

<FIGURE> "Title" (Description)

The Momentum Space Representation
Looking closer at these wave packets, let's begin by rewriting our planewave equation, putting time dependence into the general coefficient function and setting $$t=0$$ to get rid of the energy variable. This results in the $$\psi(x,t)$$ equation:

$$\psi(x,t) = {1 \over \sqrt{2 \pi \hbar}} \ \int_{-\infty}^{+\infty} \operatorname{d}p_x \ \phi(p_x,t) \ \exp[i \ p_x \ x {1 \over \hbar}]$$

Now let's apply a Fourier Transform to our equation: $$\begin{align} \mathfrak{F}[\psi(x,t)] &=\phi(p_x,t) \\ \mathfrak{F}^{-1}[\phi(p_x,t)] &=\psi(x,t) \end{align}$$

Putting this transformation into the above planewave equation results in:

$$\phi(p_x,t)={1 \over \sqrt{2 \pi \hbar}} \int_{-\infty}^{+\infty} \operatorname{d}x \ \psi(x,t) \ \exp[-i \ p_x \ x {1 \over \hbar}]$$

If the set $$\left \{ \psi_n(x,t) \right \}$$ are orthogonal to one another and normalized, then $$\left \{ \phi_n(p_x,t) \right \}$$ are $$\mathfrak{F} \left \{ \psi_n(x,t) \right \}$$ also. We refer to this as the momentum-space representation of the wavefunction and Fourier space has certain properties which makes this representation extremely useful. Truthfully, there is only one wavefunction, (it is a state function!!) but here it is projected on to momentum representation where as $$\psi(x,t)$$ is projected onto position representation.

Let's consider a physically meaningful distribution. In this case, the equation for gaussian momentum is:$$\phi(p_x)=c \exp \left [-{(p_x-p_o)^2 \over 2(\Delta p_x)^2} \right ]$$

<FIGURE> "Gaussian Momentum" (Description)

<MATH CHECK> Everything below...

To define $$c$$, let's use a well-known relationship: $$\int_{-\infty}^{+\infty} \phi^*(p_x) \ \phi(p_x) \ \operatorname{d}\!p_x=1$$

$$\int_{-\infty}^{+\infty} |c|^2 \exp \left [ {-1 \over (\Delta p_x)^2} (p_x - p_o)^2 \right ] \operatorname{d}\!p_x$$

Using a "well-known" relationship to find $$c$$:

$$\int_{-\infty}^{+\infty} e^{-\alpha u^2}e^{-\beta u} \operatorname{d}\!u = \left ( {\pi \over \alpha} \right ) ^{(1/2)} \exp \left [ {\beta^2 \over 4\alpha} \right ] $$

$$\begin{align} \\ c &=(\Delta{p_x}^2 \pi)^{-1 \over 4} \end{align}$$
 * c|^2 ( \Delta {p_x}^2 \pi)^{1 \over 2} &=1

thus...

$$\phi(p_x)=(\Delta{p_x}^2 \pi)^{-1 \over 4} \exp \left [ {-(p_x - p_o)^2 \over 2(\Delta p_x)^2} \right ]$$

Substituting this into $$\psi(x,t)$$ and solving...

$$\begin{align} \psi(x,t) &= {1\over \sqrt{2\pi \hbar}} \int_{-\infty}^{+\infty} \operatorname{d}\! p_x (\Delta {p_x}^2 \pi)^{-{1 \over 4}} \exp \left [ {-(p_x - p_o) \over 2(\Delta p_x)^2} \right ] \exp \left [ i \ p_x \ x {1 \over \hbar} \right ] \\ &= {1 \over \sqrt{2\pi \hbar \Delta p_x \sqrt{\pi }}} \int_{-\infty}^{+\infty} \operatorname{d}\!p_x \exp \left [ {-(p_x - p_o) \over 2(\Delta p_x)^2} \right ] \exp \left [ i \ p_x \ x {1 \over \hbar} \right ] \underbrace{\exp \left [ i \ x {1 \over \hbar}(p_o - p_o) \right ]}_{p_o=1} \\ &= {\exp \left [ {ix \over \hbar}p_o \right ] \over \sqrt{2\pi \hbar \Delta p_x \sqrt{\pi }}} \int_{-\infty}^{+\infty} \operatorname{d}\!p_x \exp \left [ {-1 \over 2 \Delta {p_x}^2} {(p_x - p_o)^2} \right ] \exp \left [ {ix \over \hbar} {(p_x-p_o)} \right ] \\ &= {\exp \left [ {ix p_o \over \hbar} \right ] \over k} \left ( {\pi 2 \Delta {p_x}^2 \over 2\pi \hbar \Delta p_x \sqrt{\pi}} \right ) ^{1 \over 2} \exp \left [ {ixp_o \over \hbar} \right ] \exp \left [ {-x^2 \over 2 \left ( {\hbar \over \Delta p_x} \right )^2 } \right ] \\ &= \left ( {\Delta p_x \over \hbar \sqrt{\pi}} \right )^{1 \over 2} \exp \left [ {ixp_o \over \hbar} \right ] \exp \left [ {-x^2 \over 2 \left ( {\hbar \over \Delta p_x}\right ) ^2 } \right ] \end{align}$$

$$\psi(x,t)$$ is itself a gaussian centered on $$x=0$$.

Width of a Gaussian: $${\hbar \over \Delta p_x} $$

$$\Delta x \Delta p = {\hbar \over \Delta p}\Delta p=\hbar$$

As $$\Delta p$$ becomes large, $$\Delta x$$ becomes small and vice versa.

In the limit, $$\Delta p \longrightarrow 0$$

$$\begin{align} \phi(p_x) & \rightarrow p_o \\ \psi(x) & \rightarrow \exp \left [ {ixp_o \over \hbar} \right ] \end{align}$$

Watch the evolution of the $$\psi_{in}$$ over time...

Substitute $$\psi(p_x) = (\Delta {p_x}^2 \pi)^{-{1 \over 4}} \exp \left [ {-(p_x-p_o) \over 2(\Delta p_x)^2} \right ]$$ into $$\Psi(x,t)=(2\pi \hbar)^{-{1\over 2}} \int_{-\infty}^{+\infty} \exp \left [ {i(p_x x-E(p_x)t) \over \hbar} \right ] \phi(p_x) \ \operatorname{d}\!p_x$$

If you remember, $$E(p_x)={{p_x}^2 \over 2m}$$ is our plane wave solution from <LINK>.

Solving the integral gives us:

$$\Psi(x,t)={\pi}^{-{1 \over 4}} \left [ {{\Delta p_x \over \hbar} \over 1+{i\Delta {p_x}^2 t \over m \hbar}} \right ]^{1\over 2} \exp \left [ { {{ip_o x \over \hbar} - \left ( {\Delta p_x \over \hbar} \right )^2 {x^2 \over 2}} - {i \ {p_o}^2 t \over 2m \hbar} \over 1+ {i \Delta {p_x}^2 \over m \hbar } } \right ]$$

Plot $$P(x,t)=\Psi^* \Psi$$

Just because you're a theorist doesn't mean you shouldn't learn by experimentation. Let's put some numbers in and see how this wave function behaves.

<FIGURE> "Example Graph 1" (t=0)

<FIGURE> "Example Graph 2" (t=5000)

<FIGURE> "Example Graph 3" (t=10000)